| 2026 | ICDT | Responsibility Measures for Conjunctive Queries with Negation. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2026 | ICDT | Complexity of Evaluating GQL Queries. | Diego Figueira, Anthony W. Lin, Liat Peterfreund |
| 2026 | KR | How Hard is it to Decide if a Fact is Relevant to a Query? | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2026 | LICS | Guarded Negation Transitive Closure Logic. | Diego Figueira, Santiago Figueira, Yoshiki Nakamura |
| 2025 | IJCAI | Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract). | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2025 | KR | Tractable Responsibility Measures for Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2024 | KR | Shapley Value Computation in Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2024 | KR | Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. | Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha |
| 2023 | ICDT | Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. | Diego Figueira, Rmi Morvan |
| 2023 | ICDT | A Simple Algorithm for Consistent Query Answering Under Primary Keys. | Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo |
| 2023 | LICS | PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2023 | MFCS | Separating Automatic Relations. | Pablo Barcel, Diego Figueira, Rmi Morvan |
| 2023 | PODS | Conjunctive Regular Path Queries under Injective Semantics. | Diego Figueira, Miguel Romero |
| 2022 | LICS | Reasoning on Data Words over Numeric Domains. | Diego Figueira, Anthony Widjaja Lin |
| 2022 | PODS | Data Path Queries over Embedded Graph Databases. | Diego Figueira, Artur Jez, Anthony W. Lin |
| 2022 | PODS | When is the Evaluation of Extended CRPQ Tractable? | Diego Figueira, Varun Ramanathan |
| 2020 | CONCUR | Universality Problem for Unambiguous VASS. | Wojciech Czerwinski, Diego Figueira, Piotr Hofman |
| 2020 | ICDT | Containment of UC2RPQ: The Hard and Easy Cases. | Diego Figueira |
| 2020 | KR | Finite Controllability for Ontology-Mediated Query Answering of CRPQ. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2020 | KR | Containment of Simple Conjunctive Regular Path Queries. | Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner |
| 2019 | ICALP | Boundedness of Conjunctive Regular Path Queries. | Pablo Barcel, Diego Figueira, Miguel Romero |
| 2019 | MFCS | The Quantifier Alternation Hierarchy of Synchronous Relations. | Diego Figueira, Varun Ramanathan, Pascal Weil |
| 2019 | STACS | Closure Properties of Synchronized Relations. | Mara Emilia Descotte, Diego Figueira, Santiago Figueira |
| 2018 | ICALP | Resynchronizing Classes of Word Relations. | Mara Emilia Descotte, Diego Figueira, Gabriele Puppis |
| 2018 | LICS | Playing with Repetitions in Data Words Using Energy Games. | Diego Figueira, M. Praveen |
| 2017 | FOSSACS | Logics of Repeating Values on Data Trees and Branching Counter Systems. | Sergio Abriola, Diego Figueira, Santiago Figueira |
| 2017 | ICALP | Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. | Diego Figueira, Ranko Lazic, Jrme Leroux, Filip Mazowiecki, Grgoire Sutre |
| 2016 | ICALP | Sensitivity of Counting Queries. | Myrto Arapinis, Diego Figueira, Marco Gaboardi |
| 2016 | KR | Bisimulations on Data Graphs. | Sergio Abriola, Pablo Barcel, Diego Figueira, Santiago Figueira |
| 2016 | LICS | Semantically Acyclic Conjunctive Queries under Functional Dependencies. | Diego Figueira |
| 2015 | LICS | Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. | Diego Figueira, Leonid Libkin |
| 2014 | CSL | Pattern logics and auxiliary relations. | Diego Figueira, Leonid Libkin |
| 2014 | ICDT | Basic Model Theory of XPath on Data Trees. | Diego Figueira, Santiago Figueira, Carlos Areces |
| 2014 | STACS | Synchronizing Relations on Words. | Diego Figueira, Leonid Libkin |
| 2013 | LICS | Reasoning about Data Repetitions with Counter Systems. | Stphane Demri, Diego Figueira, M. Praveen |
| 2013 | PODS | On XPath with transitive axes and data tests. | Diego Figueira |
| 2012 | LICS | Graph Logics with Rational Relations and the Generalized Intersection Problem. | Pablo Barcel, Diego Figueira, Leonid Libkin |
| 2011 | LICS | A Decidable Two-Way Logic on Data Words. | Diego Figueira |
| 2011 | LICS | Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
| 2011 | PODS | Efficient evaluation for a temporal logic on changing XML documents. | Mikolaj Bojanczyk, Diego Figueira |
| 2011 | STACS | Bottom-up automata on data trees and vertical XPath. | Diego Figueira, Luc Segoufin |
| 2010 | ICDT | Forward-XPath and extended register automata on data-trees. | Diego Figueira |
| 2009 | IJCAI | Which Semantics for Neighbourhood Semantics? | Carlos Areces, Diego Figueira |
| 2009 | MFCS | Future-Looking Logics on Data Words and Trees. | Diego Figueira, Luc Segoufin |
| 2009 | PODS | Satisfiability of downward XPath with data equality tests. | Diego Figueira |
| 2009 | TABLEAUX | Tableaux and Model Checking for Memory Logics. | Carlos Areces, Diego Figueira, Daniel Gorn, Sergio Mera |
| 2008 | WoLLIC | Expressive Power and Decidability for Memory Logics. | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |