| Publication | Date of Publication | Type |
|---|
| A complete fragment of LTL(EB) | 2024-10-30 | Paper |
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data
Advances in Databases and Information Systems | 2023-06-28 | 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 |
A Logic for Reflective ASMs
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 |
scientific article; zbMATH DE number 7533347 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
| ASM specification and refinement of a quantum algorithm | 2022-03-22 | Paper |
A behavioural theory for reflective sequential algorithms
Lecture Notes in Computer Science | 2021-05-26 | Paper |
Descriptive complexity of deterministic polylogarithmic time and space
Journal of Computer and System Sciences | 2021-04-14 | Paper |
| Polynomially bounded valuations in higher-order logics over relational databases | 2020-11-10 | Paper |
Proper hierarchies in polylogarithmic time and absence of complete problems
(available as arXiv preprint) | 2020-10-26 | Paper |
Descriptive complexity of deterministic polylogarithmic time
(available as arXiv preprint) | 2020-03-04 | Paper |
A unifying logic for non-deterministic, parallel and concurrent abstract state machines
Annals of Mathematics and Artificial Intelligence | 2018-09-21 | Paper |
| On fragments of higher order logics that on finite structures collapse to second order | 2017-12-20 | Paper |
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
Theoretical Computer Science | 2016-09-12 | Paper |
A logic for non-deterministic parallel abstract state machines
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Semantic restrictions over second-order logic
Semantics in Data and Knowledge Bases | 2015-12-08 | Paper |
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF
Logic Journal of the IGPL | 2015-02-27 | Paper |
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences | 2014-04-16 | Paper |
Foundations for a fourth normal form over SQL-like databases
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
The Boyce-Codd-Heath normal form for SQL
Logic, Language, Information and Computation | 2011-05-27 | Paper |
| The complexity of \(\mathit{AUTOSAT}(\Sigma^i_m)\) | 2011-03-30 | Paper |
| Redundant relations in relational databases: a model theoretic perspective | 2011-02-10 | Paper |
On the role of the complementation rule for data dependencies over incomplete relations
Logic, Language, Information and Computation | 2010-09-29 | Paper |
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
