Diego Figueira
14
Documents
Publications
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 14
- 1
- 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
- 14
- 6
- 3
Playing with repetitions in data words using energy gamesLogical Methods in Computer Science, 2020, 16 (3), pp.1
Article dans une revue
hal-02888536v1
|
|
|
Semantic Optimization of Conjunctive QueriesJournal of the ACM (JACM), 2020, 67 (6:34), ⟨10.1145/3424908⟩
Article dans une revue
hal-02927969v1
|
|
Bisimulations on Data GraphsJournal of Artificial Intelligence Research, 2018, 61, pp.171-213. ⟨10.1613/jair.5637⟩
Article dans une revue
hal-01679889v1
|
|
Satisfiability of XPath on data treesACM SIGLOG News, 2018, 5 (2), pp.4-16. ⟨10.1145/3212019.3212021⟩
Article dans une revue
hal-01670363v2
|
|
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⟩
Communication dans un congrès
hal-03349901v3
|
|
Containment of Simple Regular Path QueriesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-02505244v1
|
|
Finite Controllability for Ontology-Mediated Query Answering of CRPQInternational Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-02508782v2
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01721046v2
|
|
Co-finiteness of VASS coverability languages2019
Pré-publication, Document de travail
hal-02193089v2
|