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), A Paraître, 61, pp.171-213

Diego Figueira, M. Praveen. Playing with Repetitions in Data Words Using Energy Games. 2018

María Emilia Descotte, Diego Figueira, Gabriele Puppis. Resynchronizing Classes of Word Relations. 2018

Diego Figueira, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre. Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. The 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), Jul 2017, Varsovie, Poland. 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) Proceedings, pp.119

Sergio Abriola, Diego Figueira, Santiago Figueira. Logics of repeating values on data trees and branching counter systems. FoSSaCS - 20th International Conference on Foundations of Software Science and Computation Structures, Apr 2017, Uppsala, Sweden

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