Home › Biblio

Biblio

Export 38 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
Miscellaneous
Conrad, S., Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, : VDI-Verlag, 1994. Abstract
Journal Article
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
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)
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
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)
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)
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)
Conference Proceedings
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
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
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
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
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
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
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
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
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
Conference Paper
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)
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)
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)
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
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
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)
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)
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)
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)
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)
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)
Conrad, S., M. Gogolla, and R. Herzig, TROLL \em light\/: A Core Language for Specifying Objects, , no. 92-02: TU Braunschweig, 1992. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract  Download: 1993GI.pdf (401.19 KB)