Didier Le Botlan

462 total citations
15 papers, 126 citations indexed

About

Didier Le Botlan is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Didier Le Botlan has authored 15 papers receiving a total of 126 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 5 papers in Hardware and Architecture. Recurrent topics in Didier Le Botlan's work include Logic, programming, and type systems (5 papers), Formal Methods in Verification (5 papers) and Parallel Computing and Optimization Techniques (4 papers). Didier Le Botlan is often cited by papers focused on Logic, programming, and type systems (5 papers), Formal Methods in Verification (5 papers) and Parallel Computing and Optimization Techniques (4 papers). Didier Le Botlan collaborates with scholars based in France, Switzerland and Germany. Didier Le Botlan's co-authors include Didier Rémy, Isabelle Fourel, Jacques Noyé, Mario Südholt, Rémi Douence, Silvano Dal Zilio, Bernard Berthomieu, Guido Tack, Didier Rémy and Yannick Pencolé and has published in prestigious journals such as SHILAP Revista de lepidopterología, Analytica Chimica Acta and ACM SIGPLAN Notices.

In The Last Decade

Didier Le Botlan

12 papers receiving 108 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Didier Le Botlan France 7 84 45 34 28 18 15 126
Christoph Weidenbach Germany 8 180 2.1× 60 1.3× 98 2.9× 76 2.7× 13 0.7× 47 233
Gary T. Leavens United States 6 136 1.6× 73 1.6× 73 2.1× 21 0.8× 20 1.1× 9 169
P. H. B. Gardiner United Kingdom 5 132 1.6× 28 0.6× 92 2.7× 27 1.0× 15 0.8× 10 151
Jeremy Yallop United Kingdom 8 156 1.9× 45 1.0× 65 1.9× 38 1.4× 58 3.2× 27 177
Dilian Gurov Sweden 7 91 1.1× 23 0.5× 92 2.7× 33 1.2× 21 1.2× 38 140
Ben Moszkowski United Kingdom 7 139 1.7× 17 0.4× 120 3.5× 33 1.2× 17 0.9× 24 167
Harald Fecher Germany 7 88 1.0× 27 0.6× 96 2.8× 23 0.8× 17 0.9× 19 138
Ernie Cohen United States 6 108 1.3× 38 0.8× 66 1.9× 71 2.5× 32 1.8× 13 144
Dean Rosenzweig Croatia 6 98 1.2× 24 0.5× 86 2.5× 23 0.8× 20 1.1× 12 126
Damien Pous France 7 97 1.2× 13 0.3× 76 2.2× 30 1.1× 9 0.5× 27 118

Countries citing papers authored by Didier Le Botlan

Since Specialization
Citations

This map shows the geographic impact of Didier Le Botlan'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 Didier Le Botlan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Didier Le Botlan more than expected).

Fields of papers citing papers by Didier Le Botlan

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Didier Le Botlan. 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 Didier Le Botlan. The network helps show where Didier Le Botlan may publish in the future.

Co-authorship network of co-authors of Didier Le Botlan

This figure shows the co-authorship network connecting the top 25 collaborators of Didier Le Botlan. A scholar is included among the top collaborators of Didier Le Botlan 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 Didier Le Botlan. Didier Le Botlan is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

15 of 15 papers shown
1.
Zilio, Silvano Dal, et al.. (2022). Leveraging polyhedral reductions for solving Petri net reachability problems. International Journal on Software Tools for Technology Transfer. 25(1). 95–114.
2.
Zilio, Silvano Dal, et al.. (2020). A New Product Construction for the Diagnosability of Patterns in Time Petri Net. HAL (Le Centre pour la Communication Scientifique Directe). 46. 104–109. 1 indexed citations
3.
Berthomieu, Bernard, Didier Le Botlan, & Silvano Dal Zilio. (2019). Counting Petri net markings from reduction equations. International Journal on Software Tools for Technology Transfer. 22(2). 163–181. 9 indexed citations
4.
Zilio, Silvano Dal, et al.. (2014). A formal framework to specify and verify real-time properties on critical systems. HAL (Le Centre pour la Communication Scientifique Directe). 5(1/2). 4–4. 1 indexed citations
5.
Botlan, Didier Le & Didier Rémy. (2014). MLF. ACM SIGPLAN Notices. 49(4S). 52–63. 8 indexed citations
6.
Zilio, Silvano Dal, et al.. (2013). A Verified Approach for Checking Real-Time Specification Patterns. arXiv (Cornell University).
7.
Botlan, Didier Le & Didier Rémy. (2009). Recasting MLF. Information and Computation. 207(6). 726–785. 11 indexed citations
8.
Botlan, Didier Le & Didier Rémy. (2007). MLF made simple. 60. 1 indexed citations
9.
Douence, Rémi, Didier Le Botlan, Jacques Noyé, & Mario Südholt. (2006). Towards a model of concurrent AOP. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations
10.
Douence, Rémi, Didier Le Botlan, Jacques Noyé, & Mario Südholt. (2006). Concurrent aspects. HAL (Le Centre pour la Communication Scientifique Directe). 79–88. 20 indexed citations
11.
Tack, Guido & Didier Le Botlan. (2005). Compositional abstractions for search factories. 211–223. 2 indexed citations
12.
Botlan, Didier Le & Didier Rémy. (2003). ML F. 27–38. 42 indexed citations
13.
Botlan, Didier Le & Didier Rémy. (2003). ML F. ACM SIGPLAN Notices. 38(9). 27–38. 6 indexed citations
14.
15.
Botlan, Didier Le & Isabelle Fourel. (1995). Assessment of the intermediate phase in milk fat by low-resolution nuclear magnetic resonance. Analytica Chimica Acta. 311(2). 217–223. 22 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 Christoph Weidenbach Breakdown of academic impact, for papers by Gary T. Leavens Breakdown of academic impact, for papers by P. H. B. Gardiner Breakdown of academic impact, for papers by Jeremy Yallop Breakdown of academic impact, for papers by Dilian Gurov Breakdown of academic impact, for papers by Ben Moszkowski Breakdown of academic impact, for papers by Harald Fecher Breakdown of academic impact, for papers by Ernie Cohen Breakdown of academic impact, for papers by Dean Rosenzweig Breakdown of academic impact, for papers by Damien Pous
Rankless by CCL
2026