Hongyan Sun
ORCIDPublication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 14
Publications (10 Years): 14
Publications
- Hongyan Sun, Jing Jin, Yu Zhang, Bei Wang, Xingyu Wang
- Xiaopeng Sun, Guan Wang, Lu Wang, Hongyan Sun, Xiaopeng Wei
- Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang YiCode Synthesis for Timed Automata. Nord. J. Comput. 9 (4) (2002)
- Hans Rischel, Hongyan Sun