Ulrich Furbach
Papers
5
Total Citations
82
H-Index
5
About
No biography available yet.
Research Focus
Computer science5 · 82 citations
Model checking3 · 47 citations
Programming language3 · 47 citations
Temporal logic2 · 25 citations
Synchronization (alternating current)2 · 25 citations
State (computer science)2 · 25 citations
Automaton2 · 25 citations
Finite-state machine2 · 25 citations
Abstraction2 · 25 citations
Hybrid system2 · 25 citations
Distributed computing2 · 25 citations
Theoretical computer science2 · 25 citations
Key Achievements
5
H-Index
5
Papers
82
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Multi-Robot Systems: Modeling, Specification, and Model Checking
22 citations · 2010
📈 Most Prolific Year: 2008 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of Koblenz and Landau
Top Papers
- 1Multi-Robot Systems: Modeling, Specification, and Model Checking22 citations · 2010
- 2IRobot - uMan21 citations · 2011
- 3
- 4Commonsense Reasoning Meets Theorem Proving14 citations · 2016
- 5Model Checking Hybrid Multiagent Systems for the RoboCup8 citations · 2008
Key Collaborators
Not generated yet