# Kangfeng Ye

Orcid: 0000-0003-2460-7926
According to our database

Collaborative distances:

^{1}, Kangfeng Ye authored at least 12 papers between 2016 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

J. Log. Algebraic Methods Program., February, 2024

CoRR, 2024

CoRR, 2024

2023

Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving.

CoRR, 2023

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Softw. Syst. Model., 2022

2021

J. Log. Algebraic Methods Program., 2021

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Int. J. Softw. Tools Technol. Transf., 2017

2016

Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).

PhD thesis, 2016