Mian Sun

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Pspace Complete

Top Venues

Publications

Mian Sun, Li Li, Shanqing Zhang, Jianfeng Lu, Xiaoqing Feng, Chin-Chen Chang
A copy detection algorithm for game character concept design based on pose features. ACM TUR-C (2019)
Mo Xia, Guiming Luo, Mian Sun
Modeling and model checking by modular approach. ICSE Companion (2014)
Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao
Design and implementation of automatic verification for PLC systems. ICCI*CC (2013)
Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun
Formal Modeling and Verification for MVB. J. Appl. Math. 2013 (2013)
Jie-ao Zhu, Mian Sun, Xue Liu, Hao Li
Learning Software Engineering through Experience of ACM-ICPC Training and Practicing Exercises. ICFCE (2011)