Aller au contenu principal
Jérôme Leroux
- Directeur de Recherches
- CNRS
- Département
- M2F
- Équipe
- Modèles et Technologies pour la Vérification
- Page personnelle
- http://www.labri.fr/~leroux
- Adresse E-mail
- jerome.leroux
labri.fr - Bureau
- 264
- Tel
- +33 (0)5 40 00 35 09
Extrait de 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.
- Philipp Czerner, Javier Esparza, Jérôme Leroux. Lower bounds on the state complexity of population protocols. Distributed Computing, 2023, 36 (3), pp.209-218.