Reinhard Wilhelm
Reinhard Wilhelm publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Software, on topics such as Parallel Computing and Optimization Techniques, Formal Methods in Verification and Embedded Systems Design Techniques.
- World rank
- #3,146 of 1,633,909 ranked researchers
- Rank in Germany
- #429 of 86,443
- Works
- 95
- Citations
- 864
- Citations per work
- 9.1
What does Reinhard Wilhelm research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture24% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Software11% of their works
- 4Computer Networks and Communications8% of their works
- 5Artificial Intelligence7% of their works
- 6Information Systems6% of their works
Research topics
Which keywords describe Reinhard Wilhelm's research?
The keywords of their largest research topics: Embedded Systems, Model Checking, Parallel Computing, Performance Optimization, Hard Real-Time Systems, High-Level Synthesis, Reconfigurable Computing and Satisfiability Modulo Theories.
- Model-Driven Engineering
- Static Analysis
- Refactoring
- Code Clone Detection
- Symbolic Model Checker
- Satisfiability Modulo Theories
- High-Level Synthesis
- Performance Optimization
- Model Checking
- Embedded Systems
- Parallel Computing
- Hard Real-Time Systems
- Reconfigurable Computing
- Scheduling Algorithms
- Automated Testing
- Formal Verification
- Software Fault Localization
- Domain-Specific Languages
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 18 words, with their numbers
- Embedded Systems122 topics
- Model Checking102 topics
- Parallel Computing81 topic
- Performance Optimization81 topic
- Hard Real-Time Systems61 topic
- High-Level Synthesis61 topic
- Reconfigurable Computing61 topic
- Satisfiability Modulo Theories61 topic
- Scheduling Algorithms61 topic
- Symbolic Model Checker61 topic
- Automated Testing41 topic
- Code Clone Detection41 topic
- Formal Verification41 topic
- Refactoring41 topic
- Software Fault Localization41 topic
- Static Analysis41 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
Where does Reinhard Wilhelm work?
Reinhard Wilhelm's main affiliation in the publication record is Saarland University, Germany.
How many publications and citations does Reinhard Wilhelm have?
Science Explorer counts 95 works and 864 citations for Reinhard Wilhelm, ranking #3,146 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.