According to our database1, Kangfeng Ye authored at least 5 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
J. Log. Algebraic Methods Program., 2021
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
Int. J. Softw. Tools Technol. Transf., 2017
Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).
PhD thesis, 2016