Mian Sun

According to our database, Mian Sun authored at least 5 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A copy detection algorithm for game character concept design based on pose features.

Mian Sun, Li Li, Shanqing Zhang, Jianfeng Lu, Xiaoqing Feng, Chin-Chen Chang

Proceedings of the ACM Turing Celebration Conference - China, 2019

2014

Modeling and model checking by modular approach.

Mo Xia, Guiming Luo, Mian Sun

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Formal Modeling and Verification for MVB.

Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun

J. Appl. Math., 2013

Design and implementation of automatic verification for PLC systems.

Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao

Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

2011

Learning Software Engineering through Experience of ACM-ICPC Training and Practicing Exercises.

Jie-ao Zhu, Mian Sun, Xue Liu, Hao Li

Proceedings of the Frontiers in Computer Education [International Conference on Frontiers in Computer Education, 2011