CNRS researcher, LaBRI, France - Cited by 3075 - Formal Methods - Logique - Counter Systems
Sep 30, 2024 · List of computer science publications by Jérôme Leroux.
Jerome Leroux serves as CTO at MicroEJ and manages the technical experts developing the core technology and defines technology roadmap.
Jérôme Leroux's 82 research works with 2079 citations, including: Ackermannian Completion of Separators.
Publication Topics. Complex Class,Finite Set,Petri Nets,Upper Bound,Abelian Group,Binary String,Class Of Problems,Conditions Hold,Decision Problem ...
Semantic Scholar profile for Jérôme Leroux, with 141 highly influential citations and 93 scientific research papers.
Author Picture Jérôme Leroux. LaBRI, Université de Bordeaux, CNRS, Domaine Universitaire, 351, cours de la Libération, 33405 Talence, France. , · Author Picture ...
More than 15 years of software development for embedded systems.<br>Expert in virtual… · Experience: MicroEJ · Education: Université de Nantes · Location: ...