Structured Object-Z Software Specification Language. - Xiaolei Gao; Huaikou Miao; Yihai Chen (GCC (1), 2003)

The Application of Moodle in Computer English Teaching. - Yihai Chen; Huaikou Miao (ICWL Workshops, 2010)

Towards Practical Modeling of Web Applications and Generating Tests. - Shengbo Chen; Huaikou Miao; Bo Song; Yihai Chen (TASE, 2010)

Verifying Web Services Composition Based on Interface Automata Using SPIN. - Jia Mei; Huaikou Miao; Yihai Chen; Honghao Gao (J. Digit. Content Technol. its Appl., 2010)

Concept Analysis Based Approach to Statistical Web Testing. - Chao Chen; Huaikou Miao; Yihai Chen (Theories of Programming and Formal Methods, 2013)

Usage-pattern based Statistical Web Testing and Reliability Measurement. - Chao Chen; Yihai Chen; Huaikou Miao; Hao Wang 003 (EUSPN/ICTH, 2013)

Insulin Pump Software Certification. - Yihai Chen; Mark Lawford; Hao Wang 003; Alan Wassyng (FHIES, 2013)

Envisioning a Requirements Specification Template for Medical Device Software. - Hao Wang 003; Yihai Chen; Ridha Khédri; Alan Wassyng (PROFES, 2014)

The Interchange Format of Tabular Expressions Using XML. - Mao Huang; Yihai Chen; Ridha Khédri; Huaikou Miao (SOFL+MSVL, 2015)

A Framework for Multi-view Reconciliation and for Medical Devices Personalization. - Yihai Chen; Bofang Zhang; Ridha Khédri; Huaikou Miao (ICFEM, 2017)

A Food Dish Image Generation Framework Based on Progressive Growing GANs. - Su Wang; Honghao Gao; Yonghua Zhu; Weilin Zhang; Yihai Chen (CollaborateCom, 2019)

A novel approach to workload prediction using attention-based LSTM encoder-decoder network in cloud environment. - Yonghua Zhu; Weilin Zhang; Yihai Chen; Honghao Gao (EURASIP J. Wirel. Commun. Netw., 2019)

A Special Section on AI for Healthcare: Challenges, Opportunities, and Emerging Applications. - Honghao Gao; Xinheng Wang 001; Yihai Chen (J. Medical Imaging Health Informatics, 2020)

A Fast Mode Decision Algorithm for Intra Prediction in High Efficiency Video Coding. - Wen Si; Qian Zhang 033; Zhengcheng Shi; Bin Wang 052; Tao Yan 003; Yihai Chen (J. Medical Imaging Health Informatics, 2020)

DISEL: A Language for Specifying DIS-Based Ontologies. - Yijie Wang; Yihai Chen; Deemah Alomair; Ridha Khédri (KSEM (2), 2022)