Expressive Power and Decidability for Memory Logics. - Carlos Areces; Diego Figueira; Santiago Figueira; Sergio Mera (WoLLIC, 2008)

Which Semantics for Neighbourhood Semantics? - Carlos Areces; Diego Figueira (IJCAI, 2009)

Future-Looking Logics on Data Words and Trees. - Diego Figueira; Luc Segoufin (MFCS, 2009)

Satisfiability of downward XPath with data equality tests. - Diego Figueira (PODS, 2009)

Tableaux and Model Checking for Memory Logics. - Carlos Areces; Diego Figueira; Daniel Gorín; Sergio Mera (TABLEAUX, 2009)

Forward-XPath and extended register automata on data-trees. - Diego Figueira (ICDT, 2010)

Ackermann and Primitive-Recursive Bounds with Dickson's Lemma - Diego Figueira; Santiago Figueira; Sylvain Schmitz; Philippe Schnoebelen (CoRR, 2010)

Relating timed and register automata - Diego Figueira; Piotr Hofman; Slawomir Lasota 001 (EXPRESS, 2010)

Reasoning on words and trees with data. (Raisonnement sur mots et arbres avec données). - Diego Figueira (2010)

A Decidable Two-Way Logic on Data Words. - Diego Figueira (LICS, 2011)

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. - Diego Figueira; Santiago Figueira; Sylvain Schmitz; Philippe Schnoebelen (LICS, 2011)

Efficient evaluation for a temporal logic on changing XML documents. - Mikolaj Bojanczyk; Diego Figueira (PODS, 2011)

The Expressive Power of Memory Logics. - Carlos Areces; Diego Figueira; Santiago Figueira; Sergio Mera (Rev. Symb. Log., 2011)

Decidable classes of documents for XPath. - Vince Bárány; Mikolaj Bojanczyk; Diego Figueira; Pawel Parys (FSTTCS, 2012)

Graph Logics with Rational Relations and the Generalized Intersection Problem. - Pablo Barceló; Diego Figueira; Leonid Libkin (LICS, 2012)

Alternating register automata on finite words and trees - Diego Figueira (Log. Methods Comput. Sci., 2012)

Satisfiability for two-variable logic with two successor relations on finite linear orders - Diego Figueira (CoRR, 2012)

Decidability of Downward XPath. - Diego Figueira (ACM Trans. Comput. Log., 2012)

On XPath with transitive axes and data tests. - Diego Figueira (PODS, 2013)

Graph Logics with Rational Relations - Pablo Barceló; Diego Figueira; Leonid Libkin (Log. Methods Comput. Sci., 2013)

Pattern logics and auxiliary relations. - Diego Figueira; Leonid Libkin (CSL-LICS, 2014)

Basic Model Theory of XPath on Data Trees. - Diego Figueira; Santiago Figueira; Carlos Areces (ICDT, 2014)

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. - Diego Figueira; Leonid Libkin (LICS, 2015)

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. - Diego Figueira; Santiago Figueira; Carlos Areces (J. Artif. Intell. Res., 2015)

Synchronizing Relations on Words. - Diego Figueira; Leonid Libkin (Theory Comput. Syst., 2015)

Sensitivity of Counting Queries. - Myrto Arapinis; Diego Figueira; Marco Gaboardi (ICALP, 2016)

Semantically Acyclic Conjunctive Queries under Functional Dependencies. - Diego Figueira (LICS, 2016)

Reasoning about Data Repetitions with Counter Systems. - Stéphane Demri; Diego Figueira; M. Praveen (Log. Methods Comput. Sci., 2016)

Logics of Repeating Values on Data Trees and Branching Counter Systems. - Sergio Abriola; Diego Figueira; Santiago Figueira (FoSSaCS, 2017)

Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. - Diego Figueira; Ranko Lazic 001; Jérôme Leroux; Filip Mazowiecki; Grégoire Sutre (ICALP, 2017)

Bottom-up automata on data trees and vertical XPath. - Diego Figueira; Luc Segoufin (Log. Methods Comput. Sci., 2017)

Resynchronizing Classes of Word Relations. - María Emilia Descotte; Diego Figueira; Gabriele Puppis (ICALP, 2018)

Playing with Repetitions in Data Words Using Energy Games. - Diego Figueira; M. Praveen (LICS, 2018)

Bisimulations on Data Graphs. - Sergio Abriola; Pablo Barceló; Diego Figueira; Santiago Figueira (J. Artif. Intell. Res., 2018)

Satisfiability of Xpath on data trees. - Diego Figueira (ACM SIGLOG News, 2018)

Boundedness of Conjunctive Regular Path Queries. - Pablo Barceló; Diego Figueira; Miguel Romero 001 (ICALP, 2019)

The Quantifier Alternation Hierarchy of Synchronous Relations. - Diego Figueira; Varun Ramanathan 001; Pascal Weil (MFCS, 2019)

Closure Properties of Synchronized Relations. - María Emilia Descotte; Diego Figueira; Santiago Figueira (STACS, 2019)

Universality Problem for Unambiguous VASS. - Wojciech Czerwinski; Diego Figueira; Piotr Hofman (CONCUR, 2020)

Containment of UC2RPQ: The Hard and Easy Cases. - Diego Figueira (ICDT, 2020)

Finite Controllability for Ontology-Mediated Query Answering of CRPQ. - Diego Figueira; Santiago Figueira; Edwin Pin Baque (KR, 2020)

Containment of Simple Conjunctive Regular Path Queries. - Diego Figueira; Adwait Godbole; S. Krishna 004; Wim Martens; Matthias Niewerth; Tina Trautner (KR, 2020)

Containment of Simple Regular Path Queries. - Diego Figueira; Adwait Godbole; S. Krishna 004; Wim Martens; Matthias Niewerth; Tina Trautner (CoRR, 2020)

Semantic Optimization of Conjunctive Queries. - Pablo Barceló; Diego Figueira; Georg Gottlob; Andreas Pieris (J. ACM, 2020)

Playing with Repetitions in Data Words Using Energy Games. - Diego Figueira; Anirban Majumdar 002; M. Praveen (Log. Methods Comput. Sci., 2020)

Foundations of Graph Path Query Languages - Course Notes for the Reasoning Web Summer School 2021. - Diego Figueira (RW, 2021)

Reasoning on Data Words over Numeric Domains. - Diego Figueira; Anthony Widjaja Lin (LICS, 2022)

Data Path Queries over Embedded Graph Databases. - Diego Figueira; Artur Jez; Anthony W. Lin (PODS, 2022)

When is the Evaluation of Extended CRPQ Tractable? - Diego Figueira; Varun Ramanathan 001 (PODS, 2022)

Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan (ICDT, 2023)

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. - Diego Figueira; Santiago Figueira; Edwin Pin Baque (LICS, 2023)

Separating Automatic Relations. - Pablo Barceló; Diego Figueira; Rémi Morvan (MFCS, 2023)

Conjunctive Regular Path Queries under Injective Semantics. - Diego Figueira; Miguel Romero 001 (PODS, 2023)

Shapley Value Computation in Ontology-Mediated Query Answering. - Meghyn Bienvenu; Diego Figueira; Pierre Lafourcade (KR, 2024)

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. - Diego Figueira; S. Krishna 004; Om Swostik Mishra; Anantha Padmanabha (KR, 2024)

Relational Perspective on Graph Query Languages. - Diego Figueira; Anthony W. Lin; Liat Peterfreund (CoRR, 2024)

When is Shapley Value Computation a Matter of Counting? - Meghyn Bienvenu; Diego Figueira; Pierre Lafourcade (Proc. ACM Manag. Data, 2024)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan (Log. Methods Comput. Sci., 2025)

A Simple Algorithm for Consistent Query Answering under Primary Keys. - Diego Figueira; Anantha Padmanabha; Luc Segoufin; Cristina Sirangelo (Log. Methods Comput. Sci., 2025)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order. - Diego Figueira; Santiago Figueira (CoRR, 2025)

Shapley Revisited: Tractable Responsibility Measures for Query Answers. - Meghyn Bienvenu; Diego Figueira; Pierre Lafourcade (Proc. ACM Manag. Data, 2025)

Minimizing Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan; Miguel Romero 001 (Proc. ACM Manag. Data, 2025)

Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries. - Diego Figueira; Cibele Freire (CoRR, 2025)

Tractable Responsibility Measures for Ontology-Mediated Query Answering. - Meghyn Bienvenu; Diego Figueira; Pierre Lafourcade (CoRR, 2025)