| Publication | Date of Publication | Type |
|---|
| Ranked enumeration of MSO logic on words | 2026-04-16 | Paper |
| Ranked enumeration for MSO on trees via knowledge compilation | 2025-11-11 | Paper |
| On distances between words with parameters | 2024-10-21 | Paper |
Data centric workflows for crowdsourcing
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
scientific article; zbMATH DE number 7561482 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
Bounded repairability for regular tree languages
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Guarded-based disjunctive tuple-generating dependencies
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Analysis of schemas with access restrictions
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Analysis of schemas with access restrictions
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Enumeration on trees under relabelings
(available as arXiv preprint) | 2020-08-06 | Paper |
scientific article; zbMATH DE number 7204563 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-27 | Paper |
| Characterizing definability in decidable fixpoint logics | 2020-05-27 | Paper |
Monadic Datalog, tree validity, and limited access containment
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
scientific article; zbMATH DE number 7104937 (Why is no real title available?)
(available as arXiv preprint) | 2019-09-13 | Paper |
Evaluating Datalog via tree automata and cycluits
Theory of Computing Systems | 2019-09-05 | Paper |
Query answering with transitive and linear-ordered data
Journal of Artificial Intelligence Research | 2018-11-01 | Paper |
Combined tractability of query evaluation via tree automata and cycluits
(available as arXiv preprint) | 2018-07-18 | Paper |
A Step Up in Expressiveness of Decidable Fixpoint Logics
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Querying visible and invisible information
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| A formal study of collaborative access control in distributed Datalog | 2017-07-14 | Paper |
Highly expressive query languages for unordered data trees
Theory of Computing Systems | 2016-04-18 | Paper |
Which XML schemas are streaming bounded repairable?
Theory of Computing Systems | 2016-04-18 | Paper |
Provenance circuits for trees and treelike instances
Automata, Languages, and Programming | 2015-11-04 | Paper |
Towards efficient reasoning under guarded-based disjunctive existential rules
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Monadic Datalog Containment
Automata, Languages, and Programming | 2012-11-01 | Paper |
