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

É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. pp.44:1-44:20, ⟨10.4230/LIPIcs.FSTTCS.2018.44⟩. ⟨hal-01962407⟩

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. ⟨hal-01762979⟩

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⟩

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. ⟨NNT : 2015PESC1122⟩. ⟨tel-01286343⟩

Vincent Penelle. Rewriting Higher-Order Stack Trees. CSR 2015, Jul 2015, Listvyanka, Russia. pp.364-397, ⟨10.1007/978-3-319-20297-6_24⟩. ⟨hal-01117753v2⟩


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