Ulrich Furbach

University of Koblenz and Landau

论文数

5

总引用数

82

H-Index

5

关于

暂无简介。

研究焦点

Computer science5 · 82 次引用
Model checking3 · 47 次引用
Programming language3 · 47 次引用
Temporal logic2 · 25 次引用
Synchronization (alternating current)2 · 25 次引用
State (computer science)2 · 25 次引用
Automaton2 · 25 次引用
Finite-state machine2 · 25 次引用
Abstraction2 · 25 次引用
Hybrid system2 · 25 次引用
Distributed computing2 · 25 次引用
Theoretical computer science2 · 25 次引用

主要成就

5
H 指数
5
论文
82
总引用数
16
篇均引用
🏆 最高被引论文
Multi-Robot Systems: Modeling, Specification, and Model Checking
22 次引用 · 2010
📈 最高产年份: 2008 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: University of Koblenz and Landau

代表论文

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

主要合作者

FSFrieder Stolzenburg3 篇合著论文FSFalk Schmidsberger2 篇合著论文JMJan Murray2 篇合著论文AMAmmar Mohammed1 篇合著论文UBUlrike Barthelmeß1 篇合著论文CSClaudia Schon1 篇合著论文
尚未生成