Vincent Penelle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Learning Deterministic One-Counter Automata in Polynomial Time. | Prince Mathew, Vincent Penelle, A. V. Sreejith |
| 2025 | TACAS | Learning Real-Time One-Counter Automata Using Polynomially Many Queries. | Prince Mathew, Vincent Penelle, A. V. Sreejith |
| 2019 | MFCS | On Synthesis of Resynchronizers for Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis |
| 2017 | ICALP | Which Classes of Origin Graphs Are Generated by Transducers. | Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle |
| 2015 | CSR | Rewriting Higher-Order Stack Trees. | Vincent Penelle |
| 2014 | ATVA | The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. | Jrme Leroux, Vincent Penelle, Grgoire Sutre |
| 2013 | LICS | On the Context-Freeness Problem for Vector Addition Systems. | Jrme Leroux, Vincent Penelle, Grgoire Sutre |