| 2025 | ECAI | Analysing Temporal Reasoning in Description Logics Using Formal Grammars. | Camille Bourgaux, Anton R. Gnatenko, Michal Thomazo |
| 2024 | KR | Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. | David Carral, Lucas Larroque, Michal Thomazo |
| 2022 | IJCAI | Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2022 | KR | Counting Queries over ELHI⊥ Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2022 | KR | Revisiting Semiring Provenance for Datalog. | Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michal Thomazo |
| 2022 | KR | Normalisations of Existential Rules: Not so Innocuous! | David Carral, Lucas Larroque, Marie-Laure Mugnier, Michal Thomazo |
| 2021 | IJCAI | Cardinality Queries over DL-Lite Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2021 | KR | Capturing Homomorphism-Closed Decidable Queries with Existential Rules. | Camille Bourgaux, David Carral, Markus Krtzsch, Sebastian Rudolph, Michal Thomazo |
| 2021 | KR | Parallelisable Existential Rules: a Story of Pieces. | Maxime Buron, Marie-Laure Mugnier, Michal Thomazo |
| 2020 | IJCAI | Answering Counting Queries over DL-Lite Ontologies. | Meghyn Bienvenu, Quentin Manire, Michal Thomazo |
| 2019 | ICDT | A Single Approach to Decide Chase Termination on Linear Existential Rules. | Michel Leclre, Marie-Laure Mugnier, Michal Thomazo, Federico Ulliana |
| 2019 | IJCAI | Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. | Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michal Thomazo |
| 2017 | IJCAI | Answering Conjunctive Regular Path Queries over Guarded Existential Rules. | Jean-Franois Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michal Thomazo |
| 2016 | IJCAI | Expressivity of Datalog Variants - Completing the Picture. | Sebastian Rudolph, Michal Thomazo |
| 2016 | MFCS | On the Complexity of Universality for Partially Ordered NFAs. | Markus Krtzsch, Toms Masopust, Michal Thomazo |
| 2015 | DLT | On the Complexity of k-Piecewise Testability and the Depth of Automata. | Toms Masopust, Michal Thomazo |
| 2015 | IJCAI | Characterization of the Expressivity of Existential Rule Queries. | Sebastian Rudolph, Michal Thomazo |
| 2014 | ECAI | Mixing Materialization and Query Rewriting for Existential Rules. | Michal Thomazo, Sebastian Rudolph |
| 2013 | IJCAI | Sound, Complete, and Minimal Query Rewriting for Existential Rules. | Mlanie Knig, Michel Leclre, Marie-Laure Mugnier, Michal Thomazo |
| 2013 | IJCAI | Compact Rewritings for Existential Rules. | Michal Thomazo |
| 2013 | IJCAI | Ontology Based Query Answering with Existential Rules. | Michal Thomazo |
| 2012 | KR | A Generic Querying Algorithm for Greedy Sets of Existential Rules. | Michal Thomazo, Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph |
| 2011 | IJCAI | Walking the Complexity Lines for Generalized Guarded Existential Rules. | Jean-Franois Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michal Thomazo |