Berhnard Reiterer

Joanneum Research

Papers

1

Total Citations

4

H-Index

1

About

No biography available yet.

Research Focus

Artificial intelligence1 · 4 citations
Clamping1 · 4 citations
Computer science1 · 4 citations
Formal methods1 · 4 citations
Formal verification1 · 4 citations
Generality1 · 4 citations
Human–computer interaction1 · 4 citations
Model checking1 · 4 citations
Programming language1 · 4 citations
Robot1 · 4 citations
Runtime verification1 · 4 citations
Software engineering1 · 4 citations

Key Achievements

1
H-Index
1
Papers
4
Total Citations
4
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: 6
🏛 Institutions: Joanneum Research

Top Papers

  1. 1
    Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
    4 citations · 2021

Key Collaborators

RHRalph Hoch1 shared papersHKHermann Kaindl1 shared papersMHMichael Hofbaur1 shared papersMRMichael Rathmair1 shared papersTHThomas Haspl1 shared papersCLChristoph Luckeneder1 shared papers
Not generated yet