- [21] Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Usâ¦:Proceedings of QRS 2021,2022:852-863
- [22] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Software Faults during Programming.[J]:International Journal of Performability Engineering,2021,17(11):907-917
- [23] Ai Liu,Meng Sun.A Unifying Coalgebraic Semantics Framework for Quantum Systems:International Journal of Software Engineering and Knowledge Engineering,2021,31(3):381-403
- [24] 刘艾,.寻访江安国立剧专——中国戏剧摇篮:生态文明世界,2021,3:90-95+7
- [25] Ai Liu,,Shun Wang,Luis Soares Barbosa,Meng Sun.Fuzzy Automata as Coalgebras:Mathematics,2021,9(3):272
- [26] Ai Liu,Meng Sun.A Coalgebraic Semantics Framework for Quantum Systems.[C]:Proceedings of ICFEM 2019,2019
- [27] Ai Liu,,Shun Wang,Yi Li,Meng Sun.On Semantics for Mediator: A Coalgebraic Perspective.[C]:Proceedings of SOFL+MSVL 2018,2019:146-165