Walking the Complexity Lines for Generalized Guarded Existential Rules. - Jean-François Baget; Marie-Laure Mugnier; Sebastian Rudolph; Michaël Thomazo (IJCAI, 2011)

Towards Farsighted Dependencies for Existential Rules. - Jean-François Baget; Marie-Laure Mugnier; Michaël Thomazo (RR, 2011)

From EL to Tractable Existential Rules with Complex Role Inclusions. - Michaël Thomazo (Description Logics, 2012)

A Generic Querying Algorithm for Greedy Sets of Existential Rules. - Michaël Thomazo; Jean-François Baget; Marie-Laure Mugnier; Sebastian Rudolph (KR, 2012)

A Sound and Complete Backward Chaining Algorithm for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2012)

On the complexity of entailment in existential conjunctive first-order logic with atomic negation. - Marie-Laure Mugnier; Geneviève Simonet; Michaël Thomazo (Inf. Comput., 2012)

Sound, Complete, and Minimal Query Rewriting for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (IJCAI, 2013)

Compact Rewritings for Existential Rules. - Michaël Thomazo (IJCAI, 2013)

Ontology Based Query Answering with Existential Rules. - Michaël Thomazo (IJCAI, 2013)

On the Exploration of the Query Rewriting Space with Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2013)

Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms. - Michaël Thomazo (2013)

Mixing Materialization and Query Rewriting for Existential Rules. - Michaël Thomazo; Sebastian Rudolph (ECAI, 2014)

An Introduction to Ontology-Based Query Answering with Existential Rules. - Marie-Laure Mugnier; Michaël Thomazo (Reasoning Web, 2014)

Alternating Towers and Piecewise Testable Separators. - Stepan Holub; Tomás Masopust; Michaël Thomazo (CoRR, 2014)

On $k$-piecewise testability (preliminary report). - Tomás Masopust; Michaël Thomazo (CoRR, 2014)

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. - Sebastian Rudolph; Michaël Thomazo; Jean-François Baget; Marie-Laure Mugnier (CoRR, 2014)

What Is a Reasonable Argumentation Semantics? - Sarah Alice Gaggl; Sebastian Rudolph; Michaël Thomazo (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

On the Complexity of k-Piecewise Testability and the Depth of Automata. - Tomás Masopust; Michaël Thomazo (DLT, 2015)

Characterization of the Expressivity of Existential Rule Queries. - Sebastian Rudolph; Michaël Thomazo (IJCAI, 2015)

Sound, complete and minimal UCQ-rewriting for existential rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (Semantic Web, 2015)

Expressivity of Datalog Variants - Completing the Picture. - Sebastian Rudolph; Michaël Thomazo (IJCAI, 2016)

On the Complexity of Universality for Partially Ordered NFAs. - Markus Krötzsch; Tomás Masopust; Michaël Thomazo (MFCS, 2016)

On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules. - Meghyn Bienvenu; Michaël Thomazo (RR, 2016)

Mixed-instance querying: a lightweight integration architecture for data journalism. - Raphaël Bonaque; Tien Duc Cao; Bogdan Cautis; François Goasdoué; Javier Letelier; Ioana Manolescu; Oscar Mendoza; Swen Ribeiro; Xavier Tannier; Michaël Thomazo (Proc. VLDB Endow., 2016)

Answering Conjunctive Regular Path Queries over Guarded Existential Rules. - Jean-François Baget; Meghyn Bienvenu; Marie-Laure Mugnier; Michaël Thomazo (IJCAI, 2017)

Complexity of universality and related problems for partially ordered NFAs. - Markus Krötzsch; Tomás Masopust; Michaël Thomazo (Inf. Comput., 2017)

On Boolean combinations forming piecewise testable languages. - Tomás Masopust; Michaël Thomazo (Theor. Comput. Sci., 2017)

A Single Approach to Decide Chase Termination on Linear Existential Rules. - Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo; Federico Ulliana (Description Logics, 2018)

Reasoning about Disclosure in Data Integration in the Presence of Source Constraints. - Michael Benedikt; Pierre Bourhis; Louis Jachiet; Michaël Thomazo (IJCAI, 2019)

On the height of towers of subsequences and prefixes. - Stepan Holub; Tomás Masopust; Michaël Thomazo (Inf. Comput., 2019)

Answering Counting Queries over DL-Lite Ontologies (Extended Abstract). - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (Description Logics, 2020)

Answering Counting Queries over DL-Lite Ontologies. - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (IJCAI, 2020)

Cardinality Queries over DL-Lite Ontologies (Extended abstract). - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (Description Logics, 2021)

Cardinality Queries over DL-Lite Ontologies. - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (IJCAI, 2021)

Capturing Homomorphism-Closed Decidable Queries with Existential Rules. - Camille Bourgaux; David Carral; Markus Krötzsch; Sebastian Rudolph; Michaël Thomazo (KR, 2021)

Parallelisable Existential Rules: a Story of Pieces. - Maxime Buron; Marie-Laure Mugnier; Michaël Thomazo (KR, 2021)

Complexity Landscape for Counting Queries (Extended Abstract). - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (Description Logics, 2022)

Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract). - Camille Bourgaux; David Carral; Markus Krötzsch; Sebastian Rudolph; Michaël Thomazo (IJCAI, 2022)

Counting Queries over ELHI⊥ Ontologies. - Meghyn Bienvenu; Quentin Manière; Michaël Thomazo (KR, 2022)

Revisiting Semiring Provenance for Datalog. - Camille Bourgaux; Pierre Bourhis; Liat Peterfreund; Michaël Thomazo (KR, 2022)

Normalisations of Existential Rules: Not so Innocuous! - David Carral; Lucas Larroque; Marie-Laure Mugnier; Michaël Thomazo (KR, 2022)

Ontology-Based Query Answering: Expressivity and Extensions. (Interrogation de données au travers d'une ontologie: expressivité et extensions). - Michaël Thomazo (2023)

Compact Query Rewritings for Ontology-Based Query Answering. - Michaël Thomazo (RW, 2023)

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. - David Carral; Lucas Larroque; Michaël Thomazo (KR, 2024)

Restricted Chase Termination: You Want More than Fairness. - David Carral; Lukas Gerlach 002; Lucas Larroque; Michaël Thomazo (Proc. ACM Manag. Data, 2025)

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture. - Lucas Larroque; Piotr Ostropolski-Nalewaja; Michaël Thomazo (Proc. ACM Manag. Data, 2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars. - Camille Bourgaux; Anton Gnatenko; Michaël Thomazo (CoRR, 2025)