Concepedia

Jérôme Leroux

JL

28

Publications

2.2K

Citations

17

H-Index

2005

Active since

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Université de Bordeaux

Centre National de la Recherche Scientifique

Institut Polytechnique de Bordeaux

École Normale Supérieure Paris-Saclay

Jérôme Leroux is an author at Laboratoire Bordelais de Recherche en Informatique specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputational ComplexityAutomated ReasoningMathematical ProgrammingSystems EngineeringCombinatorial OptimizationDiscrete Mathematics

Publications per year

2005–2022

28

Publications

28

Accurate 3D comparison of complex topography with terrestrial laser scanner: Application to the Rangitikei canyon (N-Z)

Dimitri Lague, Nicolas Brodu, Jérôme Leroux · ISPRS Journal of Photogrammetry and Remote Sensing · 2013 · 1.3K citations · Full text

Engineering, Geomorphology, Quantitative Geomorphology +17

Demystifying Reachability in Vector Addition Systems

Jérôme Leroux, Sylvain Schmitz · 2015 · 83 citations · Full text

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux et al. · International Journal on Software Tools for Technology Transfer · 2008 · 78 citations · Full text

Computational Science, Engineering, Special Relativity +3

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Jérôme Leroux · 2009 · 58 citations · Full text

Circuit Complexity, Parikh Images, Engineering +12

Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension

Jérôme Leroux, Sylvain Schmitz · 2019 · 58 citations · Full text

Mathematical Programming, Reachability Analysis, Computational Complexity Theory +13

Rows per page

1–5 of 28