Question 1

What does Gerd Harbeck research?

Accepted Answer

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.

Question 2

Which keywords describe Gerd Harbeck's research?

Accepted Answer

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.

Question 3

Where does Gerd Harbeck work?

Accepted Answer

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

Question 4

How many publications and citations does Gerd Harbeck have?

Accepted Answer

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.

Question 5

Is Gerd Harbeck's h-index high?

Accepted Answer

An h-index of 1 is at or above that of 2.1% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 99.3%.