Rewriting with Acyclic Queries: Mind your Head
Venue: 25th International Conference on Database Theory (ICDT 2022), virtual conference
Parallel-Correctness for Datalog
Venue: 22nd International Conference on Database Theory (ICDT 2019), Lisbon
Decision Problems for Rational Relations
Venue: Fundamentals of Computation Theory - 21st International Symposium (FCT 2017), Bordeaux
Automaton Models for Infinite Alphabets
Venue: 19th International Conference on Developments in Language Theory (DLT 2015), Liverpool