| 2025 | WoLLIC | Insignificant Choice Polynomial Time - A Logic Capturing PTIME. | Klaus-Dieter Schewe |
| 2022 | TASE | Practical Theory of Computation on Structures. | Klaus-Dieter Schewe |
| 2021 | MEDI | Realisability of Control-State Choreographies. | Klaus-Dieter Schewe, Yamine At Ameur, Sarah Benyagoub |
| 2019 | ICFEM | Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. | Klaus-Dieter Schewe |
| 2019 | MEDI | Concurrent Computing with Shared Replicated Memory. | Klaus-Dieter Schewe, Andreas Prinz, Egon Brger |
| 2018 | ADBIS | Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. | Flavio Ferrarotti, Senn Gonzlez, Klaus-Dieter Schewe |
| 2018 | MEDI | Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. | Klaus-Dieter Schewe |
| 2018 | SYNASC | The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. | Flavio Ferrarotti, Senn Gonzlez, Klaus-Dieter Schewe, Jos Maria Turull Torres |
| 2017 | EJC | A Conceptual Model for Systems Engineering and Its Formal Foundation. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
| 2017 | ER | Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe |
| 2017 | ER | Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. | Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe |
| 2017 | MEDI | Conceptual Modelling of Hybrid Systems - Structure and Behaviour. | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
| 2017 | SYNASC | Concurrent Reflective Abstract State Machines. | Klaus-Dieter Schewe |
| 2016 | ADBIS | A Smart Approach for Matching, Learning and Querying Information from the Human Resources Domain. | Jorge Martinez-Gil, Alejandra Lorena Paoletti, Klaus-Dieter Schewe |
| 2016 | DEXA | Top-k Matching Queries for Filter-Based Profile Matching in Knowledge Bases. | Alejandra Lorena Paoletti, Jorge Martinez-Gil, Klaus-Dieter Schewe |
| 2016 | MEDI | Maintenance of Profile Matchings in Knowledge Bases. | Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gbor Rcz, Attila Sali, Klaus-Dieter Schewe |
| 2015 | DASFAA | Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality. | Qing Wang, Klaus-Dieter Schewe, Woods Wang |
| 2015 | DEXA | Extending Knowledge-Based Profile Matching in the Human Resources Domain. | Alejandra Lorena Paoletti, Jorge Martinez-Gil, Klaus-Dieter Schewe |
| 2015 | ICTERI | Rigorous Semantics and Renement for Business Processes. | Klaus-Dieter Schewe |
| 2015 | MEDI | Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid. | Klaus-Dieter Schewe, Qing Wang, Mariam Rady |
| 2013 | APCCM | Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment. | Dominic Looser, Hui Ma, Klaus-Dieter Schewe |
| 2013 | DEXA | Horizontal and Vertical Business Process Model Integration - (Abstract). | Klaus-Dieter Schewe |
| 2013 | EJC | Query Handling in Geometric Conceptual Modelling. | Hui Ma, Klaus-Dieter Schewe |
| 2013 | EJC | Conceptual Modelling of Collaboration for Information Systems. | Bernhard Thalheim, Hannu Jaakkola, Takafumi Nakanishi, Shiori Sasaki, Klaus-Dieter Schewe |
| 2012 | DASFAA | On the Decidability and Complexity of Identity Knowledge Representation. | Klaus-Dieter Schewe, Qing Wang |
| 2012 | ER | Third International Workshop on Conceptual Modelling of Services (CMS 2012). | Klaus-Dieter Schewe, Qing Wang |
| 2012 | TrustCom | A Temporalised Belief Logic for Reasoning about Authentication Protocols. | Ji Ma, Klaus-Dieter Schewe |
| 2010 | EJC | Partial Updates in Complex-Value Databases. | Klaus-Dieter Schewe, Qing Wang |
| 2010 | EJC | NULL 'Value' Algebras and Logics. | Bernhard Thalheim, Klaus-Dieter Schewe |
| 2010 | ER | A Formal Model for Service Mediators. | Klaus-Dieter Schewe, Qing Wang |
| 2010 | IIWAS | Using XML for cloud specification and XQuery for service discovery. | Hui Ma, Klaus-Dieter Schewe, Huayang Xie |
| 2010 | WEBIST | Pragmatics of Storyboarding - Web Information Systems Portfolios. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2010 | WEBIST | Web Information Systems Portfolios: A Contribution to Pragmatics. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2009 | ADC | Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. | Jayson Speer, Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe |
| 2009 | APCCM | Conceptual Application Domain Modelling. | Bernhard Thalheim, Klaus-Dieter Schewe, Hui Ma |
| 2009 | APSCC | An abstract model for service provision, search and composition. | Hui Ma, Klaus-Dieter Schewe, Qing Wang |
| 2009 | EJC | A Fixed-Point Query Language for XML. | Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2009 | ER | Preface to ETheCoM 2009. | Markus Kirchberg, Klaus-Dieter Schewe |
| 2009 | ER | Algebraic Meta-structure Handling of Huge Database Schemata. | Hui Ma, Ren Noack, Klaus-Dieter Schewe |
| 2009 | ER | Geometrically Enhanced Conceptual Modelling. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2009 | IIWAS | Web information systems design in the era of web 2.0 and beyond. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2009 | IIWAS | A service-oriented approach to web warehousing. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang |
| 2009 | WISE | Storyboarding - High-Level Engineering of Web Information Systems. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2008 | ADC | A Typed Higher-Order Calculus for Querying XML Databases. | Qing Wang, Klaus-Dieter Schewe |
| 2008 | APCCM | Context Analysis: Toward Pragmatics of Web Information Systems Design. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2008 | ER | Abstract State Services. | Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang |
| 2008 | IIWAS | Web information systems co-design. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2008 | IIWAS | Validation of streaming XML documents with abstract state machines. | Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang |
| 2007 | ADC | A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases. | Hui Ma, Klaus-Dieter Schewe, Qing Wang |
| 2007 | APCCM | Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. | Henning Khler, Klaus-Dieter Schewe, Jane Zhao |
| 2007 | APWEB | Cost-Based Vertical Fragmentation for XML. | Sven Hartmann, Hui Ma, Klaus-Dieter Schewe |
| 2007 | CaiSE | Principles of Screenography. | Thomas Moritz, Ren Noack, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2007 | EJC | Storyboarding Concepts for Edutainment WIS. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2007 | WISE | Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2007 | WEBIST | Life Cases: A Kernel Element for Web Information Systems Engineering. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2007 | WEBIST | Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2006 | ADC | Using reflection for querying XML documents. | Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe, Alexei Tretiakov |
| 2006 | ADC | A heuristic approach to cost-efficient fragmentation and allocation of complex value databases. | Hui Ma, Klaus-Dieter Schewe, Qing Wang |
| 2006 | APCCM | Component-driven engineering of database applications. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2006 | ER | Towards a Theory of Genericity Based on Government and Binding. | Alexander Bienemann, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2006 | WISE | User Models: A Contribution to Pragmatics of Web Information Systems Design. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2005 | ADC | Redundancy, Dependencies and Normal Forms for XML Databases. | Klaus-Dieter Schewe |
| 2005 | APCCM | Balancing Redundancy and Query Costs in Distributed Data Warehouses. | Klaus-Dieter Schewe, Jane Zhao |
| 2005 | CaiSE | Heuristic Horizontal XML Fragmentation. | Hui Ma, Klaus-Dieter Schewe |
| 2005 | EJC | Query Optimisation as Part of Distribution Design for Complex Value Databases. | Hui Ma, Klaus-Dieter Schewe |
| 2005 | EJC | Fixed-Point Quantifiers in Higher Order Logics. | Klaus-Dieter Schewe, Jose Maria Turull Torres |
| 2005 | ER | Bargaining in E-Business Systems. | Klaus-Dieter Schewe |
| 2005 | ER | Tutorial 4: Reasoning About Web Information Systems. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2005 | ICALT | Personalised Web-Based Learning Systems. | Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov |
| 2005 | IIWAS | Development of Collaboration Frameworks for Distributed Web Information Systems. | Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2004 | ADBIS | Reasoning About Web Information Systems Using Story Algebras. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2004 | APCCM | Context-Aware Web Information Systems. | Aleksander Binemann-Zdanowicz, Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2004 | APCCM | Using Abstract State Machines for Distributed Data Warehouse Design. | Jane Zhao, Klaus-Dieter Schewe |
| 2004 | ICALT | Adaptation to Learning Styles. | Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2004 | ICALT | Contextualizing Electronic Learning Systems. | Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Gunar Fiedler |
| 2004 | ICALT | Learner Typing for Electronic Learning Systems. | Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Thomas Kuss, Bernd Tschiedel |
| 2004 | ICALT | Managing the Data in Electronic Learning Systems. | Oleg Rostanin, Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov |
| 2004 | ICWE | A Three-Level Architecture for Distributed Web Information Systems. | Markus Kirchberg, Klaus-Dieter Schewe, Bernhard Thalheim, Richard Wang |
| 2004 | ICWE | Website Modeling and Website Generation. | Bernhard Thalheim, Klaus-Dieter Schewe, Irina Romalis, Thomas Raak, Gunar Fiedler |
| 2004 | WISE | The Power of Media Types. | Klaus-Dieter Schewe |
| 2004 | WISE | The Co-design Approach to WIS Development in E-business and E-learning Applications. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2003 | CaiSE | Context Modeling for Web Information Systems. | Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim |
| 2003 | EJC | A New Normal Form for Conceptual Database. | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
| 2003 | IIWAS | Increasing Automation in Lending. | Roland H. Kaschek, Claire Matthews, Catherine Wallace, Klaus-Dieter Schewe |
| 2002 | ER | Support of Integrated Wireless Web Access through Media Types. | Klaus-Dieter Schewe |
| 2002 | ER | Modelling Web-Based Banking Systems: Story Boarding and User Profiling. | Klaus-Dieter Schewe, Roland H. Kaschek, Claire Matthews, Catherine Wallace |
| 2001 | ADC | A comparison of multi-level concurrency control protocols. | Markus Kirchberg, Klaus-Dieter Schewe |
| 2001 | ADC | On the unification of query algebras and their extension to rational tree structures. | Klaus-Dieter Schewe |
| 2001 | ADC | Design theory for advanced datamodels. | Klaus-Dieter Schewe |
| 2001 | ER | Querying Web Information Systems. | Klaus-Dieter Schewe |
| 2000 | EJC | UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language. | Klaus-Dieter Schewe |
| 2000 | EJC | Discussion Session on Concept Theory and Conceptual Modelling. | Klaus-Dieter Schewe |
| 2000 | ER | A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata. | Thomas Lehmann, Klaus-Dieter Schewe |
| 2000 | NLDB | Modeling Interaction and Media Objects. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 2000 | WISE | Design of Data-Intesive Web-based Information Services. | Thomas Feyer, Odej Kao, Klaus-Dieter Schewe, Bernhard Thalheim |
| 1999 | ADBIS | On a Galois Correspondence in Object Oriented Databases. | Klaus-Dieter Schewe |
| 1999 | EJC | The Type Concept in OODB Modelling and its Logical Implications. | Klaus-Dieter Schewe |
| 1999 | ER | Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects. | Jana Lewerenz, Klaus-Dieter Schewe, Bernhard Thalheim |
| 1999 | FCT | A Generalization of Dijkstra's Calculus to Typed Program Specifications. | Klaus-Dieter Schewe, Bernhard Thalheim |
| 1998 | EJC | Fundamentals of Consistency Enforcement. | Klaus-Dieter Schewe |
| 1998 | ER | Conceptual Design and Development of Information Services. | Thomas Feyer, Klaus-Dieter Schewe, Bernhard Thalheim |
| 1997 | ER | Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models. | Klaus-Dieter Schewe |
| 1996 | ER | View-Centered Conceptual Modelling - An Object-Oriented Approach. | Klaus-Dieter Schewe, Bettina Schewe |
| 1995 | FCT | Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. | Klaus-Dieter Schewe |
| 1995 | ISCO | A user-centered method for the development of data-intensive dialogue systems: an object-oriented approach. | Bettina Schewe, Klaus-Dieter Schewe |
| 1994 | COMAD | Higher-Level Genericity in Object-Oriented Databases. | Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim |
| 1993 | ADC | Integrity Preserving Updates in Object-Oriented Databases. | Klaus-Dieter Schewe, Bernhard Thalheim, Ingrid Wetzel |
| 1993 | FM | On the Derivation of Executable Database Programs from Formal Specifications. | Thomas Gnther, Klaus-Dieter Schewe, Ingrid Wetzel |
| 1992 | ICDT | Identification, Genericity and Consistency in Object-Oriented Databases. | Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel |
| 1991 | FM | Specification and Refinement in an Integrated Database Application Environment. | Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel |