Access content directly

Diego Figueira

55
Documents

Publications

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⟩
Journal articles hal-02927969v1

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
Journal articles hal-02888536v1
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⟩
Journal articles hal-01679889v1
Image document

Satisfiability of XPath on data trees

Diego Figueira
ACM SIGLOG News, 2018, 5 (2), pp.4-16. ⟨10.1145/3212019.3212021⟩
Journal articles hal-01670363v2
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⟩
Journal articles hal-01631219v1
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⟩
Journal articles hal-01686366v1
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⟩
Journal articles hal-01685180v1
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
Journal articles hal-01778416v1
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⟩
Journal articles hal-01778459v1
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⟩
Journal articles hal-01795115v1
Image document

Decidability of Downward XPath

Diego Figueira
ACM Transactions on Computational Logic, 2012, 13 (4), pp.1-40. ⟨10.1145/2362355.2362362⟩
Journal articles hal-01799714v1
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⟩
Journal articles hal-01799710v1
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⟩
Journal articles hal-01803447v1

A Simple Algorithm for Consistent Query Answering under Primary Keys

Diego Figueira , Anantha Padmanabha , Luc Segoufin , Cristina Sirangelo
International Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece
Conference papers hal-03953588v1
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
Conference papers hal-03353483v2
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
Conference papers hal-03684239v1
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
Conference papers hal-03684553v1
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⟩
Conference papers hal-03349901v3
Image document

Finite Controllability for Ontology-Mediated Query Answering of CRPQ

Diego Figueira , Santiago Figueira , Edwin Pin Baque
International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Conference papers hal-02508782v2
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
Conference papers hal-02505244v1
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⟩
Conference papers hal-02291888v2
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⟩
Conference papers hal-02483495v3
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⟩
Conference papers hal-02109188v3
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⟩
Conference papers hal-01884574v2
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⟩
Conference papers hal-02056388v2
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⟩
Conference papers hal-01721046v2

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⟩
Conference papers hal-01715125v1
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 et al.
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119, ⟨10.4230/LIPIcs.ICALP.2017.119⟩
Conference papers hal-01688742v1
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
Conference papers hal-01686713v1
Image document

Sensitivity of Counting Queries

Myrto Arapinis , Diego Figueira , Marco Gaboardi
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2016, Rome, Italy
Conference papers hal-01713317v1
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
Conference papers hal-01713325v1
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⟩
Conference papers hal-01713329v2
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⟩
Conference papers hal-01778476v1
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⟩
Conference papers hal-01793593v1
Image document

Synchronizing Relations on Words

Diego Figueira , Leonid Libkin
31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France
Conference papers hal-01793633v1
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
Conference papers hal-01793608v1
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⟩
Conference papers hal-01795148v1
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⟩
Conference papers hal-01795130v1
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⟩
Conference papers hal-01799740v1
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
Conference papers hal-01799733v1

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⟩
Conference papers hal-00609871v1
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⟩
Conference papers hal-01803452v1
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⟩
Conference papers hal-01803459v1
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
Conference papers hal-00573596v1
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⟩
Conference papers hal-01806104v1
Image document

Forward-XPath and extended register automata

Diego Figueira
International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩
Conference papers 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
Conference papers 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
Conference papers inria-00423047v1
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
Conference papers hal-02382925v1
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
Conference papers 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
Conference papers inria-00323834v1