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, Sylvain Salvati, Grégoire Sutre. On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems. FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 122, pp.44:1-44:20, LIPIcs

Vincent Penelle. Rewriting Higher-Order Stack Trees. Theory of Computing Systems, Springer Verlag, 2017, 61 (2), pp.536 - 580. ⟨10.1007/s00224-017-9769-6⟩. ⟨hal-01762628⟩

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


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