Kangfeng Ye

University of York

Papers

7

Total Citations

64

H-Index

5

About

No biography available yet.

Research Focus

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

Key Achievements

5
H-Index
7
Papers
64
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Probabilistic modelling and verification using RoboChart and PRISM
26 citations · 2021
📈 Most Prolific Year: 2021 (2 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: University of York

Top Papers

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

Key Collaborators

JWJim Woodcock7 shared papersSFSimon Foster5 shared papersACAna Cavalcanti4 shared papersMAMustafa Adam1 shared papersRMR.E. Morris1 shared papersAMAlvaro Miyazawa1 shared papersSJSimon J. Foster1 shared papersAMAlexandre Mota1 shared papersDADavid A. Anisi1 shared papers
Not generated yet