Jérôme Leroux

发表

Grégoire Sutre, Jérôme Leroux, Vincent Penelle, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Jérôme Leroux, 2013, ATVA.
Philippe Schnoebelen, Jérôme Leroux, P. Schnoebelen, 2014, RP.
Grégoire Sutre, Jérôme Leroux, Thomas Geffroy, 2016, RP.
Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun, 2008, TACAS.
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, ICALP.
Jérôme Leroux, Jérôme Leroux, 2011, POPL '11.
Slawomir Lasota, Sylvain Schmitz, Jérôme Leroux, 2016, FoSSaCS.
Jérôme Leroux, 2013, VPT@CAV.
Philippe Schnoebelen, Alain Finkel, Jérôme Leroux, 2005, ATVA.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2005, ATVA.
Sylvain Schmitz, Jérôme Leroux, S. Schmitz, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Alain Finkel, Jérôme Leroux, Sébastien Bardin, 2004, TACAS.
Alain Finkel, Rémi Bonnet, Jérôme Leroux, 2010, FSTTCS.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, SAS.
Grégoire Sutre, Jérôme Leroux, Thomas Geffroy, 2017, SPIN.
Grégoire Sutre, Jérôme Leroux, Vincent Penelle, 2014, ATVA.
Jérôme Leroux, Jérôme Leroux, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Anca Muscholl, Grégoire Sutre, Alexander Heußner, 2010, FoSSaCS.
Philippe Schnoebelen, Grégoire Sutre, M. Praveen, 2019, Log. Methods Comput. Sci..
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, CONCUR.
Sylvain Schmitz, Jérôme Leroux, S. Schmitz, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Alain Finkel, Rémi Bonnet, Jérôme Leroux, 2012, Log. Methods Comput. Sci..
Jérôme Leroux, Frank Drewes, 2015, Log. Methods Comput. Sci..
Laure Petrucci, Alain Finkel, Jérôme Leroux, 2008, International Journal on Software Tools for Technology Transfer.
Jérôme Leroux, 2008, Theor. Comput. Sci..
Sylvain Schmitz, Jérôme Leroux, 2016, STACS.
Jan Reineke, Reinhard Wilhelm, Helmut Seidl, 2009, Efficient Algorithms.
Alain Finkel, Jérôme Leroux, A. Finkel, 2002, FSTTCS.
Philipp Rümmer, Jérôme Leroux, Pavle Subotic, 2015, Acta Informatica.
Laure Petrucci, Alain Finkel, Jérôme Leroux, 2003, CAV.
Alain Finkel, Jérôme Leroux, A. Finkel, 2004, CAV.
Anca Muscholl, Grégoire Sutre, Alexander Heußner, 2010, FoSSaCS.
Jérôme Leroux, 2013, Log. Methods Comput. Sci..
Grégoire Sutre, Jérôme Leroux, Patrick Totzke, 2015, RP.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, Acta Informatica.
Grégoire Sutre, M. Praveen, Jérôme Leroux, 2014, CSL-LICS.
Slawomir Lasota, Jérôme Leroux, Wojciech Czerwinski, 2018, J. ACM.
Daniel Kroening, Philipp Rümmer, Jérôme Leroux, 2010, LPAR.
Jérôme Leroux, Gérald Point, 2009, TACAS.
Jérôme Leroux, Patrick Totzke, Piotr Hofman, 2016, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sylvain Schmitz, Jérôme Leroux, 2015, ArXiv.
Jérôme Leroux, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Grégoire Sutre, Jérôme Leroux, G. Sutre, 2007, FSTTCS.
Sylvain Schmitz, Jérôme Leroux, 2016 .
Jérôme Leroux, Jérôme Leroux, 2008, SAS.
Jérôme Leroux, Sébastien Bardin, Gérald Point, 2006, CAV.
Grégoire Sutre, Petr Jancar, Jérôme Leroux, 2018, Petri Nets.
Alain Finkel, Jérôme Leroux, Florent Bouchy, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.
Olivier Ly, Jérôme Leroux, Aymeric Vincent, 2011, CAV.
Bernard Boigelot, Jérôme Leroux, Julien Brusten, 2009, CADE.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, FSTTCS.
Alain Finkel, Jérôme Leroux, 2014, Software & Systems Modeling.
Jérôme Leroux, Jérôme Leroux, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Grégoire Sutre, Jérôme Leroux, 2004, CONCUR.
Grégoire Sutre, Jérôme Leroux, Diego Figueira, 2017, ICALP.
Alain Finkel, Grégoire Sutre, Jérôme Leroux, 2018, FSTTCS.
Alain Finkel, Jérôme Leroux, 2013, Informatik-Spektrum.
Slawomir Lasota, Jérôme Leroux, Wojciech Czerwinski, 2020, J. ACM.
Slawomir Lasota, Jérôme Leroux, Ranko Lazic, 2021, Inf. Process. Lett..
Jérôme Leroux, 2021, Petri Nets.
Jérôme Leroux, Sébastien Bardin, Gérald Point, 2006 .