Diego Figueira
Author
Alternate name Diego Figueira
Past institutions Laboratoire Bordelais de Recherche en Informatique, Centre National de la Recherche Scientifique, Université de Bordeaux, Institut Polytechnique de Bordeaux, Laboratoire Spécification et Vérification +5 more
ORCID: Yes
H-index: 17
I10-index: 23
Works count: 82
Citations count: 900
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012
2012 · Pablo Barceló, Diego Figueira, et al. · HAL (Le Centre pour la Communication Scientifique Directe)
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
2011 · Diego Figueira, Santiago Figueira, et al.