Jianqi Shi
发表
Mingyue Jiao,
Yanhong Huang,
Jianqi Shi,
2020,
2020 27th Asia-Pacific Software Engineering Conference (APSEC).
Yanhong Huang,
Jianqi Shi,
Xia Mao,
2022,
IEEE Transactions on Industrial Informatics.
J. Dong,
Zhé Hóu,
Yanhong Huang,
2022,
Applied Intelligence.
Jun Sun,
S. Qin,
Jianqi Shi,
2020
.
Jin Song Dong,
Jianqi Shi,
Yanhong Huang,
2021,
ArXiv.
Jianqi Shi,
Huibiao Zhu,
Huixing Fang,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Jianqi Shi,
Huibiao Zhu,
Huixing Fang,
2013,
ArXiv.
Hui Zhao,
Jianqi Shi,
Zhihui Li,
2019,
IEEE Access.
Jianqi Shi,
Yanhong Huang,
Shengchao Qin,
2020,
J. Intell. Manuf..
Jianqi Shi,
Ningkang Jiang,
Xin Ye,
2017,
ICMSS '17.
Xin Ye,
Jianqi Shi,
Hansheng Wei,
2019,
ICA3PP.
Jianqi Shi,
Yanhong Huang,
Jiawen Xiong,
2019,
IEEE Access.
Jianqi Shi,
Yanhong Huang,
Zhicheng Hu,
2018,
CF.
Jianqi Shi,
Qin Li,
Huibiao Zhu,
2014,
Innovations in Systems and Software Engineering.
Jianqi Shi,
Min Zhang,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Ting Su,
Jianqi Shi,
Yanhong Huang,
2019,
Theoretical Aspects of Software Engineering.
Ting Su,
Yanhong Huang,
Jianqi Shi,
2021,
2021 28th Asia-Pacific Software Engineering Conference (APSEC).
Jianqi Shi,
Yanhong Huang,
Gang Zhu,
2020,
Electronics.
Jianqi Shi,
Jifeng He,
Huibiao Zhu,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Hui Zhao,
Jianqi Shi,
Hansheng Wei,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Yanhong Huang,
Jianqi Shi,
Haiping Pang,
2020,
Formal Aspects of Computing.
Shengchao Qin,
Jianqi Shi,
Ju Li,
2016,
2016 23rd Asia-Pacific Software Engineering Conference (APSEC).
Jifeng He,
S. Qin,
Yanhong Huang,
2015,
Frontiers of Computer Science.
Jian Guo,
Xin Li,
Jianqi Shi,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Jianqi Shi,
Yongxin Zhao,
Huibiao Zhu,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Qin Li,
Jianqi Shi,
Yongxin Zhao,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Li Hao,
Ting Su,
Jianqi Shi,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Yanhong Huang,
Jiawen Xiong,
Jianqi Shi,
2021,
CCF Transactions on High Performance Computing.
Jing Liu,
Jianqi Shi,
Jifeng He,
2007,
14th Asia-Pacific Software Engineering Conference (APSEC'07).
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems
Jingwen Xu,
Shengchao Qin,
Jianqi Shi,
2021,
Journal of Computer Science and Technology.
Yanhong Huang,
Jianqi Shi,
Xia Mao,
2021,
Sci. Comput. Program..
Jianqi Shi,
Yanhong Huang,
Zongyu Cao,
2020,
Electronics.
Liangyu Chen,
Jianqi Shi,
Xin Ye,
2012,
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Jianqi Shi,
Gang Zhu,
Xin Ye,
2019,
IEEE Access.