Klaus-Dieter Schewe

Proceedings of the Information Modelling and Knowledge Bases XXII, 20th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2010), Jyväskylä, Finland, 31 May, 2010

2009

Customising Web Information Systems According to User Preferences.

[BibT_eX]

[DOI]

World Wide Web, 2009

A theory of data-intensive software services.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2009

Dynamic Data Warehouse Design with Abstract State Machines.

[BibT_eX]

[DOI]

Henning Köhler

J. Univers. Comput. Sci., 2009

Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

Logic, Abstract State Machines and Databases.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2009

A Characterisation of Coincidence Ideals for Complex Values.

[BibT_eX]

[DOI]

Attila Sali

J. Univers. Comput. Sci., 2009

26th International Conference on Conceptual Modeling (ER 2007).

[BibT_eX]

[DOI]

Christine Parent

Veda C. Storey

Data Knowl. Eng., 2009

Storyboarding - High-Level Engineering of Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2009

Modelling and Maintenance of Very Large Database Schemata Using Meta-structures.

[BibT_eX]

[DOI]

Proceedings of the Information Systems: Modeling, 2009

A service-oriented approach to web warehousing.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2009, 2009

Web information systems design in the era of web 2.0 and beyond.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2009, 2009

Geometrically Enhanced Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2009

Algebraic Meta-structure Handling of Huge Database Schemata.

[BibT_eX]

[DOI]

René Noack

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Preface to ETheCoM 2009.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

A Fixed-Point Query Language for XML.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

An abstract model for service provision, search and composition.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

Conceptual Application Domain Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2009, 2009

Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2009, 2009

2008

Typed Abstract State Machines for data-intensive applications.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2008

Keys and Armstrong Databases in Trees with Restructuring.

[BibT_eX]

[DOI]

Attila Sali

Acta Cybern., 2008

Semantics in Data and Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

ASM Foundations of Database Management.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and e-Business Technologies, 2008

Facets of Media Types.

[BibT_eX]

[DOI]

Proceedings of the Information Systems and e-Business Technologies, 2008

A Query Language for Rational Tree Structures.

[BibT_eX]

[DOI]

Faizal Riaz-ud-Din

Proceedings of the Information Systems and e-Business Technologies, 2008

Validation of streaming XML documents with abstract state machines.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2008, 2008

Web information systems co-design.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2008, 2008

Towards a Logic for Abstract MetaFinite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Abstract State Services.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Composing Personalised Services on top of Abstract State Services.

[BibT_eX]

[DOI]

Proceedings of the Evolution of Conceptual Modeling, 27.04. - 30.04.2008, 2008

XML Database Transformations with Tree Updates.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Context Analysis: Toward Pragmatics of Web Information Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2008, 2008

A Typed Higher-Order Calculus for Querying XML Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2008. Proceedings of the Nineteenth Australasian Database Conference, 2008

2007

Pragmatics of storyboarding for web information systems: usage analysis.

[BibT_eX]

[DOI]

Int. J. Web Grid Serv., 2007

Personalisation of web information systems - A term rewriting approach.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2007

Distribution design for higher-order data models.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2007

A multi-level architecture for distributed object bases.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2007

Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2007

Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

Life Cases: A Kernel Element for Web Information Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems and Technologies, 2007

Quality Assurance in Web Information Systems Development.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Intention-Driven Screenography.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Technology and its Applications, 2007

Storyboarding Concepts for Edutainment WIS.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

Principles of Screenography.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'07 Forum, 2007

Cost-Based Vertical Fragmentation for XML.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.

[BibT_eX]

[DOI]

Henning Köhler

Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2007. Proceedings of the Eighteenth Australasian Database Conference, 2007

2006

Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Editorial.

[BibT_eX]

[DOI]

Hans-Dieter Ehrich

T. H. Tse

J. Syst. Softw., 2006

Towards Algebraic Query Optimisation for XQuery.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Information systems design: through adaptivity to ubiquity.

[BibT_eX]

[DOI]

Inf. Syst. E Bus. Manag., 2006

Integration of Bargaining into E-Business Systems.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2006

Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels.

[BibT_eX]

[DOI]

Attila Sali

Fundam. Informaticae, 2006

Functional and multivalued dependencies in nested databases generated by record and list constructor.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

User Models: A Contribution to Pragmatics of Web Information Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems, 2006

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Refinements in Typed Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Towards a Theory of Genericity Based on Government and Binding.

[BibT_eX]

[DOI]

Alexander Bienemann

Proceedings of the Conceptual Modeling, 2006

A Heuristic Approach to Fragmentation Incorporating Query Information.

[BibT_eX]

[DOI]

Proceedings of the Databases and Information Systems IV, 2006

Component-driven engineering of database applications.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2006, 2006

A heuristic approach to cost-efficient fragmentation and allocation of complex value databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2006, 2006

Using reflection for querying XML documents.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2006, 2006

2005

Functional Dependencies with Counting on Trees.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2005

View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems.

[BibT_eX]

[DOI]

J. Data Semant., 2005

Emphasizing the communication aspects for the successful development of electronic business systems.

[BibT_eX]

[DOI]

Inf. Syst. E Bus. Manag., 2005

The Co-Design Approach to Web Information Systems Development.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2005

Stragetic Modelling of Web Information Systems.

[BibT_eX]

[DOI]

Thomas Moritz

Int. J. Web Inf. Syst., 2005

A Theory of Local Set Queries.

[BibT_eX]

[DOI]

Jose Maria Turull Torres

Log. J. IGPL, 2005

A Conceptual View of Web-Based E-Learning Systems.

[BibT_eX]

[DOI]

Thomas Kuss

Bernd Tschiedel

Educ. Inf. Technol., 2005

Conceptual modelling of web information systems.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2005

Functional Dependencies over XML Documents with DTDs.

[BibT_eX]

[DOI]

Acta Cybern., 2005

An Algorithmic Approach to High-Level Personalisation of Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Age Information Management, 2005

Quality Assurance in the Design of Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

The Challenges in Web Information Systems Development in 15 Pictures (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Information Systems Technology and its Applications, 2005

Integration and Cooperation of Media Types.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Technology and its Applications, 2005

Using XML to Support Media Types.

[BibT_eX]

[DOI]

Alexei Tretiakov

Proceedings of the Information Systems Technology and its Applications, 2005

Development of Collaboration Frameworks for Distributed Web Information Systems.

[BibT_eX]

Proceedings of the iiWAS'2005, 2005

Personalised Web-Based Learning Systems.

[BibT_eX]

[DOI]

Alexei Tretiakov

Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

Cost Optimisation for Distributed Data Warehouses.

[BibT_eX]

[DOI]

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Tutorial 4: Reasoning About Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Perspectives in Conceptual Modeling, 2005

Bargaining in E-Business Systems.

[BibT_eX]

[DOI]

Proceedings of the Perspectives in Conceptual Modeling, 2005

Fixed-Point Quantifiers in Higher Order Logics.

[BibT_eX]

[DOI]

Jose Maria Turull Torres

Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

Query Optimisation as Part of Distribution Design for Complex Value Databases.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

Heuristic Horizontal XML Fragmentation.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

ASM Ground Model and Refinement for Data Warehouses.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Balancing Redundancy and Query Costs in Distributed Data Warehouses.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2005, 2005

Redundancy, Dependencies and Normal Forms for XML Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2005, 2005

2004

Content adaptivity in wireless web access.

[BibT_eX]

[DOI]

Kinshuk

Tiong Goh

Int. J. Mob. Commun., 2004

Error-Robust Functional Dependencies.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Preface.

[BibT_eX]

[DOI]

Thomas Eiter

Ann. Math. Artif. Intell., 2004

Distance Functional Dependencies in the Presence of Complex Values.

[BibT_eX]

[DOI]

Acta Cybern., 2004

The Co-design Approach to WIS Development in E-business and E-learning Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems, 2004

The Power of Media Types.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems, 2004

On Coding Navigation Paths for In-Memory Navigation in Persistent Object Stores.

[BibT_eX]

Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Modelling Actors and Stories in Web Information Systems.

[BibT_eX]

[DOI]

Sergiy Zlatkin

Proceedings of the Information Systems Technology and its Applications, 2004

Website Modeling and Website Generation.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 4th International Conference, 2004

A Three-Level Architecture for Distributed Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 4th International Conference, 2004

Managing the Data in Electronic Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Learner Typing for Electronic Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Contextualizing Electronic Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Adaptation to Learning Styles.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Weak Functional Dependencies in Higher-Order Datamodels.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

A Deontic Logic for Group-Oriented Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the EMISA 2004, 2004

Using Abstract State Machines for Distributed Data Warehouse Design.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2004, 2004

Context-Aware Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2004, 2004

Reasoning About Web Information Systems Using Story Algebras.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2004

2003

Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

Integrating Context in Modelling for Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2003

Increasing Automation in Lending.

[BibT_eX]

Proceedings of the iiWAS'2003, 2003

A Multi-Level Architecture for Distributed Object Bases.

[BibT_eX]

Alexei Tretiakov

Proceedings of the ICEIS 2003, 2003

A New Normal Form for Conceptual Database.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XV, 2003

Context Modeling for Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002

Computable Queries for Object Oriented Databases.

[BibT_eX]

[DOI]

Jose Maria Turull Torres

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

An Arithmetic Theory of Consistency Enforcement.

[BibT_eX]

[DOI]

Acta Cybern., 2002

Modelling Web-Based Banking Systems: Story Boarding and User Profiling.

[BibT_eX]

[DOI]

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Support of Integrated Wireless Web Access through Media Types.

[BibT_eX]

[DOI]

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Fragmentation of Object Oriented and Semistructured Data.

[BibT_eX]

Proceedings of the Baltic Conference, 2002

2001

Computability and Decidability Issues in the Theory of Consistency Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Semantics in Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Databases, 2001

Querying Web Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2001

Design theory for advanced datamodels.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Australasian Database Conference, 2001

On the unification of query algebras and their extension to rational tree structures.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Australasian Database Conference, 2001

A comparison of multi-level concurrency control protocols.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Australasian Database Conference, 2001

2000

Integrating Database and Dialogue Design.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2000

Hybrid Concurrency Control and Recovery for Multi-Level Transactions.

[BibT_eX]

[DOI]

Torsten Ripke

Sven Drechsler

Acta Cybern., 2000

Design of Data-Intesive Web-based Information Services.

[BibT_eX]

[DOI]

Proceedings of the WISE 2000, 2000

Modeling Interaction and Media Objects.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Processing and Information Systems, 2000

Controlled Automation of Consistency Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata.

[BibT_eX]

[DOI]

Thomas Lehmann

Proceedings of the Conceptual Modeling, 2000

Discussion Session on Concept Theory and Conceptual Modelling.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1999

Towards a Theory of Consistency Enforcement.

[BibT_eX]

[DOI]

Acta Informatica, 1999

Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols.

[BibT_eX]

Proceedings of the Transactions and Database Dynamics, 1999

A Generalization of Dijkstra's Calculus to Typed Program Specifications.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects.

[BibT_eX]

[DOI]

Jana Lewerenz

Proceedings of the Conceptual Modeling, 1999

The Type Concept in OODB Modelling and its Logical Implications.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases XI: 9th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1999

On a Galois Correspondence in Object Oriented Databases.

[BibT_eX]

Proceedings of the Advances in Databases and Information Systems, 1999

1998

7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO'98).

[BibT_eX]

Datenbank Rundbr., 1998

Consistency Enforcement in Entity-Relationship and Object-Oriented Models.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1998

Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications.

[BibT_eX]

[DOI]

Acta Cybern., 1998

Conceptual Design and Development of Information Services.

[BibT_eX]

[DOI]

Thomas Feyer

Proceedings of the Conceptual Modeling, 1998

Fundamentals of Consistency Enforcement.

[BibT_eX]

Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

1997

Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1997

1996

Nicht-klassische Objektlogik.

[BibT_eX]

Proceedings of the Kurzfassungen 8. Workshop Grundlage von Datenbanken, 1996

Active Consistency Enforcement for Repairable Database Transitions.

[BibT_eX]

[DOI]

Proceedings of the Integrity in Databases, 1996

Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Integrity in Databases, 1996

View-Centered Conceptual Modelling - An Object-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1996

1995

Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1995

A user-centered method for the development of data-intensive dialogue systems: an object-oriented approach.

[BibT_eX]

Proceedings of the Information System Concepts: Towards a Consolidation of Views, 1995

Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

Achieving Consistency in Active Databases.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, 1994

Konsistenzerzwingung.

[BibT_eX]

Proceedings of the Kurzfassungen 6. Workshop Grundlagen von Datenbanken, 1994

Higher-Level Genericity in Object-Oriented Databases.

[BibT_eX]

David W. Stemple

Proceedings of the Sixth International Conference on Management of Data, 1994

1993

Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik.

[BibT_eX]

GI Datenbank Rundbrief, 1993

Fundamental Concepts of Object Oriented Databases.

[BibT_eX]

[DOI]

Acta Cybern., 1993

On the Derivation of Executable Database Programs from Formal Specifications.

[BibT_eX]

[DOI]

Thomas Günther

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Integrity Preserving Updates in Object-Oriented Databases.

[BibT_eX]

Proceedings of the Advances in Database Research, 1993

1992

Identification, Genericity and Consistency in Object-Oriented Databases.

[BibT_eX]

[DOI]

Joachim W. Schmidt

Proceedings of the Database Theory, 1992

Formalisierung Objektorientierter Datenbanken: Design- und Sprachunterstützung.

[BibT_eX]

Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992

Integrity Enforcement in Object-Oriented Databases.

[BibT_eX]

[DOI]

Proceedings of the Modelling Database Dynamics, 1992

Towards a Structured Specification Language for Database Applications.

[BibT_eX]

[DOI]

Joachim W. Schmidt

Proceedings of the Specifications of Database Systems, 1992

1991

Specification and Refinement in an Integrated Database Application Environment.

[BibT_eX]

[DOI]

Joachim W. Schmidt

Proceedings of the VDM '91, 1991

1989

Variant Construction Using Constraint Propagation Techniques over Semantic Networks.

[BibT_eX]

[DOI]

Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Network and Resource Planning for Office Information Systems.

[BibT_eX]

[DOI]