Vincent PENELLE
Vincent Penelle Maître de Conférences (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Courrier électronique : vincent.penellearobaselabri.fr
Bureau : 307
Tél : +33 (0)5 40 00 22 51


Extrait de publications


Vincent Penelle. Rewriting Higher-Order Stack Trees. CSR 2015, Jul 2015, Listvyanka, Russia. Springer, Computer Science - Theory and Applications, 9139, pp.364-397, 2015, Lecture Notes in Computer Science.

Vincent Penelle. Réécriture d’arbres de piles et traces de systèmes à compteurs. Informatique et langage [cs.CL]. Université Paris-Est, 2015. Français.

Jérôme Leroux, Vincent Penelle, Grégoire Sutre. The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. ATVA'14, Nov 2014, Sydney, Australia. Springer, 8837, pp.248 - 263, 2014, Lecture Notes in Computer Science.

Jérôme Leroux, Vincent Penelle, Grégoire Sutre. On the Context-Freeness Problem for Vector Addition Systems. LICS 2013, Jun 2013, New Orleans, LA, United States. IEEE, pp.43-52, 2013,


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