Klaus-Dieter Schewe

According to our database1, Klaus-Dieter Schewe
  • authored at least 234 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
The landing gear case study: challenges and experiments.
STTT, 2017

Communication in Abstract State Machines.
J. UCS, 2017

Accurate and Efficient Profile Matching in Knowledge Bases.
CoRR, 2017

A Logic for Non-Deterministic Parallel Abstract State Machines.
CoRR, 2017

Serialisable Multi-Level Transaction Control: A Specification and Verification.
CoRR, 2017

Specifying Transaction Control to Serialize Concurrent Program Executions.
CoRR, 2017

Conceptual Modelling of Hybrid Systems - Structure and Behaviour.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Evolving concurrent systems: behavioural theory and logic.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis.
Theor. Comput. Sci., 2016

Serialisable multi-level transaction control: A specification and verification.
Sci. Comput. Program., 2016

Introduction to the ABZ 2014 special issue.
Sci. Comput. Program., 2016

A Complete Logic for Non-Deterministic Database Transformations.
CoRR, 2016

Concurrent abstract state machines.
Acta Inf., 2016

Maintenance of Profile Matchings in Knowledge Bases.
Proceedings of the Model and Data Engineering - 6th International Conference, 2016

Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

A Logic for Non-deterministic Parallel Abstract State Machines.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

Top-k Matching Queries for Filter-Based Profile Matching in Knowledge Bases.
Proceedings of the Database and Expert Systems Applications, 2016

Towards a Behavioural Theory for Random Parallel Computing.
Proceedings of the Computational Models of Rationality, 2016

A Smart Approach for Matching, Learning and Querying Information from the Human Resources Domain.
Proceedings of the New Trends in Databases and Information Systems, 2016

Hagenberg Business Process Modelling Method
Springer, ISBN: 978-3-319-30496-0, 2016

2015
Horizontal Business Process Model Integration.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2015

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation.
Software and System Modeling, 2015

A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis.
CoRR, 2015

Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid.
Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Rigorous Semantics and Renement for Business Processes.
Proceedings of the 11th International Conference on ICT in Education, 2015

Extending Knowledge-Based Profile Matching in the Human Resources Domain.
Proceedings of the Database and Expert Systems Applications, 2015

Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality.
Proceedings of the Database Systems for Advanced Applications, 2015

Codesign of Web Information Systems.
Proceedings of the Correct Software in Web Applications and Web Services, 2015

What Constitutes a Service on the Web?
Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014
A theoretical framework for knowledge-based entity resolution.
Theor. Comput. Sci., 2014

Conceptual Modelling with Specific Focus on Service-Oriented Systems.
J. UCS, 2014

Specifying Transaction Control to Serialize Concurrent Program Executions.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

A Rigorous Semantics for BPMN 2.0 Process Diagrams
Springer, ISBN: 978-3-319-09931-6, 2014

2013
Knowledge-aware identity services.
Knowl. Inf. Syst., 2013

Complete Conceptual Schema Algebras.
Fundam. Inform., 2013

Conceptual Modelling of Collaboration for Information Systems.
Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

Query Handling in Geometric Conceptual Modelling.
Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

Horizontal and Vertical Business Process Model Integration - (Abstract).
Proceedings of the Database and Expert Systems Applications, 2013

Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment.
Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, 2013

2012
A formal model for the interoperability of service clouds.
Service Oriented Computing and Applications, 2012

Conceptual Modelling of Services.
J. UCS, 2012

A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation.
ECEASST, 2012

A Temporalised Belief Logic for Reasoning about Authentication Protocols.
Proceedings of the 11th IEEE International Conference on Trust, 2012

Preferential Refinements of Abstract State Machines for Service Mediators.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Synchronous Parallel Database Transformations.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Third International Workshop on Conceptual Modelling of Services (CMS 2012).
Proceedings of the Advances in Conceptual Modeling, 2012

On the Decidability and Complexity of Identity Knowledge Representation.
Proceedings of the Database Systems for Advanced Applications, 2012

Dedication to a Theory of Modelling - Bernhard Thalheim's Scientific Journey.
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

A Simplified Parallel ASM Thesis.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
Challenges in Cloud Computing.
Scalable Computing: Practice and Experience, 2011

Cloud Warehousing.
J. UCS, 2011

Weak Functional Dependencies on Trees with Restructuring.
Acta Cybern., 2011

Conceptual Geometric Modelling.
Proceedings of the Handbook of Conceptual Modeling, 2011

Conceptual Modelling of Application Stories.
Proceedings of the Handbook of Conceptual Modeling, 2011

2010
XML Database Transformations.
J. UCS, 2010

Evolving Theories of Conceptual Modelling.
J. UCS, 2010

Revisiting "Fragmentation of XML Documents".
JIDM, 2010

Fragmentation of XML Documents.
JIDM, 2010

Using Meta-Structures in Database Design.
Informatica (Slovenia), 2010

A Customised ASM Thesis for Database Transformations.
Acta Cybern., 2010

Web Information Systems Portfolios: A Contribution to Pragmatics.
Proceedings of the Web Information Systems and Technologies - 6th International Conference, 2010

Pragmatics of Storyboarding - Web Information Systems Portfolios.
Proceedings of the WEBIST 2010, 2010

About Semantics.
Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

Using XML for cloud specification and XQuery for service discovery.
Proceedings of the iiWAS'2010, 2010

A Formal Model for Service Mediators.
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

NULL 'Value' Algebras and Logics.
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

Partial Updates in Complex-Value Databases.
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.
World Wide Web, 2009

A theory of data-intensive software services.
Service Oriented Computing and Applications, 2009

Dynamic Data Warehouse Design with Abstract State Machines.
J. UCS, 2009

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

Logic, Abstract State Machines and Databases.
J. UCS, 2009

A Characterisation of Coincidence Ideals for Complex Values.
J. UCS, 2009

26th International Conference on Conceptual Modeling (ER 2007).
Data Knowl. Eng., 2009

Storyboarding - High-Level Engineering of Web Information Systems.
Proceedings of the Web Information Systems Engineering, 2009

Modelling and Maintenance of Very Large Database Schemata Using Meta-structures.
Proceedings of the Information Systems: Modeling, 2009

A service-oriented approach to web warehousing.
Proceedings of the iiWAS'2009, 2009

Web information systems design in the era of web 2.0 and beyond.
Proceedings of the iiWAS'2009, 2009

Geometrically Enhanced Conceptual Modelling.
Proceedings of the Conceptual Modeling, 2009

Algebraic Meta-structure Handling of Huge Database Schemata.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Preface to ETheCoM 2009.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

A Fixed-Point Query Language for XML.
Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

An abstract model for service provision, search and composition.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

Conceptual Application Domain Modelling.
Proceedings of the Conceptual Modelling 2009, 2009

Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery.
Proceedings of the Database Technologies 2009, 2009

2008
Typed Abstract State Machines for data-intensive applications.
Knowl. Inf. Syst., 2008

Keys and Armstrong Databases in Trees with Restructuring.
Acta Cybern., 2008

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

ASM Foundations of Database Management.
Proceedings of the Information Systems and e-Business Technologies, 2008

Facets of Media Types.
Proceedings of the Information Systems and e-Business Technologies, 2008

A Query Language for Rational Tree Structures.
Proceedings of the Information Systems and e-Business Technologies, 2008

Validation of streaming XML documents with abstract state machines.
Proceedings of the iiWAS'2008, 2008

Web information systems co-design.
Proceedings of the iiWAS'2008, 2008

Towards a Logic for Abstract MetaFinite State Machines.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

Abstract State Services.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Composing Personalised Services on top of Abstract State Services.
Proceedings of the Evolution of Conceptual Modeling, 27.04. - 30.04.2008, 2008

XML Database Transformations with Tree Updates.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Context Analysis: Toward Pragmatics of Web Information Systems Design.
Proceedings of the Conceptual Modelling 2008, 2008

A Typed Higher-Order Calculus for Querying XML Databases.
Proceedings of the Database Technologies 2008. Proceedings of the Nineteenth Australasian Database Conference, 2008

2007
Pragmatics of storyboarding for web information systems: usage analysis.
IJWGS, 2007

Personalisation of web information systems - A term rewriting approach.
Data Knowl. Eng., 2007

Distribution design for higher-order data models.
Data Knowl. Eng., 2007

A multi-level architecture for distributed object bases.
Data Knowl. Eng., 2007

Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.
Proceedings of the Web Information Systems Engineering, 2007

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

Life Cases: A Kernel Element for Web Information Systems Engineering.
Proceedings of the Web Information Systems and Technologies, 2007

Quality Assurance in Web Information Systems Development.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Intention-Driven Screenography.
Proceedings of the Information Systems Technology and its Applications, 2007

Storyboarding Concepts for Edutainment WIS.
Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

Principles of Screenography.
Proceedings of the CAiSE'07 Forum, 2007

Cost-Based Vertical Fragmentation for XML.
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.
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.
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".
Theor. Comput. Sci., 2006

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci., 2006

Editorial.
Journal of Systems and Software, 2006

Towards Algebraic Query Optimisation for XQuery.
, 2006

Information systems design: through adaptivity to ubiquity.
Inf. Syst. E-Business Management, 2006

Integration of Bargaining into E-Business Systems.
Informatica (Slovenia), 2006

Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels.
Fundam. Inform., 2006

Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell., 2006

User Models: A Contribution to Pragmatics of Web Information Systems Design.
Proceedings of the Web Information Systems, 2006

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Refinements in Typed Abstract State Machines.
Proceedings of the Perspectives of Systems Informatics, 2006

Towards a Theory of Genericity Based on Government and Binding.
Proceedings of the Conceptual Modeling, 2006

A Heuristic Approach to Fragmentation Incorporating Query Information.
Proceedings of the Databases and Information Systems IV, 2006

Component-driven engineering of database applications.
Proceedings of the Conceptual Modelling 2006, 2006

A heuristic approach to cost-efficient fragmentation and allocation of complex value databases.
Proceedings of the Database Technologies 2006, 2006

Using reflection for querying XML documents.
Proceedings of the Database Technologies 2006, 2006

2005
Functional Dependencies with Counting on Trees.
J. UCS, 2005

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

Emphasizing the communication aspects for the successful development of electronic business systems.
Inf. Syst. E-Business Management, 2005

The Co-Design Approach to Web Information Systems Development.
IJWIS, 2005

Stragetic Modelling of Web Information Systems.
IJWIS, 2005

A Theory of Local Set Queries.
Logic Journal of the IGPL, 2005

A Conceptual View of Web-Based E-Learning Systems.
EAIT, 2005

Conceptual modelling of web information systems.
Data Knowl. Eng., 2005

Functional Dependencies over XML Documents with DTDs.
Acta Cybern., 2005

An Algorithmic Approach to High-Level Personalisation of Web Information Systems.
Proceedings of the Advances in Web-Age Information Management, 2005

Quality Assurance in the Design of Web Information Systems.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

The Challenges in Web Information Systems Development in 15 Pictures (Invited Talk).
Proceedings of the Information Systems Technology and its Applications, 2005

Integration and Cooperation of Media Types.
Proceedings of the Information Systems Technology and its Applications, 2005

Using XML to Support Media Types.
Proceedings of the Information Systems Technology and its Applications, 2005

Development of Collaboration Frameworks for Distributed Web Information Systems.
Proceedings of the iiWAS'2005, 2005

Personalised Web-Based Learning Systems.
Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

Cost Optimisation for Distributed Data Warehouses.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Tutorial 4: Reasoning About Web Information Systems.
Proceedings of the Perspectives in Conceptual Modeling, 2005

Bargaining in E-Business Systems.
Proceedings of the Perspectives in Conceptual Modeling, 2005

Fixed-Point Quantifiers in Higher Order Logics.
Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

Query Optimisation as Part of Distribution Design for Complex Value Databases.
Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

Heuristic Horizontal XML Fragmentation.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

ASM Ground Model and Refinement for Data Warehouses.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Balancing Redundancy and Query Costs in Distributed Data Warehouses.
Proceedings of the Conceptual Modelling 2005, 2005

Redundancy, Dependencies and Normal Forms for XML Databases.
Proceedings of the Database Technologies 2005, 2005

2004
Content adaptivity in wireless web access.
IJMC, 2004

Error-Robust Functional Dependencies.
Fundam. Inform., 2004

Preface.
Ann. Math. Artif. Intell., 2004

Distance Functional Dependencies in the Presence of Complex Values.
Acta Cybern., 2004

The Co-design Approach to WIS Development in E-business and E-learning Applications.
Proceedings of the Web Information Systems, 2004

The Power of Media Types.
Proceedings of the Web Information Systems, 2004

On Coding Navigation Paths for In-Memory Navigation in Persistent Object Stores.
Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Modelling Actors and Stories in Web Information Systems.
Proceedings of the Information Systems Technology and its Applications, 2004

Website Modeling and Website Generation.
Proceedings of the Web Engineering - 4th International Conference, 2004

A Three-Level Architecture for Distributed Web Information Systems.
Proceedings of the Web Engineering - 4th International Conference, 2004

Managing the Data in Electronic Learning Systems.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Learner Typing for Electronic Learning Systems.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Contextualizing Electronic Learning Systems.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Adaptation to Learning Styles.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004

Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Weak Functional Dependencies in Higher-Order Datamodels.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

A Deontic Logic for Group-Oriented Web Information Systems.
Proceedings of the EMISA 2004, 2004

Using Abstract State Machines for Distributed Data Warehouse Design.
Proceedings of the Conceptual Modelling 2004, 2004

Context-Aware Web Information Systems.
Proceedings of the Conceptual Modelling 2004, 2004

Reasoning About Web Information Systems Using Story Algebras.
Proceedings of the Advances in Databases and Information Systems, 2004

2003
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett., 2003

Integrating Context in Modelling for Web Information Systems.
Proceedings of the Web Services, 2003

Fragmentation of XML Documents.
Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

Increasing Automation in Lending.
Proceedings of the iiWAS'2003, 2003

A Multi-Level Architecture for Distributed Object Bases.
Proceedings of the ICEIS 2003, 2003

A New Normal Form for Conceptual Database.
Proceedings of the Information Modelling and Knowledge Bases XV, 2003

Context Modeling for Web Information Systems.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002
Computable Queries for Object Oriented Databases.
Electr. Notes Theor. Comput. Sci., 2002

Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints.
Electr. Notes Theor. Comput. Sci., 2002

An Arithmetic Theory of Consistency Enforcement.
Acta Cybern., 2002

Modelling Web-Based Banking Systems: Story Boarding and User Profiling.
Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Support of Integrated Wireless Web Access through Media Types.
Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Fragmentation of Object Oriented and Semistructured Data.
Proceedings of the Baltic Conference, 2002

2001
Computability and Decidability Issues in the Theory of Consistency Enforcement.
Electr. Notes Theor. Comput. Sci., 2001

Semantics in Databases.
Proceedings of the Semantics in Databases, 2001

Querying Web Information Systems.
Proceedings of the Conceptual Modeling, 2001

Design theory for advanced datamodels.
Proceedings of the Twelfth Australasian Database Conference, 2001

On the unification of query algebras and their extension to rational tree structures.
Proceedings of the Twelfth Australasian Database Conference, 2001

A comparison of multi-level concurrency control protocols.
Proceedings of the Twelfth Australasian Database Conference, 2001

2000
Integrating Database and Dialogue Design.
Knowl. Inf. Syst., 2000

Hybrid Concurrency Control and Recovery for Multi-Level Transactions.
Acta Cybern., 2000

Design of Data-Intesive Web-based Information Services.
Proceedings of the WISE 2000, 2000

Modeling Interaction and Media Objects.
Proceedings of the Natural Language Processing and Information Systems, 2000

Controlled Automation of Consistency Enforcement.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata.
Proceedings of the Conceptual Modeling, 2000

Discussion Session on Concept Theory and Conceptual Modelling.
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.
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.
Acta Inf., 1999

Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols.
Proceedings of the Transactions and Database Dynamics, 1999

A Generalization of Dijkstra's Calculus to Typed Program Specifications.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects.
Proceedings of the Conceptual Modeling, 1999

The Type Concept in OODB Modelling and its Logical Implications.
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.
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).
Datenbank Rundbrief, 1998

Consistency Enforcement in Entity-Relationship and Object-Oriented Models.
Data Knowl. Eng., 1998

Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications.
Acta Cybern., 1998

Conceptual Design and Development of Information Services.
Proceedings of the Conceptual Modeling, 1998

Fundamentals of Consistency Enforcement.
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.
Proceedings of the Conceptual Modeling, 1997

1996
Nicht-klassische Objektlogik.
Grundlagen von Datenbanken, 1996

Active Consistency Enforcement for Repairable Database Transitions.
Proceedings of the Integrity in Databases, 1996

Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement (Extended Abstract).
Proceedings of the Integrity in Databases, 1996

View-Centered Conceptual Modelling - An Object-Oriented Approach.
Proceedings of the Conceptual Modeling, 1996

1995
Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme.
Inform., Forsch. Entwickl., 1995

A user-centered method for the development of data-intensive dialogue systems: an object-oriented approach.
Proceedings of the Information System Concepts: Towards a Consolidation of Views, 1995

Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

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

Konsistenzerzwingung.
Grundlagen von Datenbanken, 1994

Higher-Level Genericity in Object-Oriented Databases.
COMAD, 1994

1993
Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik.
GI Datenbank Rundbrief, 1993

Fundamental Concepts of Object Oriented Databases.
Acta Cybern., 1993

On the Derivation of Executable Database Programs from Formal Specifications.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Integrity Preserving Updates in Object-Oriented Databases.
Proceedings of the Advances in Database Research, 1993

1992
Identification, Genericity and Consistency in Object-Oriented Databases.
Proceedings of the Database Theory, 1992

Formalisierung Objektorientierter Datenbanken: Design- und Sprachunterstützung.
Grundlagen von Datenbanken, 1992

Integrity Enforcement in Object-Oriented Databases.
Proceedings of the Modelling Database Dynamics, 1992

1991
Specification and Refinement in an Integrated Database Application Environment.
Proceedings of the VDM '91, 1991

1989
Variant Construction Using Constraint Propagation Techniques over Semantic Networks.
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Network and Resource Planning for Office Information Systems.
Proceedings of the Kommunikation in Verteilten Systemen, 1989


  Loading...