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


Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. Bisimulations on Data Graphs. Journal of Artificial Intelligence Research (JAIR), 2018, 61, pp.171-213

Diego Figueira. On XPath with Reflexive-Transitive Axes and Data Tests. 2018

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

Diego Figueira. Satisfiability of XPath on data trees. ACM SIGLOG News, ACM, 2018, 5 (2), pp.4-16

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