Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Tour Through the Programming Choices: Semantics and Applications
Ribeiro, P., Ye, K., Zeyda, F. & Miyazawa, A., 1 Sept 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 14900. p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Foster, S. & Woodcock, J., Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile
-
A Journal-first presentation, invited in MODELS2022
Kangfeng Ye (Speaker)
27 Oct 2022Activity: Talk or presentation › Invited talk
-
A conference presentation for our paper - Formally Verified Animation for RoboChart Using Interaction Trees
Kangfeng Ye (Speaker)
26 Oct 2022Activity: Talk or presentation › Talk
-
Tutorial on Isabelle/UTP
Kangfeng Ye (Speaker) & Zhiming Liu (Chair)
14 May 2019 → 15 May 2019Activity: Talk or presentation › Workshop