Vincent Penelle

24 papers A* 3B 2Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Equivalence of Deterministic Weighted Real-Time One-Counter Automata.
ICLA
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2025 A* conf
Learning Deterministic One-Counter Automata in Polynomial Time.
LICS
Prince Mathew, Vincent Penelle, A. V. Sreejith
2025 J jnl
Learning Deterministic One-Counter Automata in Polynomial Time.
CoRR
Prince Mathew, Vincent Penelle, A. V. Sreejith
2025 — conf
Learning Real-Time One-Counter Automata Using Polynomially Many Queries.
TACAS (1)
Prince Mathew, Vincent Penelle, A. V. Sreejith
2024 J jnl
Equivalence of Deterministic Weighted Real-time One-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2024 J jnl
Learning real-time one-counter automata using polynomially many queries.
CoRR
Prince Mathew, Vincent Penelle, A. V. Sreejith
2023 J jnl
One Deterministic-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2023 — conf
Weighted One-Deterministic-Counter Automata.
FSTTCS
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2020 J jnl
Undecidability of a weak version of MSO+U.
Log. Methods Comput. Sci.
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
2019 B conf
On Synthesis of Resynchronizers for Transducers.
MFCS
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019 J jnl
On Synthesis of Resynchronizers for Transducers.
CoRR
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 — conf
Constrained Dynamic Tree Networks.
RP
Matthew Hague, Vincent Penelle
2018 — conf
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems.
FSTTCS
Vincent Penelle, Sylvain Salvati, Grégoire Sutre
2018 — conf
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE.
FSTTCS
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 J jnl
Origin-equivalence of two-way word transducers is in PSPACE.
CoRR
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 J jnl
Undecidability of MSO+"ultimately periodic".
CoRR
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith
2017 J jnl
Rewriting Higher-Order Stack Trees.
Theory Comput. Syst.
Vincent Penelle
2017 A* conf
Which Classes of Origin Graphs Are Generated by Transducers.
ICALP
Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle
2015 J jnl
Annotated Stack Trees.
CoRR
Matthew Hague, Vincent Penelle
2015 Misc conf
Rewriting Higher-Order Stack Trees.
CSR
Vincent Penelle
2015 J jnl
Rewriting Higher-Order Stack Trees.
CoRR
Vincent Penelle
2015 — —
Réécriture d'arbres de piles et traces de systèmes à compteurs. (Ground stack tree rewriting and traces of counter systems).
Vincent Penelle
2014 B conf
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems.
ATVA
Jérôme Leroux, Vincent Penelle, Grégoire Sutre
2013 A* conf
On the Context-Freeness Problem for Vector Addition Systems.
LICS
Jérôme Leroux, Vincent Penelle, Grégoire Sutre