Didier Lime

2.1k total citations
28 papers, 243 citations indexed

About

Didier Lime is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Didier Lime has authored 28 papers receiving a total of 243 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Computational Theory and Mathematics, 10 papers in Hardware and Architecture and 9 papers in Software. Recurrent topics in Didier Lime's work include Formal Methods in Verification (25 papers), Petri Nets in System Modeling (17 papers) and Real-Time Systems Scheduling (8 papers). Didier Lime is often cited by papers focused on Formal Methods in Verification (25 papers), Petri Nets in System Modeling (17 papers) and Real-Time Systems Scheduling (8 papers). Didier Lime collaborates with scholars based in France, Australia and Denmark. Didier Lime's co-authors include Olivier Roux, Bernard Berthomieu, François Vernadat, Franck Cassez, Gilles Bernot, Jamil Ahmad, Jean‐Paul Comet, Serge Haddad, Béatrice Bérard and Étienne André and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and IEEE Transactions on Software Engineering.

In The Last Decade

Didier Lime

23 papers receiving 224 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Didier Lime France	9	196	77	50	39	33	28	243
Louchka Popova-Zeugmann Germany	7	144 0.7×	45 0.6×	19 0.4×	13 0.3×	37 1.1×	20	198
Jasen Markovski Netherlands	8	211 1.1×	56 0.7×	35 0.7×	32 0.8×	5 0.2×	41	235
Bas Luttik Netherlands	9	209 1.1×	27 0.4×	50 1.0×	151 3.9×	10 0.3×	44	244
Madhavan Mukund India	10	166 0.8×	18 0.2×	35 0.7×	88 2.3×	31 0.9×	28	223
David K. Probst United States	5	258 1.3×	53 0.7×	122 2.4×	119 3.1×	7 0.2×	25	328
Thomas Hune Denmark	8	189 1.0×	58 0.8×	82 1.6×	93 2.4×	5 0.2×	15	229
Mandayam Srivas United States	7	199 1.0×	147 1.9×	94 1.9×	116 3.0×	9 0.3×	32	312
Józef Winkowski Poland	8	139 0.7×	26 0.3×	21 0.4×	80 2.1×	7 0.2×	35	183
David de Frutos Escrig Spain	10	201 1.0×	26 0.3×	37 0.7×	102 2.6×	5 0.2×	38	258
Milan Češka Czechia	9	98 0.5×	39 0.5×	77 1.5×	71 1.8×	27 0.8×	24	214

Countries citing papers authored by Didier Lime

Since Specialization

Citations

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

Fields of papers citing papers by Didier Lime

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Didier Lime

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

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

André, Étienne, et al.. (2023). Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. Electronic Proceedings in Theoretical Computer Science. 392. 1–26.

Lime, Didier, et al.. (2022). Cost Problems for Parametric Time Petri Nets*. Fundamenta Informaticae. 183(1-2). 97–123.

André, Étienne, et al.. (2022). Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Transactions on Software Engineering and Methodology. 31(4). 1–36. 3 indexed citations

André, Étienne, et al.. (2021). Parametric updates in parametric timed automata. SHILAP Revista de lepidopterología. 1 indexed citations

André, Étienne, Didier Lime, & Olivier Roux. (2020). Reachability and liveness in parametric timed automata. arXiv (Cornell University). 1 indexed citations

André, Étienne, Didier Lime, & Nicolas Markey. (2020). Language Preservation Problems in Parametric Timed Automata. SHILAP Revista de lepidopterología. 3 indexed citations

Lime, Didier, et al.. (2020). Control of Real-Time Systems With Integer Parameters. IEEE Transactions on Automatic Control. 67(1). 75–88.

Delahaye, Benoît, et al.. (2018). Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science. 747. 48–74. 3 indexed citations

Lime, Didier, et al.. (2018). A game approach to the parametric control of real-time systems. International Journal of Control. 92(9). 2025–2036. 1 indexed citations

10.

Jard, Claude, Didier Lime, & Olivier Roux. (2014). Blending Timed Formal Models with Clock Transition Systems. Fundamenta Informaticae. 129(1-2). 85–100.

11.

André, Étienne, Benoît Delahaye, Peter Habermehl, et al.. (2014). Beyond Model Checking: Parameters Everywhere.

12.

Jard, Claude, Didier Lime, Olivier Roux, & Louis‐Marie Traonouez. (2013). Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods in System Design. 43(3). 493–519. 3 indexed citations

13.

Bérard, Béatrice, Franck Cassez, Serge Haddad, Didier Lime, & Olivier Roux. (2012). The expressive power of time Petri nets. Theoretical Computer Science. 474. 1–20. 16 indexed citations

14.

Lime, Didier, et al.. (2012). Real-Time Control with Parametric Timed Reachability Games. IFAC Proceedings Volumes. 45(29). 323–330. 1 indexed citations

15.

Lime, Didier & Olivier Roux. (2008). Formal verification of real-time systems with preemptive scheduling. Real-Time Systems. 41(2). 118–151. 28 indexed citations

16.

Berthomieu, Bernard, Didier Lime, Olivier Roux, & François Vernadat. (2007). Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems. 17(2). 133–158. 32 indexed citations

17.

Magnin, Morgan, Didier Lime, & Olivier Roux. (2006). An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electronic Notes in Theoretical Computer Science. 144(3). 59–77. 3 indexed citations

18.

Ahmad, Jamil, Gilles Bernot, Jean‐Paul Comet, Didier Lime, & Olivier Roux. (2006). Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays. HAL (Le Centre pour la Communication Scientifique Directe). 3(4). 231–251. 37 indexed citations

19.

Berthomieu, Bernard, Didier Lime, Olivier Roux, & François Vernadat. (2005). Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres. Journal Européen des Systèmes Automatisés. 39(1-3). 223–238. 2 indexed citations

20.

Lime, Didier & Olivier Roux. (2003). Expressiveness and analysis of scheduling extended time Petri nets. IFAC Proceedings Volumes. 36(13). 189–197. 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