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


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. Satisfiability of XPath on data trees. ACM SIGLOG News, ACM, 2018, 5 (2), pp.4-16

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, Santiago Figueira. Closure properties of synchronized relations. 2018

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