Michaël Leuschel

4.7k total citations
100 papers, 889 citations indexed

About

Michaël Leuschel is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Michaël Leuschel has authored 100 papers receiving a total of 889 indexed citations (citations by other indexed papers that have themselves been cited), including 64 papers in Computational Theory and Mathematics, 51 papers in Artificial Intelligence and 45 papers in Software. Recurrent topics in Michaël Leuschel's work include Formal Methods in Verification (60 papers), Logic, programming, and type systems (39 papers) and Software Testing and Debugging Techniques (31 papers). Michaël Leuschel is often cited by papers focused on Formal Methods in Verification (60 papers), Logic, programming, and type systems (39 papers) and Software Testing and Debugging Techniques (31 papers). Michaël Leuschel collaborates with scholars based in Germany, United Kingdom and Belgium. Michaël Leuschel's co-authors include Michael Butler, Danny De Schreye, Bern Martens, Maurice Bruynooghe, Carl Friedrich Bolz, Jesper Jørgensen, Steve Barker, Armin Rigo, David C. Schneider and Manoranjan Satpathy and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Michaël Leuschel

97 papers receiving 796 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Michaël Leuschel Germany	15	565	530	398	183	150	100	889
Ian J. Hayes Australia	15	639 1.1×	572 1.1×	369 0.9×	234 1.3×	306 2.0×	92	1.1k
Michel Bidoit France	13	495 0.9×	535 1.0×	280 0.7×	106 0.6×	147 1.0×	37	855
Cesare Tinelli United States	17	872 1.5×	784 1.5×	447 1.1×	156 0.9×	218 1.5×	73	1.3k
Ofer Strichman Israel	16	415 0.7×	486 0.9×	468 1.2×	137 0.7×	198 1.3×	59	850
Doron Peled United States	22	656 1.2×	1.0k 1.9×	646 1.6×	237 1.3×	124 0.8×	84	1.4k
Natarajan Shankar United States	20	732 1.3×	768 1.4×	379 1.0×	376 2.1×	160 1.1×	53	1.3k
François Laroussinie France	11	326 0.6×	482 0.9×	260 0.7×	104 0.6×	85 0.6×	27	701
Ph. Schnoebelen France	12	392 0.7×	668 1.3×	286 0.7×	98 0.5×	91 0.6×	26	877
Dines Bjørner Denmark	12	495 0.9×	300 0.6×	300 0.8×	86 0.5×	279 1.9×	84	771
Béatrice Bérard France	11	256 0.5×	521 1.0×	246 0.6×	153 0.8×	90 0.6×	31	760

Countries citing papers authored by Michaël Leuschel

Since Specialization

Citations

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

Fields of papers citing papers by Michaël Leuschel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michaël Leuschel

This figure shows the co-authorship network connecting the top 25 collaborators of Michaël Leuschel. A scholar is included among the top collaborators of Michaël Leuschel 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 Michaël Leuschel. Michaël Leuschel 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

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

Reinhardt, Sophia, et al.. (2023). Smartphone-Based Videonystagmography Using Artificial Intelligence. SHILAP Revista de lepidopterología. 9(1). 528–531. 1 indexed citations

Leuschel, Michaël, et al.. (2023). Certified Control for Train Sign Classification. Electronic Proceedings in Theoretical Computer Science. 395. 69–76. 1 indexed citations

Leuschel, Michaël, Vı́tor Santos Costa, Verónica Dahl, et al.. (2022). Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming. 22(6). 776–858. 16 indexed citations

Reinhardt, Sophia, et al.. (2022). VertiGo-App – Smartphone-based video nystagmography using artificial intelligence. Laryngo-Rhino-Otologie. 101(S 02). S243–S244. 1 indexed citations

Leuschel, Michaël, et al.. (2019). Translating Alloy and extensions to classical B. Science of Computer Programming. 188. 102378–102378.

Leuschel, Michaël & Germán Vidal. (2014). Fast offline partial evaluation of logic programs. Information and Computation. 235. 70–97. 2 indexed citations

Leuschel, Michaël, et al.. (2012). Static slicing of explicitly synchronized languages. Information and Computation. 214. 10–46. 3 indexed citations

Leuschel, Michaël, et al.. (2011). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. School of Computing Science Technical Report Series. 2 indexed citations

10.

Jones, Cliff B., et al.. (2011). Proceedings of the 11th workshop on Automated Verification of Critical Systems. 1 indexed citations

11.

Butler, Michael & Michaël Leuschel. (2005). Combining CSP and B for Specification and Property Verification. ePrints Soton (University of Southampton). 6 indexed citations

12.

Leuschel, Michaël. (2003). Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers. Springer eBooks. 2 indexed citations

13.

Leuschel, Michaël, et al.. (2003). Partial evaluation of MATLAB. 344–363. 11 indexed citations

14.

Leuschel, Michaël, et al.. (2000). Proceedings of the Workshop on Verification and Computational Logic VCL'2000. ePrints Soton (University of Southampton). 1 indexed citations

15.

Hartel, Pieter, Michael Butler, Andrew Currie, et al.. (1999). Questions and Answers About Ten Formal Methods. ePrints Soton (University of Southampton). 5 indexed citations

16.

Schreye, Danny De, Robert Glück, Jesper Jørgensen, et al.. (1999). Conjunctive partial deduction: foundations, control, algorithms, and experiments. The Journal of Logic Programming. 41(2-3). 231–277. 37 indexed citations

17.

Leuschel, Michaël. (1998). Program specialisation and abstract interpretation reconciled. ePrints Soton (University of Southampton). 220–234. 10 indexed citations

18.

Leuschel, Michaël. (1997). The ECCE Partial Deduction System. ePrints Soton (University of Southampton). 4 indexed citations

19.

Leuschel, Michaël, et al.. (1996). A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. Lirias (KU Leuven). 319–332. 32 indexed citations

20.

Leuschel, Michaël & Bern Martens. (1995). Generating specialised update procedures through partial deduction of the ground representation. Lirias (KU Leuven). 81–95. 3 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