Publications of Jérôme Leroux with Vincent Penelle


Conference articles

  1. 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, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837 of Lecture Notes in Computer Science, pages 248-263, 2014. Springer. [doi] [bib]

  2. Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. On the Context-Freeness Problem for Vector Addition Systems. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pages 43-52, 2013. IEEE Computer Society. [doi] [bib]


This document was translated from BibTEX by bibtex2html