Kangfeng Ye

University of York

论文数

7

总引用数

64

H-Index

5

关于

暂无简介。

研究焦点

Computer science7 · 64 次引用
Programming language6 · 60 次引用
Theoretical computer science6 · 60 次引用
Artificial intelligence5 · 50 次引用
Probabilistic logic4 · 44 次引用
Robot3 · 36 次引用
Mathematics3 · 35 次引用
Semantics (computer science)5 · 34 次引用
State (computer science)2 · 33 次引用
Operational semantics4 · 32 次引用
Extension (predicate logic)1 · 26 次引用
Construct (python library)1 · 26 次引用

主要成就

5
H 指数
7
论文
64
总引用数
9
篇均引用
🏆 最高被引论文
Probabilistic modelling and verification using RoboChart and PRISM
26 次引用 · 2021
📈 最高产年份: 2021 (2 论文)
🤝 主要合作者: 9
🏛 所属机构: University of York

代表论文

  1. 1
    Probabilistic modelling and verification using RoboChart and PRISM
    26 次引用 · 2021
  2. 2
    Probabilistic Semantics for RoboChart
    12 次引用 · 2019
  3. 3
    Automated verification of reactive and concurrent programs by calculation
    7 次引用 · 2021
  4. 4
    Formally Verified Animation for RoboChart Using Interaction Trees
    7 次引用 · 2022
  5. 5
    Formally verified animation for RoboChart using interaction trees
    6 次引用 · 2023
  6. 6
    Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment
    4 次引用 · 2023
  7. 7
    Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving
    2 次引用 · 2024

主要合作者

JWJim Woodcock7 篇合著论文SFSimon Foster5 篇合著论文ACAna Cavalcanti4 篇合著论文MAMustafa Adam1 篇合著论文RMR.E. Morris1 篇合著论文AMAlvaro Miyazawa1 篇合著论文SJSimon J. Foster1 篇合著论文AMAlexandre Mota1 篇合著论文DADavid A. Anisi1 篇合著论文
尚未生成