Heinrich Rust
Heinrich Rust publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Semantic Web and Ontologies.
- World rank
- #1,438,544 of 1,633,909 ranked researchers
- Rank in Germany
- #78,716 of 86,443
- Works
- 33
- Citations
- 4
- Citations per work
- 0.1
What does Heinrich Rust 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 Mathematics19% of their works
- 2Artificial Intelligence16% of their works
- 3Software14% of their works
- 4Computational Mechanics8% of their works
- 5Information Systems8% of their works
- 6Industrial and Manufacturing Engineering5% of their works
Research topics
Which keywords describe Heinrich Rust's research?
The keywords of their largest research topics: Domain-Specific Languages, Model Checking, Model-Driven Engineering, Symbolic Model Checker, Deadlock Prevention, Fluid Dynamics, Ontology and Petri Nets.
- Self-Adaptive Systems
- Reconfigurable Manufacturing Systems
- Code Clone Detection
- Semantic Web
- Petri Nets
- Fluid Dynamics
- Symbolic Model Checker
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Deadlock Prevention
- Ontology
- Renewable Energy
- Autonomic Computing
- Flexible Automation
- Refactoring
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 16 words, with their numbers
- Domain-Specific Languages41 topic
- Model Checking41 topic
- Model-Driven Engineering41 topic
- Symbolic Model Checker41 topic
- Deadlock Prevention31 topic
- Fluid Dynamics31 topic
- Ontology31 topic
- Petri Nets31 topic
- Renewable Energy31 topic
- Semantic Web31 topic
- Autonomic Computing21 topic
- Code Clone Detection21 topic
- Flexible Automation21 topic
- Reconfigurable Manufacturing Systems21 topic
- Refactoring21 topic
- Self-Adaptive Systems21 topic
Where does Heinrich Rust work?
Heinrich Rust's main affiliation in the publication record is Brandenburg University of Technology Cottbus-Senftenberg, Germany.
How many publications and citations does Heinrich Rust have?
Science Explorer counts 33 works and 4 citations for Heinrich Rust, ranking #1,438,544 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.