Home › Biblio

Biblio

Export 38 results:
Sort by: Author Keyword [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
A
Conrad, S., and M. Gogolla, "An Annotated Bibliography on Object-Orientation and Deduction", ACM SIGMOD RECORD, vol. 21, no. 1, pp. 123-132, 1992. Abstract
B
Conrad, S., A Basic Calculus for Verifying Properties of Synchronously Interacting Objects, , no. 94-05: Technische Universität Braunschweig, 1994. Abstract
Gomez Llana, A., J. A. Carsi, A. Boronat, I. Ramos, C. Täubner, and S. Eckstein, "Biological Data Migration using a Model-Driven Approach", ATEM 2007 - 4th International Workshop on (Software) Language Engineering, 2007. Abstract
Cho, S. R., and W. - T. Balke, "Building an Efficient Preference XML Query Processor", 24th Annual ACM Symposium on Applied Computing, Honolulu, HI, USA, 2009. Abstract  Download: acmsac09.pdf (148.56 KB)
C
Herzig, R., S. Conrad, and M. Gogolla, "Compositional Description of Object Communities with TROLL \em light", Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994. Abstract
Alvaro, N., M. Conway, S. Doand, C. Lofi, J. Overington, and N. Collier, "Crowdsourcing Twitter annotations to identify first-hand experiences of prescription drug use", Journal of Biomedical Informatics, vol. 58, pp. 280–287, 2015. Abstract  Download: 2016JBI.pdf (658.42 KB)
D
Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis, "A Development Environment for an Object Specification Language", IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995. Abstract
Lofi, C., C. Nieke, and N. Collier, "Discriminating Rhetorical Analogies in Social Media", 14th Conference of the European Chapter of the Association for Computational Linguistics (EACL), Gothenburg, Sweden, 04/2014. Abstract  Download: 14EACL_05_final.pdf (761.24 KB); crowd_sourcing_results_full.csv (2.09 MB); goldset_snippets.csv (1.92 MB)
E
Cho, S. R., and W. - T. Balke, "Efficient Evaluation of Preference Query Processes Using Twig Caches", 3rd International Conference on Research Challenges in Information Science (RCIS), Fès, Morocco, IEEE, 2009. Abstract  Download: RCIS09-twig cache.pdf (559.04 KB)
Conrad, S., Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, : VDI-Verlag, 1994. Abstract
Conrad, S., Einbindung eines bestehenden Datenbanksystems in einen formalen Software-Entwicklungsprozeß -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 1-14, 1993. Abstract
Conrad, S., and H. - D. Ehrich, "An Elementary Logic for Object Specification and Verification", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
F
Sernadas, A., H. - D. Ehrich, and J. - F. Costa, "From Processes to Objects", The INESC Journal of Research and Development 1:1, pp. 7-27, 1990. Abstract  Download: 1990INESC.pdf (997.32 KB)
I
Gogolla, M., R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis, "Integrating the ER Approach in an OO Environment", Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994. Abstract
K
Gogolla, M., N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H. - D. Ehrich, The KORSO Approach to the Development of Reliable Information Systems, , no. 94-06: Technische Universität Braunschweig, 1994. Abstract
L
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
M
Lofi, C., D. Olmedilla, O. Papapetrou, W. Siberski, J. L. D. Coi, A. Kösling, and E. Herder, "A Model for Competence Gap Analysis", 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03/2007. Abstract  Download: Fulltext-PDF (103.53 KB)
O
Costa, J. - F., A. Sernadas, C. Sernadas, and H. - D. Ehrich, "Object Interaction", Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992. Abstract  Download: 1992MFCS.pdf (56.77 KB)
Gogolla, M., and I. Claßen, "An Object-Oriented Design for the ACT ONE Environment", Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
Conrad, S., "On Certification of Specifications for TROLL \it light\/ Objects", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, LNCS 785, pp. 158-172, 1994. Abstract
Cho, S. R., and W. - T. Balke, "Order-Preserving Optimization of Twig Queries with Structural Preferences", International Database Engineering & Applications Symposium (IDEAS) , Coimbra, Portugal, 2008. Abstract  Download: IDEAS08.pdf (559.96 KB)
R
Cho, S. R., and W. - T. Balke, "Relaxing XML Preference Queries for Cooperative Retrieval", 11th International Conference on Enterprise Information Systems (ICEIS), Milan, Italy, Springer LNBIP, 2009. Abstract  Download: iceis09.pdf (560.16 KB)
S
Conrad, S., M. Gogolla, and R. Herzig, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. Abstract
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba, "Skill ontology-based model for Quality Assurance in Crowdsourcing", Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 KB)
Conrad, S., Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993. Abstract
T
Conrad, S., "Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 228-241, 1994. Abstract
Claßen, I., and M. Gogolla, Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE, , no. 91/11: Technische Universität Berlin, 1991. Abstract
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract  Download: 1993KorSo.pdf (314.47 KB)