Yongyi Yan

40 papers and 278 indexed citations i.

Yongyi Yan has authored 40 papers that have received a total of 278 indexed citations. This includes 22 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 10 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (15 papers), Petri Nets in System Modeling (9 papers) and Machine Learning and Algorithms (8 papers). Yongyi Yan is often cited by papers focused on Formal Methods in Verification (15 papers), Petri Nets in System Modeling (9 papers) and Machine Learning and Algorithms (8 papers) and collaborates with scholars based in China. Yongyi Yan's co-authors include Zengqiang Chen, Zhongxin Liu, Zhipeng Zhang, Jun‐e Feng and Zhumu Fu and has published in prestigious journals such as Journal of the Franklin Institute, IEEE Access and Neurocomputing.