Question 1

What does Dirk Beyer research?

Accepted Answer

Dirk Beyer publishes mostly in Software, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Software Testing and Debugging Techniques, Formal Methods in Verification and Software Reliability and Analysis Research.

Question 2

Which keywords describe Dirk Beyer's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling and Code Clone Detection.

Question 3

Where does Dirk Beyer work?

Accepted Answer

Dirk Beyer's main affiliation in the publication record is Ludwig-Maximilians-Universität München, Germany.

Question 4

How many publications and citations does Dirk Beyer have?

Accepted Answer

OpenAlex counts 445 works and 9,404 citations for Dirk Beyer, an h-index of 55, ranking #114,058 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Dirk Beyer's h-index high?

Accepted Answer

An h-index of 55 is at or above that of 99.4% of the 2,715 ranked researchers whose main subfield is Software, which is in the top 0.8%.