| Publication | Date of Publication | Type |
|---|
| Insignificant choice polynomial time. A logic capturing PTIME | 2026-01-13 | Paper |
| A complete fragment of LTL(EB) | 2024-10-30 | Paper |
Refined Fuzzy Profile Matching
Acta Cybernetica | 2023-12-12 | Paper |
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data
Advances in Databases and Information Systems | 2023-06-28 | Paper |
Abstract State Machines with Exact Real Arithmetic
Lecture Notes in Computer Science | 2023-03-10 | Paper |
Systematic Refinement of Abstract State Machines with Higher-Order Logic
Lecture Notes in Computer Science | 2023-03-10 | Paper |
Distributed Adaptive Systems
Lecture Notes in Computer Science | 2023-03-10 | Paper |
Capturing Membrane Computing by ASMs
Lecture Notes in Computer Science | 2023-03-10 | Paper |
Functional sorts in data type specifications
Fundamentals of Computation Theory | 2022-12-09 | Paper |
A Logic for Reflective ASMs
Rigorous State-Based Methods | 2022-10-14 | Paper |
A characterization of distributed ASMs with partial-order runs
Rigorous State-Based Methods | 2022-10-14 | Paper |
Event-B-supported choreography-defined communicating systems
Rigorous State-Based Methods | 2022-10-14 | Paper |
A complete logic for database abstract state machines
Logic Journal of the IGPL | 2022-08-10 | Paper |
A restricted second-order logic for non-deterministic poly-logarithmic time
Logic Journal of the IGPL | 2022-06-16 | Paper |
| Computation on structures. Behavioural theory, logic, complexity | 2022-03-22 | Paper |
A behavioural theory for reflective sequential algorithms
Lecture Notes in Computer Science | 2021-05-26 | Paper |
A behavioural theory of recursive algorithms
Fundamenta Informaticae | 2021-05-20 | Paper |
Proper hierarchies in polylogarithmic time and absence of complete problems
(available as arXiv preprint) | 2020-10-26 | Paper |
| Realisability of choreographies | 2020-10-26 | Paper |
A unifying logic for non-deterministic, parallel and concurrent abstract state machines
Annals of Mathematics and Artificial Intelligence | 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
Theoretical Computer Science | 2016-09-12 | Paper |
Concurrent abstract state machines
Acta Informatica | 2016-08-22 | Paper |
Semantic matching strategies for job recruitment: a comparison of new and known approaches
Lecture Notes in Computer Science | 2016-05-19 | Paper |
A logic for non-deterministic parallel abstract state machines
Lecture Notes in Computer Science | 2016-05-19 | Paper |
A theoretical framework for knowledge-based entity resolution
Theoretical Computer Science | 2014-08-27 | Paper |
Complete conceptual schema algebras
Fundamenta Informaticae | 2013-07-30 | Paper |
Towards an arithmetic theory of consistency enforcement based on preservation of -constraints
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Computable queries for object oriented databases
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Weak functional dependencies on trees with restructuring
Acta Cybernetica | 2012-09-18 | Paper |
Dedication to a theory of modelling. Bernhard Thalheim's scientific journey
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
| Using meta-structures in database design | 2011-12-01 | Paper |
| Cloud warehousing | 2011-07-22 | Paper |
| scientific article; zbMATH DE number 5855088 (Why is no real title available?) | 2011-02-22 | Paper |
| XML database transformations | 2011-02-10 | Paper |
Refinements in Typed Abstract State Machines
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Using abstract state machines for the design of multi-level transaction schedulers
Rigorous Methods for Software Construction and Analysis | 2010-01-28 | Paper |
| A characterisation of coincidence ideals for complex values | 2009-10-28 | Paper |
| Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states | 2009-10-28 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Axiomatizing functional dependencies in the higher-order entity-relationship model
Information Processing Letters | 2009-04-28 | Paper |
| Keys and Armstrong databases in trees with restructuring | 2009-03-19 | Paper |
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Codes that attain minimum distance in every possible direction
Central European Journal of Mathematics | 2008-05-06 | Paper |
Towards a Logic for Abstract MetaFinite State Machines
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Towards Algebraic Query Optimisation for XQuery
Journal on Data Semantics VII | 2007-11-29 | Paper |
| scientific article; zbMATH DE number 5200724 (Why is no real title available?) | 2007-10-15 | Paper |
| Integration of bargaining into e-business systems | 2007-02-05 | Paper |
Journal on Data Semantics IV
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence | 2006-09-12 | Paper |
| Counter-free keys and functional dependencies in higher-order datamodels | 2006-07-26 | Paper |
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 2213336 (Why is no real title available?) | 2006-01-26 | Paper |
Advances in Databases and Information Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
A Theory of Local Set Queries
Logic Journal of the IGPL | 2005-08-03 | Paper |
| scientific article; zbMATH DE number 2162120 (Why is no real title available?) | 2005-04-28 | Paper |
| scientific article; zbMATH DE number 2162207 (Why is no real title available?) | 2005-04-28 | Paper |
| scientific article; zbMATH DE number 2113971 (Why is no real title available?) | 2004-11-05 | Paper |
| scientific article; zbMATH DE number 2080635 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1790375 (Why is no real title available?) | 2004-01-09 | Paper |
| scientific article; zbMATH DE number 1950743 (Why is no real title available?) | 2003-07-20 | Paper |
Integrating database and dialogue design
Knowledge and Information Systems | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1790359 (Why is no real title available?) | 2002-08-28 | Paper |
| scientific article; zbMATH DE number 2020200 (Why is no real title available?) | 2002-01-01 | Paper |
Hybrid concurrency control and recovery for multi-level transactions
Acta Cybernetica | 2001-06-13 | Paper |
| Computability and decidability issues in the theory of consistency enforcement | 2001-05-08 | Paper |
| scientific article; zbMATH DE number 1552575 (Why is no real title available?) | 2001-01-15 | Paper |
| scientific article; zbMATH DE number 1390087 (Why is no real title available?) | 2000-11-26 | Paper |
Towards a theory of consistency enforcement
Acta Informatica | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1304044 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1244311 (Why is no real title available?) | 1999-01-24 | Paper |
Consistency enforcement in Entity-Relationship and object-oriented models
Data & Knowledge Engineering | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 566081 (Why is no real title available?) | 1995-01-12 | Paper |
| scientific article; zbMATH DE number 4049878 (Why is no real title available?) | 1985-01-01 | Paper |
