Diego Figueira

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 44

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

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

Diego Figueira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Diego Figueira