Diego Figueira
55
Documents
Publications
- 10
- 6
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 29
- 29
- 15
- 8
- 7
- 3
- 1
- 1
- 1
- 7
- 6
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 11
- 4
- 1
A Simple Algorithm for Consistent Query Answering under Primary KeysInternational Conference on Database Theory (ICDT), Mar 2023, Ioannina, Greece
Conference papers
hal-03953588v1
|
|
|
When is the Evaluation of Extended CRPQ Tractable?Symposium on Principles of Database Systems (PODS), Jun 2022, Philidelphia, United States
Conference papers
hal-03353483v2
|
|
Reasoning on Data Words over Numeric DomainsAnnual Symposium on Logic in Computer Science (LICS), Aug 2022, Haifa, Israel
Conference papers
hal-03684239v1
|
|
Data Path Queries over Embedded Graph DatabasesSymposium on Principles of Database Systems (PODS), Jun 2022, Philadelphia, United States
Conference papers
hal-03684553v1
|
|
Foundations of Graph Path Query Languages (Course Notes)Reasoning Web Summer School 2021, Sep 2021, Leuven, Belgium. pp.1-21, ⟨10.1007/978-3-030-95481-9\_1⟩
Conference papers
hal-03349901v3
|
|
Finite Controllability for Ontology-Mediated Query Answering of CRPQInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Conference papers
hal-02508782v2
|
|
Containment of Simple Regular Path QueriesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Conference papers
hal-02505244v1
|
|
Containment of UC2RPQ: the hard and easy casesInternational Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩
Conference papers
hal-02291888v2
|
|
Universality Problem for Unambiguous VASSInternational Conference on Concurrency Theory (CONCUR), Sep 2020, Vienna, Austria. pp.36:1-36:15, ⟨10.4230/LIPIcs.CONCUR.2020.36⟩
Conference papers
hal-02483495v3
|
|
The Quantifier Alternation Hierarchy of Synchronous RelationsInternational 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
|
|
Closure properties of synchronized relationsInternational Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2019, Berlin, Germany. ⟨10.4230/LIPIcs.STACS.2019.22⟩
Conference papers
hal-01884574v2
|
|
Boundedness of Conjunctive Regular Path QueriesInternational Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩
Conference papers
hal-02056388v2
|
|
Resynchronizing Classes of Word RelationsInternational 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 GamesAnnual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209154⟩
Conference papers
hal-01715125v1
|
|
|
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension OneInternational Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119, ⟨10.4230/LIPIcs.ICALP.2017.119⟩
Conference papers
hal-01688742v1
|
|
Logics of repeating values on data trees and branching counter systemsInternational Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2017, Uppsala, Sweden
Conference papers
hal-01686713v1
|
|
Sensitivity of Counting QueriesInternational Colloquium on Automata, Languages, and Programming (ICALP), Jul 2016, Rome, Italy
Conference papers
hal-01713317v1
|
|
Bisimulations on Data GraphsInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Apr 2016, Cape Town, South Africa. pp.309-318
Conference papers
hal-01713325v1
|
|
Semantically Acyclic Conjunctive Queries under Functional DependenciesAnnual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2016, New York, United States. ⟨10.1145/2933575.2933580⟩
Conference papers
hal-01713329v2
|
|
Path Logics for Querying Graphs: Combining Expressiveness and EfficiencyAnnual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.39⟩
Conference papers
hal-01778476v1
|
|
Pattern logics and auxiliary relationsCSL-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
|
|
Synchronizing Relations on Words31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France
Conference papers
hal-01793633v1
|
|
Basic Model Theory of XPath on Data Trees17th International Conference on Database Theory (ICDT), Mar 2014, Athens, Greece
Conference papers
hal-01793608v1
|
|
On XPath with transitive axes and data testsACM 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
|
|
Reasoning about Data Repetitions with Counter SystemsAnnual IEEE/ACM Symposium on Logic in Computer Science (LICS), Jun 2013, New Orleans, United States. ⟨10.1109/LICS.2013.8⟩
Conference papers
hal-01795130v1
|
|
Graph Logics with Rational Relations and the Generalized Intersection ProblemAnnual IEEE Symposium on Logic in Computer Science (LICS), Jun 2012, Dubrovnik, Croatia. pp.115-124, ⟨10.1109/LICS.2012.23⟩
Conference papers
hal-01799740v1
|
|
Decidable classes of documents for XPathIARCS 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 Lemma26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. p. 269--278, ⟨10.1109/LICS.2011.39⟩
Conference papers
hal-00609871v1
|
|
|
A Decidable Two-Way Logic on Data WordsAnnual IEEE Symposium on Logic in Computer Science (LICS), Jun 2011, Toronto, United States. ⟨10.1109/LICS.2011.18⟩
Conference papers
hal-01803452v1
|
|
Efficient evaluation for a temporal logic on changing XML documentsACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Jun 2011, Athens, Greece. ⟨10.1145/1989284.1989317⟩
Conference papers
hal-01803459v1
|
|
Bottom-up automata on data trees and vertical XPathSymposium on Theoretical Aspects of Computer Science (STACS), Mar 2011, Dortmund, Germany. pp.93-104
Conference papers
hal-00573596v1
|
|
Relating timed and register automataInternational Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. pp.61-75, ⟨10.4204/EPTCS.41.5⟩
Conference papers
hal-01806104v1
|
|
Forward-XPath and extended register automataInternational Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩
Conference papers
hal-01806093v1
|
Tableaux and Model Checking for Memory Logics18th 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?Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676
Conference papers
inria-00423047v1
|
|
|
Satisfiability of Downward XPath with Data Equality TestsSymposium on Principles of Database Systems (PODS), Jun 2009, Providence (RI), United States
Conference papers
hal-02382925v1
|
|
Future-looking Logics on Data Words and TreesInternational 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 Logics15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom
Conference papers
inria-00323834v1
|
|
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries2022
Preprints, Working Papers, ...
hal-03883042v1
|
|
Co-finiteness of VASS coverability languages2019
Preprints, Working Papers, ...
hal-02193089v2
|
|
On XPath with Reflexive-Transitive Axes and Data Tests2018
Preprints, Working Papers, ...
hal-01832177v1
|
Satisfiability for two-variable logic with two successor relations on finite linear orders2013
Preprints, Working Papers, ...
hal-01799745v1
|