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


Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. 2019

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

Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. Bisimulations on Data Graphs. Journal of Artificial Intelligence Research (JAIR), 2018, 61, pp.171-213. ⟨10.1613/jair.5637⟩. ⟨hal-01679889⟩

Diego Figueira, M. Praveen. Playing with Repetitions in Data Words Using Energy Games. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. 2018

María Emilia Descotte, Diego Figueira, Gabriele Puppis. Resynchronizing Classes of Word Relations. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2018, Prague, Czech Republic. 2018


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