Vincent Penelle

Consultez aussi ma page sur dblp pour une liste officielle

Thèse :

Publications dans une conférence internationale :

  • [2] Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. On the context-freeness problem for vector addition systems. In LICS, pages 43–52. IEEE Computer Society, 2013. Télécharger les transparents ; HAL
  • [3] Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. The context-freeness problem is conp-complete for flat counter systems. In Franck Cassez and Jean-François Raskin, editors, ATVA, volume 8837 of Lecture Notes in Computer Science, pages 248–263. Springer, 2014. Télécharger les transparents ; HAL
  • [4] Vincent Penelle. Rewriting higher-order stack trees. In Lev D. Beklemishev and Daniil V. Musatov, editors, CSR, volume 9139 of Lecture Notes in Computer Science, pages 364–397. Springer, 2015. Best Student Paper Award. Télécharger les transparents ; HAL

Autres :

  • [5] Matthew Hague and Vincent Penelle. Annotated Stack Trees. Arxiv