.gif)
]
"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)
\sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics,
, no. 97-03: Technische Universität Braunschweig, 1997.
Abstract
"“I would like to watch something like ‘The Terminator'” Cooperative Query Personalization Based on Perceptual Similarity",
18th International Conference on Extending Database Technology (EDBT), Brussels, Belgium, 2015.
Abstract
Download: 15EDBT_CooperativePersonalization.pdf (626.92 KB)
"Abstract Data Type Semantics for Many-Sorted Object Query Algebras",
Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991.
Abstract
"Abstract Description of Distributed Object Systems",
Proc1 ECOOP'91 Workshop on Object-Based Concurrent Computing. Geneva (CH), 1991: Springer, LNCS 612, Berlin, pp. 227-244, 1992.
Abstract
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract
"Aggregation in a Behavior Oriented Object Model",
Proc1 European Conference on Object-Oriented Programming (ECOOP'92): Springer, LNCS 615, Berlin, pp. 57-77, 1992.
Abstract
"Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989.
Abstract
"Analysing layout information: searching PDF documents for pictures",
LWA 2005 Lernen - Wissen - Adaptivität, pp. 190-195, 2005.
Abstract
"Analysing Object Specifications for Execution",
10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998.
Abstract
"Anforderungen an ein Modulkonzept für objektorientierte Spezifikationssprachen",
9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 16-20, 1997.
Abstract
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
"An Animation System for Validating Object-Oriented Conceptual Models",
4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997.
Abstract
"An Animator for the Object Specification Language TROLL \em light",
Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994.
Abstract
"Application Modelling in Heterogeneous Environments using an Object Specification Language",
Int1 Conf1 on Intelligent & Cooperative Information Systems (ICICIS'93): IEEE Computer Society Press, pp. 309-318, 1993.
Abstract
"An Approach towards the Conceptual Modelling of the Tool Integration Aspect",
Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93): EC2, Nanterre, France, pp. 543-553, 1993.
Abstract
"Automatic Transformation of an Entity-Relationship Query Language into SQL",
Proc1 8th Int1 Conf1 on the Entity-Relationship Approach, pp. 309-327, 1989.
Abstract
"Basic Units for the Database Design Process",
Proc1 of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz'', Ulm (Germany): Springer, Berlin, Informatik Fachberichte, IFB 303, pp. 56-67, 1992.
Abstract
"CADDY - A Highly Integrated Environment to Support Conceptual Database Design",
Proc1 5th Int1 Workshop on CASE, July 6.-10., 1992, Montreal (Canada): IEEE Computer Society Press, pp. 19-22, 1992.
Abstract
"CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata",
Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989.
Abstract
"A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions",
Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988.
Abstract
"CaptionSearch: Mining Images from Publications",
Mining Complex Data Proceedings of 2005 IEEE ICDM Workshop: Math. Dept., Saint Mary's Univ., Nova Scotia, Canada, 2005.
Abstract
"A Case Study for an Open CASE System: The TROLL \em light Development Environment",
Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993.
Abstract
"A Coevolution Approach for Database Schemas and Related Ontologies",
19. IEEE Int. Symposium on Computer-Based Medical Systems: IEEE CS, pp. 605-610, June, 2006.
Abstract
"Coevolution of Database Schemas and Associated Ontologies in Biological Context",
22nd British National Conference on Databases: Workshops and Posters, vol. 2: University of Sunderland Press, pp. 45-50, 2005.
Abstract
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
"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
"Conceptual Modeling of Database Applications",
Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991.
Abstract
"Conceptual Modeling XML-Schemata Using UML",
Proc. CAiSE'04 Forum, 15th Int. Conf. on Advanced Information Systems Engineering, pp. 122 - 131, 2004.
Abstract
"Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems",
COMPSAC'03. Proc. 27th Annual Int. Computer Software and Applications Conference., pp. 144-150, 2003.
Abstract
"Conceptual Modelling of Mobile Object Systems: Some Language Constructs",
Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003.
Abstract
"Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints",
Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989.
Abstract
"Datenabgleich durch mobile Agenten: Spezifikation und Implementierung",
Tagungsband zum 14. GI-Workshop ``Grundlagen von Datenbanken``, pp. 1-5, 2002.
Abstract
"Discrete Modelling of the Ethylene-Pathway",
Proceeding of the International Workshop on Biomedical Data Engineering (BMDE 2005): IEEE, pp. 7-13, April 03-04, 2005.
Abstract
"Distributed Temporal Logic for Concurrent Object Families",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994.
Abstract