Harald Rueß
Harald Rueß publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Embedded Systems Design Techniques.
- World rank
- #108,070 of 1,633,909 ranked researchers
- Rank in United States
- #46,964 of 358,040
- Works
- 30
- Citations
- 220
- Citations per work
- 7.3
What does Harald Rueß research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics35% of their works
- 2Artificial Intelligence24% of their works
- 3Hardware and Architecture18% of their works
- 4Software6% of their works
- 5Electrical and Electronic Engineering6% of their works
- 6Mathematical Physics3% of their works
Research topics
Which keywords describe Harald Rueß's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Autonomic Computing, Hard Real-Time Systems, High-Level Synthesis and Reconfigurable Computing.
- Side-Channel Attacks
- Security Policies
- Backpropagation Learning
- Static Analysis
- Formal Verification
- Self-Adaptive Systems
- Reconfigurable Computing
- Hard Real-Time Systems
- Embedded Systems
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Autonomic Computing
- High-Level Synthesis
- Scheduling Algorithms
- Deep Learning
- Neural Networks
- Adversarial Examples
- Robustness
- Self-Organizing Maps
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 20 words, with their numbers
- Model Checking112 topics
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Embedded Systems62 topics
- Autonomic Computing31 topic
- Hard Real-Time Systems31 topic
- High-Level Synthesis31 topic
- Reconfigurable Computing31 topic
- Scheduling Algorithms31 topic
- Self-Adaptive Systems31 topic
- Deep Learning22 topics
- Formal Verification21 topic
- Neural Networks22 topics
- Static Analysis21 topic
- Adversarial Examples11 topic
- Backpropagation Learning11 topic
- Robustness11 topic
- Security Policies11 topic
- Self-Organizing Maps11 topic
- Side-Channel Attacks11 topic
Where does Harald Rueß work?
Harald Rueß's main affiliation in the publication record is SRI International, United States.
How many publications and citations does Harald Rueß have?
Science Explorer counts 30 works and 220 citations for Harald Rueß, ranking #108,070 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.