Accéder directement au contenu

Diego Figueira

14
Documents

Publications

42093

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
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⟩
Article dans une revue hal-02927969v1
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⟩
Article dans une revue 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⟩
Article dans une revue hal-01670363v2
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⟩
Communication dans un congrès hal-03349901v3
Image document

Containment of Simple Regular Path Queries

Diego Figueira , Adwait Godbole , S. Krishna , Wim Martens , Matthias Niewerth
International Conference on Principles of Knowledge Representation and Reasoning (KR), Sep 2020, Rhodes, Greece
Communication dans un congrès hal-02505244v1
Image document

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
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⟩
Communication dans un congrès hal-02483495v3
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⟩
Communication dans un congrès hal-02291888v2
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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès hal-01721046v2