Xudong He

20 papers and 111 indexed citations i.

Xudong He has authored 20 papers that have received a total of 111 indexed citations. This includes 10 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 10 papers in Software. The topics of these papers are Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (8 papers) and QoS-Aware Web Services Composition and Semantic Matching (7 papers). Xudong He is often cited by papers focused on Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (8 papers) and QoS-Aware Web Services Composition and Semantic Matching (7 papers) and collaborates with scholars based in United States, United Kingdom and Taiwan. Xudong He's co-authors include Hong Zhu, Huiqun Yu, William Cheng‐Chung Chu, Peter Clarke and Gao Fan and has published in prestigious journals such as Information and Software Technology, Journal of Systems and Software and Software Practice and Experience