Stefan Leue

2.4k total citations
70 papers, 727 citations indexed

About

Stefan Leue is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Stefan Leue has authored 70 papers receiving a total of 727 indexed citations (citations by other indexed papers that have themselves been cited), including 50 papers in Computational Theory and Mathematics, 46 papers in Software and 21 papers in Artificial Intelligence. Recurrent topics in Stefan Leue's work include Formal Methods in Verification (49 papers), Software Reliability and Analysis Research (28 papers) and Software Testing and Debugging Techniques (25 papers). Stefan Leue is often cited by papers focused on Formal Methods in Verification (49 papers), Software Reliability and Analysis Research (28 papers) and Software Testing and Debugging Techniques (25 papers). Stefan Leue collaborates with scholars based in Germany, Canada and United States. Stefan Leue's co-authors include Husain Aljazzar, Alberto Lluch Lafuente, Stefan Edelkamp, Peter B. Ladkin, Dragan Bošnački, Giuseppe Di Fatta, Hanêne Ben‐Abdallah, M. Küntz, Gerard J. Holzmann and Philippe Oechslin and has published in prestigious journals such as SHILAP Revista de lepidopterología, PLoS ONE and IEEE Transactions on Software Engineering.

In The Last Decade

Stefan Leue

63 papers receiving 662 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Stefan Leue Germany	15	415	397	263	149	141	70	727
Béatrice Bérard France	11	521 1.3×	246 0.6×	256 1.0×	90 0.6×	172 1.2×	31	760
Thai Son Hoang United Kingdom	8	257 0.6×	197 0.5×	236 0.9×	100 0.7×	101 0.7×	42	482
István Majzik Hungary	12	258 0.6×	406 1.0×	271 1.0×	160 1.1×	125 0.9×	49	630
Dimitra Giannakopoulou United States	18	490 1.2×	528 1.3×	574 2.2×	322 2.2×	181 1.3×	62	998
Man‐Tak Shing United States	13	155 0.4×	188 0.5×	164 0.6×	155 1.0×	162 1.1×	79	504
Elvinia Riccobene Italy	15	250 0.6×	417 1.1×	448 1.7×	361 2.4×	324 2.3×	101	958
Jifeng He China	16	290 0.7×	260 0.7×	437 1.7×	253 1.7×	182 1.3×	102	780
Augusto Sampaio Brazil	14	253 0.6×	255 0.6×	316 1.2×	238 1.6×	78 0.6×	74	607
Thierry Jéron France	12	399 1.0×	438 1.1×	176 0.7×	134 0.9×	140 1.0×	35	703
Andreas Bauer Germany	11	308 0.7×	205 0.5×	296 1.1×	81 0.5×	149 1.1×	33	603

Countries citing papers authored by Stefan Leue

Since Specialization

Citations

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

Fields of papers citing papers by Stefan Leue

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Stefan Leue

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

Leue, Stefan, et al.. (2021). Automated repair for timed systems. Formal Methods in System Design. 59(1-3). 136–169. 1 indexed citations

Leue, Stefan, et al.. (2012). A Neuronal Network Model for Simulating the Effects of Repetitive Transcranial Magnetic Stimulation on Local Field Potential Power Spectra. PLoS ONE. 7(11). e49097–e49097. 3 indexed citations

Leue, Stefan & Wei Wei. (2011). Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. IEEE Transactions on Software Engineering. 39(2). 216–236.

Aljazzar, Husain & Stefan Leue. (2011). K⁎: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence. 175(18). 2129–2154. 105 indexed citations

Aljazzar, Husain, et al.. (2010). Directed and heuristic counterexample generation for probabilistic model checking. KOPS (University of Konstanz). 25–32. 6 indexed citations

Aljazzar, Husain & Stefan Leue. (2009). Generation of Counterexamples for Model Checking of Markov Decision Processes. KOPS (University of Konstanz). 197–206. 12 indexed citations

Leue, Stefan, et al.. (2009). Automated Predicate Abstraction for Real-Time Models. SHILAP Revista de lepidopterología. 10. 36–43. 1 indexed citations

Leue, Stefan, et al.. (2006). A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. KOPS (University of Konstanz). 1 indexed citations

Aljazzar, Husain, et al.. (2005). Counterexamples for timed probabilistic reachability. KOPS (University of Konstanz). 1 indexed citations

10.

Leue, Stefan & Philippe Oechslin. (2002). Optimization techniques for parallel protocol implementation. KOPS (University of Konstanz). 387–393. 2 indexed citations

11.

Leue, Stefan & Philippe Oechslin. (2002). Formalizations and algorithms for optimized parallel protocol implementation. KOPS (University of Konstanz). c 9. 178–185.

12.

Bošnački, Dragan & Stefan Leue. (2002). Proceedings of the 9th International SPIN Workshop on Model Checking of Software. 22 indexed citations

13.

Edelkamp, Stefan, Alberto Lluch Lafuente, & Stefan Leue. (2001). Protocol verification with heuristic search. KOPS (University of Konstanz). 27 indexed citations

14.

Fischer, Stefan & Stefan Leue. (1998). Formal methods for broadband and multimedia systems. Computer Networks and ISDN Systems. 30(9-10). 865–899. 8 indexed citations

15.

Ben‐Abdallah, Hanêne & Stefan Leue. (1996). Syntactic Analysis of Message Sequence Chart Specifications. KOPS (University of Konstanz). 5 indexed citations

16.

Leue, Stefan & Philippe Oechslin. (1996). On parallelizing and optimizing the implementation of communication protocols. IEEE/ACM Transactions on Networking. 4(1). 55–70. 12 indexed citations

17.

Ladkin, Peter B. & Stefan Leue. (1994). Four issues concerning the semantics of Message Flow Graphs.. KOPS (University of Konstanz). 355–369. 5 indexed citations

18.

Leue, Stefan. (1994). QoS Specification Based on SDL/MSC and Temporal Logic. KOPS (University of Konstanz). 7 indexed citations

19.

Ladkin, Peter B. & Stefan Leue. (1993). What Do Message Sequence Charts Mean. KOPS (University of Konstanz). 301–316. 6 indexed citations

20.

Ladkin, Peter B. & Stefan Leue. (1993). On the semantics of message sequence charts. KOPS (University of Konstanz). 88–104. 2 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