| Publication | Date of Publication | Type |
|---|
| A Researcher's Digest of GQL (invited talk) | 2024-10-08 | Paper |
| 200 Problems on Languages, Automata, and Computation | 2023-01-30 | Paper |
Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies
Artificial Intelligence | 2023-01-04 | Paper |
Monadic datalog and regular tree pattern queries
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Ontology focusing: knowledge-enriched databases on demand
(available as arXiv preprint) | 2021-07-06 | Paper |
Reasoning about integrity constraints for tree-structured data
Theory of Computing Systems | 2018-07-16 | Paper |
| Reasoning about integrity constraints for tree-structured data | 2017-07-14 | Paper |
Index problems for game automata
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Rabin-Mostowski index problem: a step beyond deterministic automata
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Consistency of injective tree patterns | 2017-04-25 | Paper |
Containment of monadic Datalog programs via bounded clique-width
Automata, Languages, and Programming | 2015-11-04 | Paper |
On the weak index problem for game automata
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
Monadic datalog and regular tree pattern queries
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
XML schema mappings, data exchange and metadata management
Journal of the ACM | 2014-09-12 | Paper |
Solutions in XML data exchange
Journal of Computer and System Sciences | 2014-01-20 | Paper |
| Weak index versus Borel rank | 2013-03-19 | Paper |
Weak index versus Borel rank
(available as arXiv preprint) | 2013-03-19 | Paper |
| The wadge hierarchy of max-regular languages | 2012-10-24 | Paper |
Between tree patterns and conjunctive queries: is there tractability beyond acyclicity?
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
| Definable operations on weakly recognizable sets of trees | 2012-08-31 | Paper |
| On the topological complexity of tree languages | 2011-03-30 | Paper |
Relational and XML Data Exchange
Synthesis Lectures on Data Management | 2010-11-19 | Paper |
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Computer Science Logic | 2009-11-12 | Paper |
The Wadge Hierarchy of Deterministic Tree Languages
Logical Methods in Computer Science | 2009-04-29 | Paper |
On the Topological Complexity of Weakly Recognizable Tree Languages
Fundamentals of Computation Theory | 2008-02-26 | Paper |
The Wadge Hierarchy of Deterministic Tree Languages
Automata, Languages and Programming | 2007-09-11 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
