Science Explorer Back to mapMap
Discussion
Researcher · Ludwig-Maximilians-Universität München · Germany

Dirk Beyer

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.

ORCID 0000-0003-4832-7662 OpenAlex
World rank
#114,058
of 7,710,434 ranked researchers
Rank in Germany
#5,999
of 364,343
Works
445
Citations
9.4k
Citations per work
21.1
h-index
55
i10-index 161Top 0.8% in Software
Dirk Beyer

What does Dirk Beyer research?

Dirk Beyer's work is mostly in Computer Science (65%), Engineering (9%).

Physical Sciences: 327 works · 73.4% of their workComputer Science: 287 works · 64.6% of their workSoftware: 122 works · 27.5% of their workComputational Theory and Mathematics: 66 works · 14.8% of their workInformation Systems: 38 works · 8.5% of their workArtificial Intelligence: 37 works · 8.4% of their workComputer Networks and Communications: 24 works · 5.4% of their workEngineering: 39 works · 8.8% of their workElectrical and Electronic Engineering: 39 works · 8.8% of their workEverything else: 118 works · 26.6% of their workTHEIR WORKDirk Beyer445works
Physical Sciences73%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science28764.6%
    2. Engineering398.8%
  2. Everything else11826.6%
  1. 1Software28% of their works
  2. 2Computational Theory and Mathematics15% of their works
  3. 3Electrical and Electronic Engineering9% of their works
  4. 4Information Systems8% of their works
  5. 5Artificial Intelligence8% of their works
  6. 6Computer Networks and Communications5% of their works

Research topics

Which keywords describe Dirk Beyer's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 17 words, with their numbers
  1. Model Checking1672 topics
  2. Automated Testing1611 topic
  3. Software Fault Localization1611 topic
  4. Satisfiability Modulo Theories1411 topic
  5. Symbolic Model Checker1411 topic
  6. Architecture-Based Approach1001 topic
  7. Software Reliability Modeling1001 topic
  8. Code Clone Detection611 topic
  9. Refactoring611 topic
  10. Electron Beam Lithography441 topic
  11. Nanofabrication441 topic
  12. Autonomic Computing301 topic
  13. Self-Adaptive Systems301 topic
  14. Formal Verification261 topic
  15. Static Analysis261 topic
  16. Information Sharing201 topic
  17. Supply Chain Coordination201 topic

Where does Dirk Beyer work?

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

How many publications and citations does Dirk Beyer have?

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.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Dirk Beyer. Posts are plain text and can be reported.