Stefan Bedenk
Papers
1
Total Citations
23
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 23 citations
Compiler1 · 23 citations
Computer science1 · 23 citations
Context (archaeology)1 · 23 citations
Correctness1 · 23 citations
Deadlock1 · 23 citations
Industrial robot1 · 23 citations
Model checking1 · 23 citations
Programmer1 · 23 citations
Programming language1 · 23 citations
Promela1 · 23 citations
Robot1 · 23 citations
Key Achievements
1
H-Index
1
Papers
23
Total Citations
23
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Industrial Robot Systems
23 citations · 2011
📈 Most Prolific Year: 2011 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Audi (Germany)
Top Papers
- 1Model Checking Industrial Robot Systems23 citations · 2011
Key Collaborators
Not generated yet