| Publication | Date of Publication | Type |
|---|
| Preservation theorems for Tarski's relation algebra | 2024-11-12 | Paper |
| Craig interpolation for decidable first-order fragments | 2024-10-30 | Paper |
| Characterising modal formulas with examples | 2024-04-25 | Paper |
| On the non-efficient PAC learnability of conjunctive queries | 2023-10-12 | Paper |
| Local dependence and guarding | 2023-03-24 | Paper |
| Recursive Programs for Document Spanners | 2022-07-21 | Paper |
| Local Dependence and Guarding | 2022-06-13 | Paper |
| Ontology-based data access: a study through disjunctive Datalog, CSP, and MMSNP | 2021-11-25 | Paper |
| Generating plans from proofs | 2021-11-25 | Paper |
| Approximation algorithms for schema-mapping discovery from data examples | 2021-11-25 | Paper |
| SOME MODEL THEORY OF GUARDED NEGATION | 2019-01-04 | Paper |
| Interpolation with decidable fixpoint logics | 2018-04-23 | Paper |
| The complexity of boundedness for guarded logics | 2018-04-23 | Paper |
| Querying visible and invisible information | 2018-04-23 | Paper |
| Effective interpolation and preservation in guarded logics | 2018-04-23 | Paper |
| Declarative probabilistic programming with Datalog | 2017-07-14 | Paper |
| Effective interpolation and preservation in guarded logics | 2017-07-12 | Paper |
| The product homomorphism problem and applications | 2017-06-13 | Paper |
| On the data complexity of consistent query answering | 2016-04-18 | Paper |
| Generating plans from proofs. The interpolation-based approach to query reformulation | 2016-04-08 | Paper |
| Guarded negation | 2016-03-24 | Paper |
| The complexity of query containment in expressive fragments of XPath 2.0 | 2015-11-11 | Paper |
| Learning schema mappings | 2015-09-03 | Paper |
| Schema mappings: a case of logical dynamics in database theory | 2015-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419878 | 2014-06-11 | Paper |
| On the equivalence of distributed systems with queries and communication | 2014-01-20 | Paper |
| Topological perspective on the hybrid proof rules | 2013-12-20 | Paper |
| Beth definability in expressive description logics | 2013-11-28 | Paper |
| Unary negation | 2013-09-26 | Paper |
| Rewriting Guarded Negation Queries | 2013-09-20 | Paper |
| On core xpath with inflationary fixed points | 2013-08-13 | Paper |
| The dynamics of information exchange dialogues | 2013-05-24 | Paper |
| Complete axiomatizations of fragments of monadic second-order logic on finite trees | 2013-01-07 | Paper |
| Some modal aspects of XPath | 2012-07-17 | Paper |
| Unary negation | 2012-01-23 | Paper |
| Characterizing EF over infinite trees and modal logic on transitive graphs | 2011-08-17 | Paper |
| Guarded negation | 2011-07-07 | Paper |
| A note on the expressibility problem for modal logics and star-free regular expressions | 2010-08-16 | Paper |
| Transitive closure logic, nested tree walking automata, and XPath | 2010-07-14 | Paper |
| Complete axiomatizations for XPath fragments | 2010-06-11 | Paper |
| An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees | 2010-04-27 | Paper |
| Craig Interpolation for Linear Temporal Languages | 2009-11-12 | Paper |
| Lindstrom theorems for fragments of first-order logic | 2009-08-20 | Paper |
| Axiomatizing the logical core of XPath 2.0 | 2009-08-06 | Paper |
| Modal languages for topology: expressivity and definability | 2009-06-10 | Paper |
| Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees | 2009-02-24 | Paper |
| Multimodal logics of products of topologies | 2007-01-29 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Expressivity of second order propositional modal logic | 2006-08-14 | Paper |
| Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators | 2006-07-03 | Paper |
| Interpolation for extended modal languages | 2006-02-08 | Paper |
| Hybrid logics with Sahlqvist axioms | 2005-10-18 | Paper |
| Guarded fragments with constants | 2005-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412864 | 2003-07-17 | Paper |
