Science Explorer Interactive view Map
Researcher · Saarland University · Germany

Reinhold Heckmann

Reinhold Heckmann publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Real-Time Systems Scheduling, Embedded Systems Design Techniques and Formal Methods in Verification.

OpenAlex
World rank
#74,446
of 1,633,909 ranked researchers
Rank in Germany
#4,926
of 86,443
Works
25
Citations
571
Citations per work
22.8

What does Reinhold Heckmann research?

Hardware and Architecture: 39.4%Computational Theory and Mathematics: 27.3%Artificial Intelligence: 6.1%Education: 6.1%other fields: 21.1%39%top field
Hardware and Architecture39.4%Computational Theory and Mathematics27.3%Artificial Intelligence6.1%Education6.1%other fields21.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Hardware and Architecture39% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3Artificial Intelligence6% of their works
  4. 4Education6% of their works
  5. 5Geometry and Topology6% of their works
  6. 6Computer Networks and Communications3% of their works

Research topics

Which keywords describe Reinhold Heckmann's research?

The keywords of their largest research topics: Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, High-Level Synthesis, Model Checking, Reconfigurable Computing, Temporal Logic and Satisfiability Modulo Theories.

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 19 words, with their numbers
  1. Embedded Systems112 topics
  2. Hard Real-Time Systems61 topic
  3. Scheduling Algorithms61 topic
  4. High-Level Synthesis51 topic
  5. Model Checking52 topics
  6. Reconfigurable Computing51 topic
  7. Temporal Logic52 topics
  8. Satisfiability Modulo Theories41 topic
  9. Symbolic Model Checker41 topic
  10. Algorithmic Information Theory21 topic
  11. Computability21 topic
  12. Floating-Point Arithmetic21 topic
  13. Interval Analysis21 topic
  14. Model Theory21 topic
  15. Parallel Computing21 topic
  16. Performance Optimization21 topic
  17. Topological Dynamics21 topic
  18. Answer Set Programming11 topic
  19. Modal Logic11 topic

Where does Reinhold Heckmann work?

Reinhold Heckmann's main affiliation in the publication record is Saarland University, Germany.

How many publications and citations does Reinhold Heckmann have?

Science Explorer counts 25 works and 571 citations for Reinhold Heckmann, ranking #74,446 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.