Ullrich Hustadt

University of Liverpool

论文数

4

总引用数

89

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 89 次引用
Software engineering3 · 83 次引用
Robot3 · 83 次引用
Artificial intelligence3 · 83 次引用
Theoretical computer science3 · 79 次引用
Programming language2 · 72 次引用
Mathematics2 · 68 次引用
Temporal logic2 · 68 次引用
Robotics1 · 62 次引用
Gas meter prover1 · 62 次引用
Automated theorem proving1 · 62 次引用
Resolution (logic)1 · 62 次引用

主要成就

4
H 指数
4
论文
89
总引用数
22
篇均引用
🏆 最高被引论文
TRP++ 2.0: A Temporal Resolution Prover
62 次引用 · 2003
📈 最高产年份: 2003 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Liverpool

代表论文

  1. 1
    TRP++ 2.0: A Temporal Resolution Prover
    62 次引用 · 2003
  2. 2
    Probabilistic Model Checking of Ant-Based Positionless Swarming
    11 次引用 · 2016
  3. 3
    CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
    10 次引用 · 2017
  4. 4
    Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
    6 次引用 · 2020

主要合作者

CDClare Dixon3 篇合著论文PGPaul Gainer2 篇合著论文MFMichael Fisher1 篇合著论文BKBoris Konev1 篇合著论文MWMatt Webster1 篇合著论文AOAna Ozaki1 篇合著论文KDKerstin Dautenhahn1 篇合著论文JSJoe Saunders1 篇合著论文
尚未生成