Ulrich Furbach

University of Koblenz and Landau

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

  1. 1
    Multi-Robot Systems: Modeling, Specification, and Model Checking
    22 citations · 2010
  2. 2
    IRobot - uMan
    21 citations · 2011
  3. 3
    Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking
    17 citations · 2008
  4. 4
    Commonsense Reasoning Meets Theorem Proving
    14 citations · 2016
  5. 5
    Model Checking Hybrid Multiagent Systems for the RoboCup
    8 citations · 2008

Key Collaborators

FSFrieder Stolzenburg3 shared papersFSFalk Schmidsberger2 shared papersJMJan Murray2 shared papersAMAmmar Mohammed1 shared papersUBUlrike Barthelmeß1 shared papersCSClaudia Schon1 shared papers
Not generated yet