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

É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. Theory of Computing Systems, Springer Verlag, 2017, 61 (2), pp.536 - 580

Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle. Which classes of origin graphs are generated by transducers? *. ICALP 2017, Jul 2017, Warszawa, Poland

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


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