Jérôme Leroux

3.2k total citations · 1 hit paper
34 papers, 1.2k citations indexed

About

Jérôme Leroux is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Jérôme Leroux has authored 34 papers receiving a total of 1.2k indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 5 papers in Software. Recurrent topics in Jérôme Leroux's work include Formal Methods in Verification (19 papers), Logic, programming, and type systems (10 papers) and semigroups and automata theory (7 papers). Jérôme Leroux is often cited by papers focused on Formal Methods in Verification (19 papers), Logic, programming, and type systems (10 papers) and semigroups and automata theory (7 papers). Jérôme Leroux collaborates with scholars based in France, United Kingdom and Sweden. Jérôme Leroux's co-authors include Dimitri Lague, Nicolas Brodu, Alain Finkel, Sébastien Bardin, Laure Petrucci, Robert S. Sheridan, Grégoire Sutre, O. L. Chapman, Cendrine Mony and Pavle Subotić and has published in prestigious journals such as SHILAP Revista de lepidopterología, ISPRS Journal of Photogrammetry and Remote Sensing and Sedimentology.

In The Last Decade

Jérôme Leroux

28 papers receiving 1.2k citations

Hit Papers

Accurate 3D comparison of complex topography with terrest... 2013 2026 2017 2021 2013 250 500 750 1000
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Accurate 3D comparison of complex topography with terrestrial laser scanner: Application to the Rangitikei canyon (N-Z)
    2013 1.0k citations Dimitri Lague, Nicolas Brodu et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Jérôme Leroux France 10 688 653 211 206 143 34 1.2k
Yanyan Li China 17 264 0.4× 621 1.0× 197 0.9× 51 0.2× 102 0.7× 68 1.2k
C. J. Crosby United States 16 154 0.2× 270 0.4× 192 0.9× 166 0.8× 48 0.3× 58 969
Maria Marsella Italy 22 229 0.3× 266 0.4× 42 0.2× 484 2.3× 511 3.6× 61 1.3k
Manfred Joswig Germany 16 337 0.5× 383 0.6× 82 0.4× 442 2.1× 185 1.3× 47 1.3k
Tomasz Niedzielski Poland 17 153 0.2× 230 0.4× 98 0.5× 110 0.5× 221 1.5× 59 935
Paolo Allasia Italy 17 224 0.3× 200 0.3× 55 0.3× 499 2.4× 217 1.5× 38 844
Sebastian d’Oleire-Oltmanns Germany 8 456 0.7× 677 1.0× 295 1.4× 132 0.6× 196 1.4× 14 1.2k
Carl Salvaggio United States 14 233 0.3× 567 0.9× 568 2.7× 29 0.1× 220 1.5× 77 1.7k
Rudolf Sailer Austria 21 115 0.2× 182 0.3× 77 0.4× 359 1.7× 23 0.2× 54 1.1k
Yanmin Jin China 19 167 0.2× 306 0.5× 109 0.5× 32 0.2× 260 1.8× 81 1.0k

Countries citing papers authored by Jérôme Leroux

Since Specialization
Citations

This map shows the geographic impact of Jérôme Leroux's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jérôme Leroux with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jérôme Leroux more than expected).

Fields of papers citing papers by Jérôme Leroux

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jérôme Leroux. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jérôme Leroux. The network helps show where Jérôme Leroux may publish in the future.

Co-authorship network of co-authors of Jérôme Leroux

This figure shows the co-authorship network connecting the top 25 collaborators of Jérôme Leroux. A scholar is included among the top collaborators of Jérôme Leroux based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jérôme Leroux. Jérôme Leroux is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Leroux, Jérôme & Grégoire Sutre. (2020). Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
3.
Leroux, Jérôme, et al.. (2019). On Functions Weakly Computable by Pushdown Petri Nets and Related Systems. SHILAP Revista de lepidopterología. 2 indexed citations
4.
Leroux, Jérôme, et al.. (2018). Occam's Razor applied to the Petri net coverability problem. Theoretical Computer Science. 750. 38–52. 3 indexed citations
5.
Leroux, Jérôme. (2018). Vector Addition Systems Reachability Problem (A Simpler Solution). EPiC series in computing. 2 indexed citations
6.
Leroux, Jérôme, et al.. (2018). FIRESAFE II Detection systems in open ro-ro and weather decks. 1 indexed citations
7.
Leroux, Jérôme, et al.. (2017). Linear combinations of unordered data vectors. 1–11. 2 indexed citations
8.
Leroux, Jérôme, et al.. (2017). FIRESAFE II Detection and Decision. 2 indexed citations
9.
Abdulla, Parosh Aziz, et al.. (2016). Preface. Fundamenta Informaticae. 143(3-4). i–ii.
10.
Drewes, Frank & Jérôme Leroux. (2015). Structurally Cyclic Petri Nets. Logical Methods in Computer Science. Volume 11, Issue 4. 7 indexed citations
11.
Finkel, Alain & Jérôme Leroux. (2014). Recent and simple algorithms for Petri nets. Software & Systems Modeling. 14(2). 719–725. 6 indexed citations
12.
Lague, Dimitri, Stéphane Bonnet, Nicolas Brodu, Timothy R. H. Davies, & Jérôme Leroux. (2012). High precision terrestrial laser scanning : measuring the individual impact of floods and landslides on meandering bedrock river dynamics (Rangitikei river, New-Zealand). HAL (Le Centre pour la Communication Scientifique Directe). 14. 13456. 2 indexed citations
13.
Leroux, Jérôme, et al.. (2012). Reachability Analysis of Communicating Pushdown Systems. Logical Methods in Computer Science. Volume 8, Issue 3. 13 indexed citations
14.
Finkel, Alain, et al.. (2012). Model Checking Vector Addition Systems with one zero-test. Logical Methods in Computer Science. Volume 8, Issue 2. 4 indexed citations
15.
Leroux, Jérôme. (2010). The General Vector Addition System Reachability Problem by Presburger Inductive Invariants. Logical Methods in Computer Science. Volume 6, Issue 3. 4 indexed citations
16.
Leroux, Jérôme. (2009). Vector addition systems reachability problem (a simpler solution. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations
17.
Leroux, Jérôme. (2009). The General Vector Addition System Reachability Problem by Presburger Inductive Invariants. arXiv (Cornell University). 4–13. 21 indexed citations
18.
Bardin, Sébastien, Alain Finkel, Jérôme Leroux, & Laure Petrucci. (2008). FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer. 10(5). 401–424. 32 indexed citations
19.
Finkel, Alain & Jérôme Leroux. (2005). The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Information Processing Letters. 96(1). 30–35.
20.
Chapman, O. L., Robert S. Sheridan, & Jérôme Leroux. (1979). Photochemical transformations on the C6H5N energy surface. Recueil des Travaux Chimiques des Pays-Bas. 98(5). 334–337. 14 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Yanyan Li Breakdown of academic impact, for papers by C. J. Crosby Breakdown of academic impact, for papers by Maria Marsella Breakdown of academic impact, for papers by Manfred Joswig Breakdown of academic impact, for papers by Tomasz Niedzielski Breakdown of academic impact, for papers by Paolo Allasia Breakdown of academic impact, for papers by Sebastian d’Oleire-Oltmanns Breakdown of academic impact, for papers by Carl Salvaggio Breakdown of academic impact, for papers by Rudolf Sailer Breakdown of academic impact, for papers by Yanmin Jin
Rankless by CCL
2026