Ralph Hoch
Papers
2
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Computer science2 · 5 citations
Artificial intelligence2 · 5 citations
Robot2 · 5 citations
Formal verification1 · 4 citations
Generality1 · 4 citations
Human–computer interaction1 · 4 citations
Software engineering1 · 4 citations
Clamping1 · 4 citations
Formal methods1 · 4 citations
Model checking1 · 4 citations
Programming language1 · 4 citations
Runtime verification1 · 4 citations
Key Achievements
1
H-Index
2
Papers
5
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
4 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: TU Wien, Vorarlberg University of Applied Sciences
Top Papers
- 1
- 2
Key Collaborators
SHSebastian Hegenbart1 shared papersTLThomas Lorünser1 shared papersBRBerhnard Reiterer1 shared papersHKHermann Kaindl1 shared papersASAdam Skuta1 shared papersMHMichael Hofbaur1 shared papersMRMichael Rathmair1 shared papersTHThomas Haspl1 shared papersPSPhilipp Steurer1 shared papersCLChristoph Luckeneder1 shared papers
Not generated yet