Diego Figueira

70
Documents

Publications

12
6
6
6
5
4
4
3
3
3
3
3
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
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
8
4
2
2
1
1
44
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-04311290v1

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-04966879v1

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-02888536v1
Deposit thumbnail

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-02927969v1
Deposit thumbnail

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-01670363v2
Deposit thumbnail

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-01679889v1
Deposit thumbnail

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-01631219v1
Deposit thumbnail

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-01685180v1
Deposit thumbnail

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-01686366v1
Deposit thumbnail

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-01778459v1
Deposit thumbnail

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-01778416v1
Deposit thumbnail

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-01795115v1
Deposit thumbnail

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-01799710v1
Deposit thumbnail

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-01799714v1
Deposit thumbnail

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-01803447v1

Responsibility Measures for Conjunctive Queries with Negation

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

International Conference on Database Theory (ICDT), Mar 2026, Tampere, Finland. ⟨10.4230/LIPIcs.ICDT.2026.20⟩

Communication dans un congrès hal-05462912v1

Complexity of Evaluating GQL Queries

Diego Figueira , Anthony Lin , Liat Peterfreund

International Conference on Database Theory (ICDT), Mar 2026, Tampere, Finland. ⟨10.4230/LIPIcs.ICDT.2026.13⟩

Communication dans un congrès hal-05462926v1

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-05016727v1

Tractable Responsibility Measures for Ontology-Mediated Query Answering

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

International Conference on Principles of Knowledge Representation and Reasoning (KR), Nov 2025, Melbourne, Australia

Communication dans un congrès hal-05218166v1

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-05013484v1
Deposit thumbnail

Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)

Meghyn Bienvenu , Diego Figueira , Pierre Lafourcade

Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI), Aug 2025, Montreal, Canada. pp.10875-10880, ⟨10.24963/IJCAI.2025/1208⟩

Communication dans un congrès hal-05363650v1

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-04687799v1

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-04687780v1

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-04375905v1

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-04070990v1

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-04099907v1

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-04076661v1

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-03953588v1
Deposit thumbnail

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-03883042v1
Deposit thumbnail

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-03684553v1
Deposit thumbnail

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-03353483v2
Deposit thumbnail

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-03684239v1
Deposit thumbnail

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-03349901v3
Deposit thumbnail

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-02483495v3
Deposit thumbnail

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-02291888v2
Deposit thumbnail

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-02508782v2
Deposit thumbnail

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-02505244v1
Deposit thumbnail

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-01884574v2
Deposit thumbnail

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-02109188v3
Deposit thumbnail

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-02056388v2

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-01715125v1
Deposit thumbnail

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-01721046v2
Deposit thumbnail

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-01686713v1
Deposit thumbnail

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-01688742v1
Deposit thumbnail

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-01713325v1
Deposit thumbnail

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-01713317v1
Deposit thumbnail

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-01713329v2
Deposit thumbnail

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-01778476v1
Deposit thumbnail

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-01793608v1
Deposit thumbnail

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-01793593v1
Deposit thumbnail

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-01793633v1
Deposit thumbnail

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-01795148v1
Deposit thumbnail

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-01795130v1
Deposit thumbnail

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-01799740v1
Deposit thumbnail

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-01799733v1
Deposit thumbnail

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-01803459v1
Deposit thumbnail

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-00573596v1
Deposit thumbnail

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-01803452v1

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-00609871v1
Deposit thumbnail

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-01806104v1
Deposit thumbnail

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-01806093v1

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-00423049v1

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-00423047v1
Deposit thumbnail

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-02382925v1
Deposit thumbnail

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-01806188v1

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-00323834v1