Skip to main content
Jérôme Leroux
- Directeur de Recherches
- CNRS
- Department
- M2F
- Team
- Modèles et Technologies pour la Vérification
- Personal page
- http://www.labri.fr/~leroux
- E-mail address
- jerome.leroux
labri.fr - Office
- 264
- Tel
- +33 (0)5 40 00 35 09
Excerpt from publications
- Petr Jančar, Jérôme Leroux. On the Home-Space Problem for Petri Nets. Taming the Infinities of Concurrency, 2024, Luxembourg -, Luxembourg. pp.172-180,
- Jérôme Leroux. Ackermannian Completion of Separators. FOSSCAS, Apr 2024, Luxembourg, Luxembourg. pp.3-10,
- Thibault Hilaire, David Ilcinkas, Jérôme Leroux. A State-of-the-Art Karp-Miller Algorithm Certified in Coq. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), Apr 2024, Luxembourg, Luxembourg. pp.370 - 389,
- Jérôme Leroux, Sylvain Lombardy, David Peleg. 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France.. LIPIcs (272), Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, 2023, 978-3-95977-292-1.
- Petr Jančar, Jérôme Leroux. The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets. 34th International Conference on Concurrency Theory, {CONCUR} 2023, Sep 2023, Antwerp, Belgium. pp.36:1--36:17,