| Publication | Date of Publication | Type |
|---|
| A complete fragment of LTL(EB) | 2024-10-30 | Paper |
| Refined Fuzzy Profile Matching | 2023-12-12 | Paper |
| Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data | 2023-06-28 | Paper |
| Distributed Adaptive Systems | 2023-03-10 | Paper |
| Abstract State Machines with Exact Real Arithmetic | 2023-03-10 | Paper |
| Systematic Refinement of Abstract State Machines with Higher-Order Logic | 2023-03-10 | Paper |
| Capturing Membrane Computing by ASMs | 2023-03-10 | Paper |
| Functional sorts in data type specifications | 2022-12-09 | Paper |
| A Characterization of Distributed ASMs with Partial-Order Runs | 2022-10-14 | Paper |
| A Logic for Reflective ASMs | 2022-10-14 | Paper |
| Event-B-Supported Choreography-Defined Communicating Systems | 2022-10-14 | Paper |
| A complete logic for Database Abstract State Machines1 | 2022-08-10 | Paper |
| A restricted second-order logic for non-deterministic poly-logarithmic time | 2022-06-16 | Paper |
| Computation on structures. Behavioural theory, logic, complexity | 2022-03-22 | Paper |
| A Behavioural Theory for Reflective Sequential Algorithms | 2021-05-26 | Paper |
| A Behavioural Theory of Recursive Algorithms | 2021-05-20 | Paper |
| Proper hierarchies in polylogarithmic time and absence of complete problems | 2020-10-26 | Paper |
| Realisability of choreographies | 2020-10-26 | Paper |
| A unifying logic for non-deterministic, parallel and concurrent abstract state machines | 2018-09-21 | Paper |
| Refining semantic matching for job recruitment: an application of formal concept analysis | 2018-06-26 | Paper |
| A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis | 2016-09-12 | Paper |
| Concurrent abstract state machines | 2016-08-22 | Paper |
| A unifying logic for non-deterministic, parallel and concurrent abstract state machines | 2016-05-19 | Paper |
| Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches | 2016-05-19 | Paper |
| A theoretical framework for knowledge-based entity resolution | 2014-08-27 | Paper |
| Complete Conceptual Schema Algebras | 2013-07-30 | Paper |
| Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints | 2013-07-24 | Paper |
| Computable Queries for Object Oriented Databases | 2013-04-19 | Paper |
| Weak Functional Dependencies on Trees with Restructuring | 2012-09-18 | Paper |
| Dedication to a Theory of Modelling | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3102040 | 2011-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021295 | 2011-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3077363 | 2011-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075232 | 2011-02-10 | Paper |
| Refinements in Typed Abstract State Machines | 2010-02-02 | Paper |
| Using Abstract State Machines for the Design of Multi-level Transaction Schedulers | 2010-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639045 | 2009-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639077 | 2009-10-28 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Axiomatizing functional dependencies in the higher-order entity-relationship model | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3615286 | 2009-03-19 | Paper |
| Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
| Codes that attain minimum distance in every possible direction | 2008-05-06 | Paper |
| Towards a Logic for Abstract MetaFinite State Machines | 2008-03-04 | Paper |
| Towards Algebraic Query Optimisation for XQuery | 2007-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310889 | 2007-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3418614 | 2007-02-05 | Paper |
| Journal on Data Semantics IV | 2006-10-20 | Paper |
| Functional and multivalued dependencies in nested databases generated by record and list constructor | 2006-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480180 | 2006-07-26 | Paper |
| Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets | 2006-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696203 | 2006-01-26 | Paper |
| Advances in Databases and Information Systems | 2005-08-19 | Paper |
| A Theory of Local Set Queries | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671951 | 2005-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4672914 | 2005-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825705 | 2004-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473514 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549418 | 2004-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413441 | 2003-07-20 | Paper |
| Integrating database and dialogue design | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549394 | 2002-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440849 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2714261 | 2001-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703751 | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524840 | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934354 | 2000-11-26 | Paper |
| Towards a theory of consistency enforcement | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250725 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226263 | 1999-01-24 | Paper |
| Consistency enforcement in Entity-Relationship and object-oriented models | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291432 | 1995-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786638 | 1985-01-01 | Paper |
