Diego Figueira

Publications

Article dans une revue (15)

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

Communication dans un congrès (51)

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
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
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
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
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
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
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
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
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
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
Containment of Simple Regular Path Queries Diego Figueira,Adwait Godbole,S. Krishna,Wim Martens,Matthias Niewerthet al. International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece Communication dans un congrès hal-02505244v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Pré-publication, Document de travail (4)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order Diego Figueira,Santiago Figueira 2025 Pré-publication, Document de travail hal-04905311v1
Co-finiteness of VASS coverability languages Diego Figueira 2019 Pré-publication, Document de travail hal-02193089v2
On XPath with Reflexive-Transitive Axes and Data Tests Diego Figueira 2018 Pré-publication, Document de travail hal-01832177v1
Satisfiability for two-variable logic with two successor relations on finite linear orders Diego Figueira 2013 Pré-publication, Document de travail hal-01799745v1