Diego Figueira

66
Documents

Publications

12
6
6
5
4
4
3
3
3
3
3
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
6
6
5
4
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
2
1
1
1
1
1
1
17
14
4
4
1
1
1
40
32
15
8
7
3
1
1
1

Publications

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries

Diego Figueira , Rémi Morvan
Logical Methods in Computer Science, 2025, 21 (1), ⟨10.46298/lmcs-21(1:21)2025⟩
Article dans une revue hal-04311290 v1

A Simple Algorithm for Consistent Query Answering under Primary Keys

Diego Figueira , Anantha Padmanabha , Luc Segoufin , Cristina Sirangelo
Logical Methods in Computer Science, 2025, 21 (1), ⟨10.46298/lmcs-21(1:18)2025⟩
Article dans une revue hal-04966879 v1

Playing with repetitions in data words using energy games

Diego Figueira , Anirban Majumdar , M. Praveen
Logical Methods in Computer Science, 2020, 16 (3), pp.1
Article dans une revue hal-02888536 v1
Image document

Semantic Optimization of Conjunctive Queries

Pablo Barceló , Diego Figueira , Georg Gottlob , Andreas Pieris
Journal of the ACM (JACM), 2020, 67 (6:34), ⟨10.1145/3424908⟩
Article dans une revue hal-02927969 v1
Image document

Satisfiability of XPath on data trees

Diego Figueira
ACM SIGLOG News, 2018, 5 (2), pp.4-16. ⟨10.1145/3212019.3212021⟩
Article dans une revue hal-01670363 v2
Image document

Bisimulations on Data Graphs

Sergio Abriola , Pablo Barceló , Diego Figueira , Santiago Figueira
Journal of Artificial Intelligence Research, 2018, 61, pp.171-213. ⟨10.1613/jair.5637⟩
Article dans une revue hal-01679889 v1
Image document

Bottom-up automata on data trees and vertical XPath

Diego Figueira , Luc Segoufin
Logical Methods in Computer Science, 2017, 13 (4), ⟨10.23638/LMCS-13(4:5)2017⟩
Article dans une revue hal-01631219 v1
Image document

Reasoning about Data Repetitions with Counter Systems

Stéphane Demri , Diego Figueira , M. Praveen
Logical Methods in Computer Science, 2016, 12 (3), ⟨10.2168/LMCS-12(3:1)2016⟩
Article dans une revue hal-01685180 v1
Image document

Relating timed and register automata

Diego Figueira , Piotr Hofman , Sławomir Lasota
Mathematical Structures in Computer Science, 2016, 26 (06), pp.993-1021. ⟨10.1017/S0960129514000322⟩
Article dans une revue hal-01686366 v1
Image document

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

Diego Figueira , Santiago Figueira , Carlos Areces
Journal of Artificial Intelligence Research, 2015
Article dans une revue hal-01778416 v1
Image document

Synchronizing Relations on Words

Diego Figueira , Leonid Libkin
Theory of Computing Systems, 2015, 57 (2), pp.287 - 318. ⟨10.1007/s00224-014-9584-2⟩
Article dans une revue hal-01778459 v1
Image document

Graph Logics with Rational Relations

Pablo Barceló , Diego Figueira , Leonid Libkin
Logical Methods in Computer Science, 2013, 9 (3), ⟨10.2168/LMCS-9(3:1)2013⟩
Article dans une revue hal-01795115 v1
Image document

Alternating register automata on finite words and trees

Diego Figueira
Logical Methods in Computer Science, 2012, 8 (1), pp.1-44. ⟨10.2168/LMCS-8(1:22)2012⟩
Article dans une revue hal-01799710 v1
Image document

Decidability of Downward XPath

Diego Figueira
ACM Transactions on Computational Logic, 2012, 13 (4), pp.1-40. ⟨10.1145/2362355.2362362⟩
Article dans une revue hal-01799714 v1
Image document

The expressive power of Memory Logics

Carlos Areces , Diego Figueira , Santiago Figueira , Sergio Mera
The review of symbolic logic, 2011, 4 (2), pp.290-318. ⟨10.1017/S1755020310000389⟩
Article dans une revue hal-01803447 v1

Shapley Revisited: Tractable Responsibility Measures for Query Answers

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade
Symposium on Principles of Database Systems (PODS), Jun 2025, Berlin, Germany
Communication dans un congrès hal-05013484 v1

Minimizing Conjunctive Regular Path Queries

Diego Figueira , Rémi Morvan , Miguel Romero
Symposium on Principles of Database Systems (PODS), Jun 2025, Berlin, Germany
Communication dans un congrès hal-05016727 v1

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions

Diego Figueira , S. Krishna , Om Swostik Mishra , Anantha Padmanabha
International Conference on Principles of Knowledge Representation and Reasoning (KR), Nov 2024, Hanoi, Vietnam
Communication dans un congrès hal-04687799 v1

When is Shapley Value Computation a Matter of Counting?

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade
Symposium on Principles of Database Systems (PODS), Jun 2024, Santiago (CL), Chile. pp.105, ⟨10.1145/3651606⟩
Communication dans un congrès hal-04375905 v1

Shapley Value Computation in Ontology-Mediated Query Answering

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade
International Conference on Principles of Knowledge Representation and Reasoning (KR), Nov 2024, Hanoi, Vietnam
Communication dans un congrès hal-04687780 v1

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Diego Figueira , Santiago Figueira , Edwin Pin
Annual Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States
Communication dans un congrès hal-04076661 v1

Separating Automatic Relations

Pablo Barceló , Diego Figueira , Rémi Morvan
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2023, Bordeaux, France
Communication dans un congrès hal-04099907 v1

Conjunctive Regular Path Queries under Injective Semantics

Diego Figueira , Miguel Romero
Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle, United States. ⟨10.1145/3584372.3588664⟩
Communication dans un congrès hal-04070990 v1
Image document

Approximation and Semantic Tree-width of Conjunctive Regular Path Queries

Diego Figueira , Rémi Morvan
International Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece. pp.15:1--15:19, ⟨10.4230/LIPIcs.ICDT.2023.15⟩
Communication dans un congrès hal-03883042 v1

A Simple Algorithm for Consistent Query Answering under Primary Keys

Diego Figueira , Anantha Padmanabha , Luc Segoufin , Cristina Sirangelo
ICDT 2023 - International Conference on Database Theory, Mar 2023, Ioannina, Greece
Communication dans un congrès hal-03953588 v1
Image document

Data Path Queries over Embedded Graph Databases

Diego Figueira , Artur Jeż , Anthony W Lin
Symposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States
Communication dans un congrès hal-03684553 v1
Image document

When is the Evaluation of Extended CRPQ Tractable?

Diego Figueira , Varun Ramanathan
Symposium on Principles of Database Systems (PODS), Jun 2022, Philidelphia, United States
Communication dans un congrès hal-03353483 v2
Image document

Reasoning on Data Words over Numeric Domains

Diego Figueira , Anthony Lin
Annual Symposium on Logic in Computer Science (LICS), Aug 2022, Haifa, Israel
Communication dans un congrès hal-03684239 v1
Image document

Foundations of Graph Path Query Languages (Course Notes)

Diego Figueira
Reasoning Web Summer School 2021, Sep 2021, Leuven, Belgium. pp.1-21, ⟨10.1007/978-3-030-95481-9\_1⟩
Communication dans un congrès hal-03349901 v3
Image document

Containment of UC2RPQ: the hard and easy cases

Diego Figueira
International Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩
Communication dans un congrès hal-02291888 v2
Image document

Universality Problem for Unambiguous VASS

Wojciech Czerwiński , Diego Figueira , Piotr Hofman
International Conference on Concurrency Theory (CONCUR), Sep 2020, Vienna, Austria. pp.36:1-36:15, ⟨10.4230/LIPIcs.CONCUR.2020.36⟩
Communication dans un congrès hal-02483495 v3
Image document

Containment of Simple Regular Path Queries

Diego Figueira , Adwait Godbole , S. Krishna , Wim Martens , Matthias Niewerth et al.
International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès hal-02505244 v1
Image document

Finite Controllability for Ontology-Mediated Query Answering of CRPQ

Diego Figueira , Santiago Figueira , Edwin Pin
International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès hal-02508782 v2
Image document

The Quantifier Alternation Hierarchy of Synchronous Relations

Diego Figueira , Varun Ramanathan , Pascal Weil
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. pp.29:1-29:14, ⟨10.4230/LIPIcs.MFCS.2019.29⟩
Communication dans un congrès hal-02109188 v3
Image document

Closure properties of synchronized relations

María Emilia Descotte , Diego Figueira , Santiago Figueira
International Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2019, Berlin, Germany. ⟨10.4230/LIPIcs.STACS.2019.22⟩
Communication dans un congrès hal-01884574 v2
Image document

Boundedness of Conjunctive Regular Path Queries

Pablo Barceló , Diego Figueira , Miguel Romero
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩
Communication dans un congrès hal-02056388 v2

Playing with Repetitions in Data Words Using Energy Games

Diego Figueira , M. Praveen
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209154⟩
Communication dans un congrès hal-01715125 v1
Image document

Resynchronizing Classes of Word Relations

María Emilia Descotte , Diego Figueira , Gabriele Puppis
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.123⟩
Communication dans un congrès hal-01721046 v2
Image document

Logics of repeating values on data trees and branching counter systems

Sergio Abriola , Diego Figueira , Santiago Figueira
International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2017, Uppsala, Sweden
Communication dans un congrès hal-01686713 v1
Image document

Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One

Diego Figueira , Ranko Lazić , Jérôme Leroux , Filip Mazowiecki , Grégoire Sutre
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119, ⟨10.4230/LIPIcs.ICALP.2017.119⟩
Communication dans un congrès hal-01688742 v1
Image document

Bisimulations on Data Graphs

Sergio Abriola , Pablo Barceló , Diego Figueira , Santiago Figueira
International Conference on Principles of Knowledge Representation and Reasoning (KR), Apr 2016, Cape Town, South Africa. pp.309-318
Communication dans un congrès hal-01713325 v1
Image document

Sensitivity of Counting Queries

Myrto Arapinis , Diego Figueira , Marco Gaboardi
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2016, Rome, Italy
Communication dans un congrès hal-01713317 v1
Image document

Semantically Acyclic Conjunctive Queries under Functional Dependencies

Diego Figueira
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2016, New York, United States. ⟨10.1145/2933575.2933580⟩
Communication dans un congrès hal-01713329 v2
Image document

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency

Diego Figueira , Leonid Libkin
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.39⟩
Communication dans un congrès hal-01778476 v1
Image document

Basic Model Theory of XPath on Data Trees

Diego Figueira , Santiago Figueira , Carlos Areces
17th International Conference on Database Theory (ICDT), Mar 2014, Athens, Greece
Communication dans un congrès hal-01793608 v1
Image document

Synchronizing Relations on Words

Diego Figueira , Leonid Libkin
31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France
Communication dans un congrès hal-01793633 v1
Image document

Pattern logics and auxiliary relations

Diego Figueira , Leonid Libkin
CSL-LICS'14, joint EACSL Annual Conference on Computer Science Logic (CSL) and Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603136⟩
Communication dans un congrès hal-01793593 v1
Image document

On XPath with transitive axes and data tests

Diego Figueira
ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Jun 2013, New York, NY, United States. ⟨10.1145/2463664.2463675⟩
Communication dans un congrès hal-01795148 v1
Image document

Reasoning about Data Repetitions with Counter Systems

Stéphane Demri , Diego Figueira , M. Praveen
Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), Jun 2013, New Orleans, United States. ⟨10.1109/LICS.2013.8⟩
Communication dans un congrès hal-01795130 v1
Image document

Graph Logics with Rational Relations and the Generalized Intersection Problem

Pablo Barceló , Diego Figueira , Leonid Libkin
Annual IEEE Symposium on Logic in Computer Science (LICS), Jun 2012, Dubrovnik, Croatia. pp.115-124, ⟨10.1109/LICS.2012.23⟩
Communication dans un congrès hal-01799740 v1
Image document

Decidable classes of documents for XPath

Vince Bárány , Mikołaj Bojańczyk , Diego Figueira , Paweł Parys
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2012, Hyderabad, India. pp.99-111
Communication dans un congrès hal-01799733 v1
Image document

Bottom-up automata on data trees and vertical XPath

Diego Figueira , Luc Segoufin
Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2011, Dortmund, Germany. pp.93-104
Communication dans un congrès hal-00573596 v1
Image document

Efficient evaluation for a temporal logic on changing XML documents

Mikołaj Bojańczyk , Diego Figueira
ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Jun 2011, Athens, Greece. ⟨10.1145/1989284.1989317⟩
Communication dans un congrès hal-01803459 v1

Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Diego Figueira , Santiago Figueira , Sylvain Schmitz , Philippe Schnoebelen
26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. p. 269--278, ⟨10.1109/LICS.2011.39⟩
Communication dans un congrès hal-00609871 v1
Image document

A Decidable Two-Way Logic on Data Words

Diego Figueira
Annual IEEE Symposium on Logic in Computer Science (LICS), Jun 2011, Toronto, United States. ⟨10.1109/LICS.2011.18⟩
Communication dans un congrès hal-01803452 v1
Image document

Forward-XPath and extended register automata

Diego Figueira
International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩
Communication dans un congrès hal-01806093 v1
Image document

Relating timed and register automata

Diego Figueira , Piotr Hofman , Sławomir Lasota
International Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. pp.61-75, ⟨10.4204/EPTCS.41.5⟩
Communication dans un congrès hal-01806104 v1

Which Semantics for Neighbourhood Semantics?

Carlos Areces , Diego Figueira
Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676
Communication dans un congrès inria-00423047 v1

Tableaux and Model Checking for Memory Logics

Carlos Areces , Diego Figueira , Daniel Gorin , Sergio Mera
18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2009, Jul 2009, Oslo, Norway. pp.47--61
Communication dans un congrès inria-00423049 v1
Image document

Future-looking Logics on Data Words and Trees

Diego Figueira , Luc Segoufin
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2009, Novy Smokovec, Slovakia. pp.331-343
Communication dans un congrès hal-01806188 v1
Image document

Satisfiability of Downward XPath with Data Equality Tests

Diego Figueira
Symposium on Principles of Database Systems (PODS), Jun 2009, Providence (RI), United States
Communication dans un congrès hal-02382925 v1

Expressive Power and Decidability for Memory Logics

Carlos Areces , Diego Figueira , Santiago Figueira , Sergio Mera
15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom
Communication dans un congrès inria-00323834 v1