A copy detection algorithm for game character concept design based on pose features.
Proceedings of the ACM Turing Celebration Conference - China, 2019
Modeling and model checking by modular approach.
Proceedings of the 36th International Conference on Software Engineering, 2014
Formal Modeling and Verification for MVB.
J. Appl. Math., 2013
Design and implementation of automatic verification for PLC systems.
Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013
Learning Software Engineering through Experience of ACM-ICPC Training and Practicing Exercises.
Proceedings of the Frontiers in Computer Education [International Conference on Frontiers in Computer Education, 2011