[1] Shenghang Liu, Hui Chen, Jiaqi Zhu, huiyue Wu, Jinquan Xiong and Hongan Wang. A model for natural human-computer interaction based on semiotic triangle (in
Chinese). In SCIENTIA SINICA Informationis, 48: 466–474, 2018.

[2] Yilin Li, Jiaqi   Zhu^*, Yunkun Wu and Honghan Wang. A Visualization Method for   Analyzing Sub-topics of Hot Events (in Chinese). In Journal of University of Science and Technology of China, 47(1): 48-56, 2017. 

[3] Jiaqi Zhu, Kaijun Wang, Yunkun Wu, Zhongyi Hu and Hongan Wang. Mining User-Aware Rare Sequential Topic Patterns in Document Streams. In IEEE Transactions on Knowledge and Data Engineering (TKDE), 28(7): 1790-1804, 2016.

[4] Shenghang Liu, Jiaqi Zhu^*, Changzhi Deng, Xiongfei Luo and Hongan Wang. Potential Intention Detecting Model Based on Human-Computer Collaboration (in Chinese). In Journal of Software, 27(Suppl. (2)): 82−90, 2016. 

[5] Zhongyi Hu, Hongan Wang, Jiaqi Zhu^*, Maozhen Li, Ying Qiao and Changzhi Deng.   Discovery of Rare Sequential Topic Patterns in Document Stream. In Proc. of 2014 SIAM International Conference on Data Mining (SDM 2014), pp. 533-541, 2014.

[6] Quan Zu,   Miaomiao Zhang, Jiaqi Zhu and Naijun Zhan. Bounded Model-checking of Discrete Duration Calculus. In Proc. of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pp. 213-222, 2013.

[7] Ming Xu, Jiaqi Zhu and Zhi-Bin Li. Some Decidable Results on Reachability of Solvable Systems. In International Journal of General Systems, 42(4): 405-425, 2013.

[8] Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan and Jiaqi Zhu*. Unblockable Compositions   of Software Components. In Proc. of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE 2012), pp. 103-108. 2012.

[9] Jiaqi Zhu and Naijun Zhan. An Automata Model for Real-time Component Interfaces. Technical Report, ISCAS-SKLCS-11-59, December, 2011.

[10] Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu. A New Model for Model Checking: Cycle-Weighted Kripke Structure. In Frontiers of Computer Science in China, 4(1): 78-88, 2010.

[11] Jiaqi Zhu, Yu Huang, Hanpin Wang. A Formal Description Language and an Automated Detection Method for Complex Events in RFID. In Proc. of the 33rd Annual IEEE International   Computer Software and Applications Conference (COMPSAC 2009), pp. 543-552.

[12] Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu. A New Temporal Logic CTL[k-QDDC] and its Verification. In Proc. of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pp. 235-238, 2008.