Thierry Lecomte

534 total citations
9 papers, 124 citations indexed

About

Thierry Lecomte is a scholar working on Software, Safety, Risk, Reliability and Quality and Artificial Intelligence. According to data from OpenAlex, Thierry Lecomte has authored 9 papers receiving a total of 124 indexed citations (citations by other indexed papers that have themselves been cited), including 5 papers in Software, 3 papers in Safety, Risk, Reliability and Quality and 3 papers in Artificial Intelligence. Recurrent topics in Thierry Lecomte's work include Transportation Systems and Safety (3 papers), Formal Methods in Verification (3 papers) and Software Reliability and Analysis Research (2 papers). Thierry Lecomte is often cited by papers focused on Transportation Systems and Safety (3 papers), Formal Methods in Verification (3 papers) and Software Reliability and Analysis Research (2 papers). Thierry Lecomte collaborates with scholars based in United Kingdom, France and Denmark. Thierry Lecomte's co-authors include John Fitzgerald, Jim Woodcock, Jörg Bräuer, Stylianos Basagiannis, Peter Gorm Larsen, Ole Green, Andrey Sadovykh, Peter Fritzson, Leila Ribeiro and Alexander Romanovsky and has published in prestigious journals such as Lecture notes in computer science, Formal Aspects of Computing and Newcastle University ePrints (Newcastle Univesity).

In The Last Decade

Thierry Lecomte

9 papers receiving 113 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Thierry Lecomte United Kingdom	7	56	52	41	27	24	9	124
Michaela Huhn Germany	8	58 1.0×	65 1.3×	70 1.7×	18 0.7×	9 0.4×	31	149
Lena Buffoni Sweden	8	72 1.3×	49 0.9×	18 0.4×	68 2.5×	16 0.7×	18	153
Philipp Reinkemeier Germany	6	83 1.5×	50 1.0×	39 1.0×	9 0.3×	22 0.9×	10	153
Alvaro Miyazawa United Kingdom	9	90 1.6×	97 1.9×	105 2.6×	18 0.7×	9 0.4×	17	199
David Servat France	7	25 0.4×	56 1.1×	69 1.7×	7 0.3×	16 0.7×	15	134
Matthias Güdemann Germany	7	63 1.1×	78 1.5×	63 1.5×	7 0.3×	11 0.5×	17	163
Robert Valette France	9	122 2.2×	14 0.3×	21 0.5×	13 0.5×	46 1.9×	19	164
Vincent Aravantinos Germany	6	23 0.4×	30 0.6×	45 1.1×	5 0.2×	56 2.3×	17	143
Sadaf Mustafiz Canada	8	21 0.4×	90 1.7×	48 1.2×	33 1.2×	7 0.3×	24	139
Iulian Ober France	8	79 1.4×	96 1.8×	66 1.6×	7 0.3×	7 0.3×	20	169

Countries citing papers authored by Thierry Lecomte

Since Specialization

Citations

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

Fields of papers citing papers by Thierry Lecomte

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Thierry Lecomte

This figure shows the co-authorship network connecting the top 25 collaborators of Thierry Lecomte. A scholar is included among the top collaborators of Thierry Lecomte 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 Thierry Lecomte. Thierry Lecomte 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:

9 of 9 papers shown

1.

Beek, Maurice H. ter, Roderick Chapman, Rance Cleaveland, et al.. (2024). Formal Methods in Industry. Formal Aspects of Computing. 37(1). 1–38. 8 indexed citations

2.

Haxthausen, Anne E., et al.. (2022). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecture notes in computer science. 1 indexed citations

3.

Lecomte, Thierry, et al.. (2019). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecture notes in computer science. 8 indexed citations

4.

Romanovsky, Alexander, et al.. (2017). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecture notes in computer science. 6 indexed citations

5.

Larsen, Peter Gorm, John Fitzgerald, Jim Woodcock, et al.. (2016). Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. Newcastle University ePrints (Newcastle Univesity). 1–6. 53 indexed citations

6.

Lecomte, Thierry & Leila Ribeiro. (2016). Formal Methods: Foundations and Applications. Lecture notes in computer science. 8 indexed citations

7.

Lecomte, Thierry, et al.. (2007). Formal Methods in Safety-Critical Railway Systems. 23 indexed citations

8.

Morel, Gérard, et al.. (2004). Proof-Oriented Fault-Tolerant Systems Engineering: Rationales, Experiments and Open Issues. IFAC Proceedings Volumes. 37(5). 13–23. 8 indexed citations

9.

Butler, Michael, Dominique Cansell, Stefan Hallerstede, et al.. (2004). UML-B Specification for Proven Embedded Systems Design. 9 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