Papers
4
Total Citations
42
H-Index
4
About
No biography available yet.
Research Focus
Computer science4 · 42 citations
Hybrid automaton1 · 28 citations
Collision1 · 28 citations
Correctness1 · 28 citations
Distributed computing1 · 28 citations
Exploit1 · 28 citations
Model checking1 · 28 citations
Collision avoidance1 · 28 citations
Process (computing)1 · 28 citations
Computer security1 · 28 citations
Automaton1 · 28 citations
Property (philosophy)1 · 28 citations
Key Achievements
4
H-Index
4
Papers
42
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
28 citations · 2016
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Clausthal University of Technology, TU Dortmund University
Top Papers
- 1
- 2
- 3
- 4
Key Collaborators
NONatalia Ogorelysheva1 shared papersHTHarun Teper1 shared papersARAndreas Rausch1 shared papersDADaniel Arnsberger1 shared papersAVAnna Vasileva1 shared papersAAAdina Aniculăesei1 shared papersSNStefan Naujokat1 shared papersDMDominik Mäckel1 shared papersTSTill Schallau1 shared papersMGMario Günzel1 shared papersGVGeorg von der Brüggen1 shared papersDKDaniel Kuhse1 shared papersMRMoritz Roidl1 shared papersKCKuan-Hsun Chen1 shared papersJSJannik Stadtler1 shared papers
Not generated yet