| Publication | Date of Publication | Type |
|---|
| Reasoning on data words over numeric domains | 2024-12-06 | Paper |
| Separating automatic relations | 2024-12-03 | Paper |
| Approximation and semantic tree-width of conjunctive regular path queries | 2024-10-08 | Paper |
| A simple algorithm for consistent query answering under primary keys | 2024-10-08 | Paper |
Foundations of graph path query languages. Course notes for the reasoning web summer school 2021
Reasoning Web. Declarative Artificial Intelligence | 2023-08-03 | Paper |
| scientific article; zbMATH DE number 7650987 (Why is no real title available?) | 2023-02-07 | Paper |
Semantic Optimization of Conjunctive Queries
Journal of the ACM | 2022-12-08 | Paper |
scientific article; zbMATH DE number 7561597 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
| The Quantifier Alternation Hierarchy of Synchronous Relations | 2022-07-21 | Paper |
| Closure properties of synchronized relations | 2022-07-18 | Paper |
Universality Problem for Unambiguous VASS
(available as arXiv preprint) | 2022-07-18 | Paper |
| Resynchronizing classes of word relations | 2021-07-28 | Paper |
| Relating timed and register automata | 2021-02-24 | Paper |
Playing with repetitions in data words using energy games
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Playing with repetitions in data words using energy games
Logical Methods in Computer Science | 2020-07-30 | Paper |
| Polynomial-space completeness of reachability for succinct branching VASS in dimension one | 2020-05-27 | Paper |
Path logics for querying graphs: combining expressiveness and efficiency
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Semantically Acyclic Conjunctive Queries under Functional Dependencies
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Pattern logics and auxiliary relations
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Bisimulations on Data Graphs
Journal of Artificial Intelligence Research | 2018-03-07 | Paper |
| scientific article; zbMATH DE number 6820309 (Why is no real title available?) | 2017-12-19 | Paper |
Bottom-up automata on data trees and vertical \(\mathsf{XPath}\)
(available as arXiv preprint) | 2017-12-11 | Paper |
Reasoning about data repetitions with counter systems
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Logics of repeating values on data trees and branching counter systems
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Graph Logics with Rational Relations and the Generalized Intersection Problem
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Relating timed and register automata
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
| Synchronizing relations on words | 2017-03-03 | Paper |
| Decidable classes of documents for XPath | 2017-01-26 | Paper |
Reasoning about data repetitions with counter systems
Logical Methods in Computer Science | 2016-09-08 | Paper |
Synchronizing relations on words
Theory of Computing Systems | 2016-01-28 | Paper |
Decidability of downward XPath
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Model theory of XPath on data trees. I: Bisimulation and characterization
Journal of Artificial Intelligence Research | 2015-08-25 | Paper |
Graph logics with rational relations
Logical Methods in Computer Science | 2013-09-06 | Paper |
Alternating register automata on finite words and trees
Logical Methods in Computer Science | 2012-04-03 | Paper |
| scientific article; zbMATH DE number 5999538 (Why is no real title available?) | 2012-01-23 | Paper |
The expressive power of memory logics
The Review of Symbolic Logic | 2011-10-21 | Paper |
Tableaux and model checking for memory logics
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Future-Looking Logics on Data Words and Trees
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
Expressive Power and Decidability for Memory Logics
Logic, Language, Information and Computation | 2008-07-10 | Paper |
