Science Explorer Back to mapMap
Discussion
Researcher · B. Braun (Netherlands) · Netherlands

Gerd Harbeck

Gerd Harbeck publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Modeling and Simulation Systems.

OpenAlex
World rank
#4,629,292
of 7,710,434 ranked researchers
Rank in Netherlands
#84,644
of 107,149
Works
24
Citations
4
Citations per work
0.2
h-index
1
i10-index 0Top 99.3% in Computational Theory and Mathematics
Gerd Harbeck

What does Gerd Harbeck research?

Gerd Harbeck's work is mostly in Computer Science (76%), Arts and Humanities (7%).

Physical Sciences: 18 works · 75.6% of their workComputer Science: 18 works · 75.6% of their workComputational Theory and Mathematics: 7 works · 31.1% of their workArtificial Intelligence: 4 works · 17.8% of their workHardware and Architecture: 3 works · 11.1% of their workSoftware: 2 works · 8.9% of their workComputer Networks and Communications: 2 works · 6.7% of their workEverything else: 4 works · 17.7% of their workSocial Sciences: 2 works · 6.7% of their workArts and Humanities: 2 works · 6.7% of their workLanguage and Linguistics: 2 works · 6.7% of their workTHEIR WORKGerd Harbeck24works
Physical Sciences76%Social Sciences7%

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 Science1875.6%
  2. Everything else417.7%
    1. Arts and Humanities26.7%
  1. 1Computational Theory and Mathematics31% of their works
  2. 2Artificial Intelligence18% of their works
  3. 3Hardware and Architecture11% of their works
  4. 4Software9% of their works
  5. 5Language and Linguistics7% of their works
  6. 6Computer Networks and Communications7% of their works

Research topics

Which keywords describe Gerd Harbeck's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Modelica, Parallel Computing and Performance Optimization.

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 Checking162 topics
  2. Formal Verification81 topic
  3. Satisfiability Modulo Theories81 topic
  4. Static Analysis81 topic
  5. Symbolic Model Checker81 topic
  6. Modelica41 topic
  7. Parallel Computing41 topic
  8. Performance Optimization41 topic
  9. Simulation41 topic
  10. Domain-Specific Languages31 topic
  11. Model-Driven Engineering31 topic
  12. Discourse Analysis21 topic
  13. Fluid Dynamics21 topic
  14. Gröbner Bases21 topic
  15. Language Variation21 topic
  16. Renewable Energy21 topic
  17. Symbolic Computing21 topic

Where does Gerd Harbeck work?

Gerd Harbeck's main affiliation in the publication record is B. Braun (Netherlands), Netherlands.

How many publications and citations does Gerd Harbeck have?

OpenAlex counts 24 works and 4 citations for Gerd Harbeck, an h-index of 1, ranking #4,629,292 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 Gerd Harbeck. Posts are plain text and can be reported.