Yihai Chen

According to our database, Yihai Chen authored at least 15 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

DISEL: A Language for Specifying DIS-Based Ontologies.

Yijie Wang, Yihai Chen, Deemah Alomair, Ridha Khédri

Proceedings of the Knowledge Science, Engineering and Management, 2022

2020

A Fast Mode Decision Algorithm for Intra Prediction in High Efficiency Video Coding.

Wen Si, Qian Zhang, Zhengcheng Shi, Bin Wang, Tao Yan, Yihai Chen

J. Medical Imaging Health Informatics, 2020

A Special Section on AI for Healthcare: Challenges, Opportunities, and Emerging Applications.

Honghao Gao, Xinheng Wang, Yihai Chen

J. Medical Imaging Health Informatics, 2020

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 Food Dish Image Generation Framework Based on Progressive Growing GANs.

Su Wang, Honghao Gao, Yonghua Zhu, Weilin Zhang, Yihai Chen

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2019

2017

A Framework for Multi-view Reconciliation and for Medical Devices Personalization.

Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao

Proceedings of the Formal Methods and Software Engineering, 2017

2015

The Interchange Format of Tabular Expressions Using XML.

Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Envisioning a Requirements Specification Template for Medical Device Software.

Hao Wang, Yihai Chen, Ridha Khédri, Alan Wassyng

Proceedings of the Product-Focused Software Process Improvement, 2014

2013

Insulin Pump Software Certification.

Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Usage-pattern based Statistical Web Testing and Reliability Measurement.

Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang

Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

Concept Analysis Based Approach to Statistical Web Testing.

Chao Chen, Huaikou Miao, Yihai Chen

Proceedings of the Theories of Programming and Formal Methods, 2013

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

Towards Practical Modeling of Web Applications and Generating Tests.

Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

The Application of Moodle in Computer English Teaching.

Yihai Chen, Huaikou Miao

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

2003

Structured Object-Z Software Specification Language.

Xiaolei Gao, Huaikou Miao, Yihai Chen

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003