Diego FIGUEIRA
Diego Figueira Chargé de Recherches (CNRS)

Équipe LaBRI : Méthodes formelles
Courrier électronique : diego.figueiraarobaselabri.fr
Bureau : 209
Tél : +33 (0)5 40 00 29 28


Recherche

Logic, Automata, Databases

Extrait de publications


Diego Figueira. Co-finiteness of VASS coverability languages. 2019. ⟨hal-02193089v2⟩

Diego Figueira, Varun Ramanathan, Pascal Weil. The Quantifier Alternation Hierarchy of Synchronous Relations. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. ⟨hal-02109188v2⟩

María Emilia Descotte, Diego Figueira, Santiago Figueira. Closure properties of synchronized relations. International Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2019, Berlin, Germany. ⟨hal-01884574v2⟩

Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨hal-02056388v2⟩

Diego Figueira. Satisfiability of XPath on data trees. ACM SIGLOG News, ACM, 2018, 5 (2), pp.4-16. ⟨http://doi.acm.org/10.1145/3212019.3212021⟩. ⟨10.1145/3212019.3212021⟩. ⟨hal-01670363v2⟩


Page mise à jour le 13/08/2010 à 10:56