Vincent Penelle

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 15

Top Venues

CoRR

FSTTCS

LICS

CSR

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
Weighted One-Deterministic-Counter Automata. FSTTCS (2023)
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
One Deterministic-Counter Automata. CoRR (2023)
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
Undecidability of a weak version of MSO+U. Log. Methods Comput. Sci. 16 (1) (2020)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. CoRR (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. MFCS (2019)
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
Undecidability of MSO+"ultimately periodic". CoRR (2018)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-equivalence of two-way word transducers is in PSPACE. CoRR (2018)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS (2018)
Vincent Penelle, Sylvain Salvati, Grégoire Sutre
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems. FSTTCS (2018)
Matthew Hague, Vincent Penelle
Constrained Dynamic Tree Networks. RP (2018)
Vincent Penelle
Rewriting Higher-Order Stack Trees. Theory Comput. Syst. 61 (2) (2017)
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle
Which Classes of Origin Graphs Are Generated by Transducers. ICALP (2017)
Matthew Hague, Vincent Penelle
Annotated Stack Trees. CoRR (2015)
Vincent Penelle
Rewriting Higher-Order Stack Trees. CSR (2015)
Vincent Penelle
Rewriting Higher-Order Stack Trees. CoRR (2015)
Jérôme Leroux, Vincent Penelle, Grégoire Sutre
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. ATVA (2014)
Jérôme Leroux, Vincent Penelle, Grégoire Sutre
On the Context-Freeness Problem for Vector Addition Systems. LICS (2013)

Vincent Penelle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Penelle