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, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen. Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. 26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. IEEE Press, p. 269--278, 2011,

Diego Figueira, Luc Segoufin. Bottom-up automata on data trees and vertical XPath. Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. 9, pp.93-104, 2011.

Diego Figueira. Reasoning on words and trees with data. Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2010. English.

Carlos Areces, Diego Figueira, Daniel Gorin, Sergio Mera. Tableaux and Model Checking for Memory Logics. Giese, Martin and Waaler, Arild. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2009, Jul 2009, Oslo, Norway. Springer-Verlag, 5607, pp.47--61, 2009, Lecture Notes in Artificial Intelligence; Automated Reasoning with Analytic Tableaux and Related Methods.

Carlos Areces, Diego Figueira. Which Semantics for Neighbourhood Semantics?. Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676, 2009.


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