Bernhard Steffen

13.3k total citations
221 papers, 3.5k citations indexed

About

Bernhard Steffen is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Bernhard Steffen has authored 221 papers receiving a total of 3.5k indexed citations (citations by other indexed papers that have themselves been cited), including 108 papers in Artificial Intelligence, 80 papers in Computational Theory and Mathematics and 74 papers in Software. Recurrent topics in Bernhard Steffen's work include Formal Methods in Verification (69 papers), Model-Driven Software Engineering Techniques (38 papers) and Software Testing and Debugging Techniques (38 papers). Bernhard Steffen is often cited by papers focused on Formal Methods in Verification (69 papers), Model-Driven Software Engineering Techniques (38 papers) and Software Testing and Debugging Techniques (38 papers). Bernhard Steffen collaborates with scholars based in Germany, United States and Ireland. Bernhard Steffen's co-authors include Tiziana Margaria, Jens Knoop, Oliver Rüthing, Rance Cleaveland, Joachim Parrow, Scott A. Smolka, R.J. vanGlabbeek, Harald Raffelt, Anna-Lena Lamprecht and Falk Howar and has published in prestigious journals such as SHILAP Revista de lepidopterología, The Science of The Total Environment and Electrochimica Acta.

In The Last Decade

Bernhard Steffen

209 papers receiving 3.2k citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Bernhard Steffen Germany 30 1.8k 1.3k 1.2k 743 743 221 3.5k
William H. Sanders United States 30 704 0.4× 596 0.4× 491 0.4× 1.8k 2.4× 932 1.3× 138 3.5k
Susan L. Graham United States 26 2.1k 1.2× 449 0.3× 633 0.5× 2.4k 3.2× 1.1k 1.5× 87 4.5k
Adnan Darwiche United States 30 3.1k 1.7× 822 0.6× 334 0.3× 705 0.9× 256 0.3× 139 4.1k
Yingfei Xiong China 33 1.1k 0.6× 129 0.1× 2.0k 1.7× 797 1.1× 2.2k 3.0× 107 3.3k
Michael J. Maher Australia 25 1.9k 1.0× 699 0.5× 219 0.2× 721 1.0× 220 0.3× 83 2.5k
Vipin Kumar United States 20 889 0.5× 301 0.2× 86 0.1× 873 1.2× 326 0.4× 67 2.0k
Wilson C. Hsieh United States 22 1.0k 0.6× 90 0.1× 199 0.2× 3.8k 5.1× 2.6k 3.5× 66 4.8k
Narsingh Deo United States 20 650 0.4× 884 0.7× 142 0.1× 1.0k 1.4× 186 0.3× 92 3.4k
Robert Fourer United States 19 309 0.2× 543 0.4× 159 0.1× 700 0.9× 157 0.2× 55 2.8k
Christoph Koch Switzerland 34 1.6k 0.9× 255 0.2× 78 0.1× 2.1k 2.8× 736 1.0× 129 3.1k

Countries citing papers authored by Bernhard Steffen

Since Specialization
Citations

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

Fields of papers citing papers by Bernhard Steffen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Bernhard Steffen

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

All Works

20 of 20 papers shown
1.
Steffen, Bernhard. (2024). Rance Cleaveland: a life for formal methods. International Journal on Software Tools for Technology Transfer. 26(3). 247–248. 1 indexed citations
2.
Beyer, Dirk, Marieke Huisman, Fabrice Kordon, & Bernhard Steffen. (2021). TOOLympics II: competitions on formal methods. International Journal on Software Tools for Technology Transfer. 23(6). 879–881.
3.
Steffen, Bernhard, et al.. (2019). A Model-driven Approach to Continuous Practices for Modern Cloud-based Web Applications. 1–6. 6 indexed citations
4.
Hofmann, Diana, Nicolai David Jablonowski, Peter Burauel, & Bernhard Steffen. (2012). Dissolved organic carbon (DOC) in soil extracts investigated by FT-ICR-MS. JuSER (Forschungszentrum Jülich). 14. 13957. 1 indexed citations
5.
Steffen, Bernhard & Oliver Rüthing. (2011). Quality engineering: leveraging heterogeneous information. 23–37. 2 indexed citations
6.
Howar, Falk, Bernhard Steffen, & Maik Merten. (2011). Automata learning with automated alphabet abstraction refinement. 263–277. 11 indexed citations
7.
Lamprecht, Anna-Lena, Tiziana Margaria, & Bernhard Steffen. (2010). Bioinformatics: Processes and Workflows. 118–130. 1 indexed citations
8.
Lamprecht, Anna-Lena, Stefan Naujokat, Tiziana Margaria, & Bernhard Steffen. (2009). Semantics-Based Composition of EMBOSS Services with Bio-jETI.. 6 indexed citations
9.
Kubczak, Christian, Tiziana Margaria, Ralf Nagel, & Bernhard Steffen. (2008). Plug and Play with FMICS-jETI: Beyond Scripting and Coding.. ERCIM news/ERCIM news online edition. 2008. 1 indexed citations
10.
Margaria, Tiziana & Bernhard Steffen. (2007). LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. 214–226. 14 indexed citations
11.
12.
Margaria, Tiziana, et al.. (2005). IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. NASA STI Repository (National Aeronautics and Space Administration). 1 indexed citations
13.
Steffen, Bernhard, et al.. (2004). Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations
14.
Steffen, Bernhard. (2001). Subspace methods for large sparse interior eigenvalue problems. JuSER (Forschungszentrum Jülich). 3. 339–351. 2 indexed citations
15.
Steffen, Bernhard. (1998). Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 6 indexed citations
16.
Basermann, Achim & Bernhard Steffen. (1997). New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers.. PPSC. 3 indexed citations
17.
18.
Brinksma, Ed, W. R. Cleaveland, Kim G. Larsen, Tiziana Margaria, & Bernhard Steffen. (1995). Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers. University of Twente Research Information. 1. 3 indexed citations
19.
Freitag, Burkhard, et al.. (1995). An Approach to Intelligent Software Library Management. 71–78. 6 indexed citations
20.
Hungar, Hardi & Bernhard Steffen. (1994). Local model checking for context-free processes. Nordic journal of computing. 1(3). 364–385. 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

Breakdown of academic impact, for papers by William H. Sanders Breakdown of academic impact, for papers by Susan L. Graham Breakdown of academic impact, for papers by Adnan Darwiche Breakdown of academic impact, for papers by Yingfei Xiong Breakdown of academic impact, for papers by Michael J. Maher Breakdown of academic impact, for papers by Vipin Kumar Breakdown of academic impact, for papers by Wilson C. Hsieh Breakdown of academic impact, for papers by Narsingh Deo Breakdown of academic impact, for papers by Robert Fourer Breakdown of academic impact, for papers by Christoph Koch
Rankless by CCL
2026