.gif)
]
"Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems",
Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001.
Abstract
"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
"Integration von forstlichen Geometrie- und Sachdaten mit ARC/INFO und ORACLE 7",
Proc. 4. Deutsche Anwenderkonferenz, pp. 45-53, 1996.
Abstract
"Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic",
Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999.
Abstract
"Introduction to TROL1 -1 A Language for Object-Oriented Specification of Information Systems",
Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 97-128, 1991.
Abstract
"Keeping Track of Changes in Database Schemas and Related Ontologies",
7. Int. Baltic Conference on Databases and Information Systems: IEEE, pp. 63-68, July, 2006.
Abstract
"Konzepte einer Software-Architektur-Beschreibungssprache",
Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
"Konzeptioneller Entwurf von Objektgesellschaften",
Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft BTW'91: Informatik-Fachberichte IFB 270, Springer, Berlin, pp. 327-343, 1991.
Abstract
"Language Constructs for Conceptual Modelling of Mobile Object System s",
Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003.
Abstract
"Language Features for Object-Oriented Conceptual Modeling",
Proc1 10th Int1 Conf. on the ER-approach, pp. 309-324, 1991.
Abstract
"A Language for Specifying Static and Dynamic Integrity Constraints",
Proc1 10th Int1 Conf1 on the ER-approach, pp. 389-416, 1991.
Abstract
"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
"Migration von Datenbanken - Eine Fallstudie",
Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993.
Abstract
"Migrationsbeispiele: Von ADABAS nach DB2 migrieren",
Datenbankmanagement: WEKA-Verlag, pp. 7/2.2.1-2.2.12, 1993.
Abstract
"Mining PDF documents for pictures",
European Web Mining Forum (EWMF 2005), pp. 52-63, 2005.
Abstract
"Modellierung und kartographische Visualisierung von Geodaten mit XML-basierten Sprachen",
Modellierung 2004, pp. 93-107, 2004.
Abstract
"Modelling and Manipulating Objects in Geoscientific Databases",
Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987.
Abstract
"Modelling Information Systems as Object Societies",
Management and Processing of Complex Data Structures, Proc1 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg: Springer, Berlin, LNCS 777, pp. 157-180, 1994.
Abstract
"Modelling of the Signaling Pathway of Arabidopsis thaliana",
In IADIS International Conference Applied Computing, vol. 2: IADIS Press, pp. 295-300, February 22- 25, 2005.
Abstract
"Modules for Object Oriented Specification Languages: A Bipartite Approach",
Proc1 5th Doctoral Consortium on Advanced Information Systems Engineering (CAiSE'98), Pisa, Italy, June 8-9, 1998: Tech. Report, ETH Zürich, 1998.
Abstract
"Monitoring Temporal Permissions using Partially Evaluated Transition Graphs",
Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 196-217, 1993.
Abstract
"Object Orientation as a Promising Perspective for Life Cycle Models",
Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 289-306, 1993.
Abstract
"Object-Orientation and Information Modeling",
Proc1 OOPSLA Workshop on Object-Oriented Reasoning in Information Modeling: Institute for Information Management and Department of Computer and Information Systems, Robert Morris College, Pennsylvania, pp. 13-16, 1992.
Abstract
"Object-Orientation and Real-Time System Development",
Proc1 OOPSLA Workshop on Object-Oriented Technology in Real-Time Systems: Past, Present, and Future, 1992.
Abstract
"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
"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
"Objektspezifikation von Benutzerschnittstellen in \tt TROLL",
Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993.
Abstract
"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
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999.
Abstract
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000.
Abstract
"On Formal Semantics of Some Semantic Data Models",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994.
Abstract
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
"Operationalisierung von Objektspezifikationen",
Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993.
Abstract
"Optimizing Protocol Rewrite Rules of CIL Specifications",
Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000.
Abstract
"A Possible World Semantics for Updates by Versioning",
Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 36-47, 1993.
Abstract