Xudong He

94 papers and 1.0k indexed citations i.

Xudong He has authored 94 papers that have received a total of 1.0k indexed citations. This includes 24 papers in Computational Theory and Mathematics, 21 papers in Materials Chemistry and 16 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (21 papers), Formal Methods in Verification (14 papers) and Advanced Software Engineering Methodologies (13 papers). Xudong He is often cited by papers focused on Petri Nets in System Modeling (21 papers), Formal Methods in Verification (14 papers) and Advanced Software Engineering Methodologies (13 papers) and collaborates with scholars based in China, United States and Taiwan. Xudong He's co-authors include Qinqin Liu, Chaoyang Zhang, Liang Li and Chaoyang Zhang and has published in prestigious journals such as ACS Nano, Macromolecules and Journal of Hazardous Materials