Diego Figueira

90 papers A* 27A 10B 6C 1Journal 40Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A conf
Complexity of Evaluating GQL Queries.
ICDT
Diego Figueira, Anthony W. Lin, Liat Peterfreund
2026 A conf
Responsibility Measures for Conjunctive Queries with Negation.
ICDT
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2026 J jnl
Responsibility Measures for Conjunctive Queries with Negation.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 J jnl
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order.
CoRR
Diego Figueira, Santiago Figueira
2025 J jnl
A Simple Algorithm for Consistent Query Answering under Primary Keys.
Log. Methods Comput. Sci.
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2025 J jnl
Minimizing Conjunctive Regular Path Queries.
CoRR
Diego Figueira, Rémi Morvan, Miguel Romero
2025 J jnl
Minimizing Conjunctive Regular Path Queries.
Proc. ACM Manag. Data
Diego Figueira, Rémi Morvan, Miguel Romero
2025 J jnl
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries.
CoRR
Diego Figueira, Cibele Freire
2025 J jnl
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries.
Log. Methods Comput. Sci.
Diego Figueira, Rémi Morvan
2025 J jnl
Shapley Revisited: Tractable Responsibility Measures for Query Answers.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 J jnl
Shapley Revisited: Tractable Responsibility Measures for Query Answers.
Proc. ACM Manag. Data
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 A* conf
Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract).
IJCAI
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 — conf
Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract).
DL
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 A* conf
Tractable Responsibility Measures for Ontology-Mediated Query Answering.
KR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2025 J jnl
Tractable Responsibility Measures for Ontology-Mediated Query Answering.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 A* conf
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
KR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2024 J jnl
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
CoRR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2024 J jnl
Relational Perspective on Graph Query Languages.
CoRR
Diego Figueira, Anthony W. Lin, Liat Peterfreund
2024 A* conf
Shapley Value Computation in Ontology-Mediated Query Answering.
KR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 J jnl
Shapley Value Computation in Ontology-Mediated Query Answering.
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2024 J jnl
When is Shapley Value Computation a Matter of Counting?
Proc. ACM Manag. Data
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2023 A conf
A Simple Algorithm for Consistent Query Answering Under Primary Keys.
ICDT
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2023 J jnl
A Simple Algorithm for Consistent Query Answering under Primary Keys.
CoRR
Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo
2023 A conf
Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries.
ICDT
Diego Figueira, Rémi Morvan
2023 A* conf
Conjunctive Regular Path Queries under Injective Semantics.
PODS
Diego Figueira, Miguel Romero
2023 J jnl
Conjunctive Regular Path Queries under Injective Semantics.
CoRR
Diego Figueira, Miguel Romero
2023 A* conf
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.
LICS
Diego Figueira, Santiago Figueira, Edwin Pin Baque
2023 J jnl
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse.
CoRR
Diego Figueira, Santiago Figueira, Edwin Pin Baque
2023 B conf
Separating Automatic Relations.
MFCS
Pablo Barceló, Diego Figueira, Rémi Morvan
2023 J jnl
Separating Automatic Relations.
CoRR
Pablo Barceló, Diego Figueira, Rémi Morvan
2023 J jnl
When is Shapley Value Computation a Matter of Counting?
CoRR
Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
2022 J jnl
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries.
CoRR
Diego Figueira, Rémi Morvan
2022 A* conf
Data Path Queries over Embedded Graph Databases.
PODS
Diego Figueira, Artur Jez, Anthony W. Lin
2022 A* conf
Reasoning on Data Words over Numeric Domains.
LICS
Diego Figueira, Anthony Widjaja Lin
2022 A* conf
When is the Evaluation of Extended CRPQ Tractable?
PODS
Diego Figueira, Varun Ramanathan
2021 — conf
Foundations of Graph Path Query Languages - Course Notes for the Reasoning Web Summer School 2021.
RW
Diego Figueira
2020 A* conf
Containment of Simple Conjunctive Regular Path Queries.
KR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 J jnl
Containment of Simple Regular Path Queries.
CoRR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 A conf
Containment of UC2RPQ: The Hard and Easy Cases.
ICDT
Diego Figueira
2020 A* conf
Finite Controllability for Ontology-Mediated Query Answering of CRPQ.
KR
Diego Figueira, Santiago Figueira, Edwin Pin Baque
2020 J jnl
Playing with Repetitions in Data Words Using Energy Games.
Log. Methods Comput. Sci.
Diego Figueira, Anirban Majumdar, M. Praveen
2020 J jnl
Semantic Optimization of Conjunctive Queries.
J. ACM
Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris
2020 B conf
Universality Problem for Unambiguous VASS.
CONCUR
Wojciech Czerwinski, Diego Figueira, Piotr Hofman
2020 J jnl
Universality Problem for Unambiguous VASS.
CoRR
Wojciech Czerwinski, Diego Figueira, Piotr Hofman
2019 A* conf
Boundedness of Conjunctive Regular Path Queries.
ICALP
Pablo Barceló, Diego Figueira, Miguel Romero
2019 J jnl
Boundedness of Conjunctive Regular Path Queries.
CoRR
Pablo Barceló, Diego Figueira, Miguel Romero
2019 A conf
Closure Properties of Synchronized Relations.
STACS
María Emilia Descotte, Diego Figueira, Santiago Figueira
2019 B conf
The Quantifier Alternation Hierarchy of Synchronous Relations.
MFCS
Diego Figueira, Varun Ramanathan, Pascal Weil
2018 J jnl
Bisimulations on Data Graphs.
J. Artif. Intell. Res.
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2018 A* conf
Playing with Repetitions in Data Words Using Energy Games.
LICS
Diego Figueira, M. Praveen
2018 J jnl
Playing with Repetitions in Data Words Using Energy Games.
CoRR
Diego Figueira, M. Praveen
2018 A* conf
Resynchronizing Classes of Word Relations.
ICALP
María Emilia Descotte, Diego Figueira, Gabriele Puppis
2018 J jnl
Satisfiability of Xpath on data trees.
ACM SIGLOG News
Diego Figueira
2017 J jnl
Bottom-up automata on data trees and vertical XPath.
CoRR
Diego Figueira, Luc Segoufin
2017 J jnl
Bottom-up automata on data trees and vertical XPath.
Log. Methods Comput. Sci.
Diego Figueira, Luc Segoufin
2017 B conf
Logics of Repeating Values on Data Trees and Branching Counter Systems.
FoSSaCS
Sergio Abriola, Diego Figueira, Santiago Figueira
2017 A* conf
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One.
ICALP
Diego Figueira, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre
2016 A* conf
Bisimulations on Data Graphs.
KR
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2016 J jnl
Reasoning about Data Repetitions with Counter Systems.
Log. Methods Comput. Sci.
Stéphane Demri, Diego Figueira, M. Praveen
2016 J jnl
Relating timed and register automata.
Math. Struct. Comput. Sci.
Diego Figueira, Piotr Hofman, Slawomir Lasota
2016 A* conf
Semantically Acyclic Conjunctive Queries under Functional Dependencies.
LICS
Diego Figueira
2016 A* conf
Sensitivity of Counting Queries.
ICALP
Myrto Arapinis, Diego Figueira, Marco Gaboardi
2015 J jnl
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization.
J. Artif. Intell. Res.
Diego Figueira, Santiago Figueira, Carlos Areces
2015 A* conf
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency.
LICS
Diego Figueira, Leonid Libkin
2015 J jnl
Synchronizing Relations on Words.
Theory Comput. Syst.
Diego Figueira, Leonid Libkin
2014 A conf
Basic Model Theory of XPath on Data Trees.
ICDT
Diego Figueira, Santiago Figueira, Carlos Areces
2014 — conf
Pattern logics and auxiliary relations.
CSL-LICS
Diego Figueira, Leonid Libkin
2014 A conf
Synchronizing Relations on Words.
STACS
Diego Figueira, Leonid Libkin
2013 J jnl
Graph Logics with Rational Relations
Log. Methods Comput. Sci.
Pablo Barceló, Diego Figueira, Leonid Libkin
2013 A* conf
On XPath with transitive axes and data tests.
PODS
Diego Figueira
2013 A* conf
Reasoning about Data Repetitions with Counter Systems.
LICS
Stéphane Demri, Diego Figueira, M. Praveen
2012 J jnl
Alternating register automata on finite words and trees
Log. Methods Comput. Sci.
Diego Figueira
2012 J jnl
Decidability of Downward XPath.
ACM Trans. Comput. Log.
Diego Figueira
2012 — conf
Decidable classes of documents for XPath.
FSTTCS
Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys
2012 A* conf
Graph Logics with Rational Relations and the Generalized Intersection Problem.
LICS
Pablo Barceló, Diego Figueira, Leonid Libkin
2012 J jnl
Satisfiability for two-variable logic with two successor relations on finite linear orders
CoRR
Diego Figueira
2011 A* conf
A Decidable Two-Way Logic on Data Words.
LICS
Diego Figueira
2011 A* conf
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma.
LICS
Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
2011 A conf
Bottom-up automata on data trees and vertical XPath.
STACS
Diego Figueira, Luc Segoufin
2011 A* conf
Efficient evaluation for a temporal logic on changing XML documents.
PODS
Mikolaj Bojanczyk, Diego Figueira
2011 J jnl
The Expressive Power of Memory Logics.
Rev. Symb. Log.
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2010 J jnl
Ackermann and Primitive-Recursive Bounds with Dickson's Lemma
CoRR
Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
2010 A conf
Forward-XPath and extended register automata on data-trees.
ICDT
Diego Figueira
2010 — —
Reasoning on words and trees with data. (Raisonnement sur mots et arbres avec données).
Diego Figueira
2010 — conf
Relating timed and register automata
EXPRESS
Diego Figueira, Piotr Hofman, Slawomir Lasota
2009 B conf
Future-Looking Logics on Data Words and Trees.
MFCS
Diego Figueira, Luc Segoufin
2009 A* conf
Satisfiability of downward XPath with data equality tests.
PODS
Diego Figueira
2009 B conf
Tableaux and Model Checking for Memory Logics.
TABLEAUX
Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
2009 A* conf
Which Semantics for Neighbourhood Semantics?
IJCAI
Carlos Areces, Diego Figueira
2008 C conf
Expressive Power and Decidability for Memory Logics.
WoLLIC
Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera