Vincent Penelle

One Deterministic-Counter Automata

A. Sreejith, Prakash Saivasan, Prince Mathew, 2023, ArXiv.

On Synthesis of Resynchronizers for Transducers pdf

Anca Muscholl, Gabriele Puppis, Shankara Narayanan Krishna, 2019, MFCS.

Origin-equivalence of two-way word transducers is in PSPACE pdf

Anca Muscholl, Gabriele Puppis, Vincent Penelle, 2018, FSTTCS.

Which Classes of Origin Graphs Are Generated by Transducers

Mikolaj Bojanczyk, Vincent Penelle, Laure Daviaud, 2017, ICALP.

Réécriture d'arbres de piles et traces de systèmes à compteurs. (Ground stack tree rewriting and traces of counter systems)

Vincent Penelle, Vincent Penelle, 2015 .

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

Grégoire Sutre, Vincent Penelle, Sylvain Salvati, 2018, FSTTCS.