Question 1

What does Bernhard Steffen research?

Accepted Answer

Bernhard Steffen publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Model-Driven Software Engineering Techniques.

Question 2

Which keywords describe Bernhard Steffen's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Domain-Specific Languages, Model-Driven Engineering and Active Learning.

Question 3

Where does Bernhard Steffen work?

Accepted Answer

Bernhard Steffen's main affiliation in the publication record is TU Dortmund University, Germany.

Question 4

How many publications and citations does Bernhard Steffen have?

Accepted Answer

OpenAlex counts 561 works and 14,913 citations for Bernhard Steffen, an h-index of 64, ranking #185,848 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Bernhard Steffen's h-index high?

Accepted Answer

An h-index of 64 is at or above that of 99.6% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 0.4%.