Zhengheng Yuan
Orcid: 0000-0001-6536-5746
According to our database1,
Zhengheng Yuan
authored at least 5 papers
between 2013 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
IEEE Trans. Intell. Transp. Syst., 2018
2017
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017
2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013