Ullrich Hustadt

University of Liverpool

Papers

4

Total Citations

89

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
89
Total Citations
22
Avg Citations/Paper
🏆 Most Cited Paper
TRP++ 2.0: A Temporal Resolution Prover
62 citations · 2003
📈 Most Prolific Year: 2003 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Liverpool

Top Papers

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

Key Collaborators

CDClare Dixon3 shared papersPGPaul Gainer2 shared papersMFMichael Fisher1 shared papersBKBoris Konev1 shared papersMWMatt Webster1 shared papersAOAna Ozaki1 shared papersKDKerstin Dautenhahn1 shared papersJSJoe Saunders1 shared papers
Not generated yet