Xiangfu Zhao

34 papers and 132 indexed citations i.

Xiangfu Zhao has authored 34 papers that have received a total of 132 indexed citations. This includes 17 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 7 papers in Information Systems. The topics of these papers are Petri Nets in System Modeling (13 papers), Formal Methods in Verification (12 papers) and Blockchain Technology Applications and Security (5 papers). Xiangfu Zhao is often cited by papers focused on Petri Nets in System Modeling (13 papers), Formal Methods in Verification (12 papers) and Blockchain Technology Applications and Security (5 papers) and collaborates with scholars based in China, Italy and United States. Xiangfu Zhao's co-authors include Dantong Ouyang, Gianfranco Lamperti, Marina Zanella, Liming Zhang and En Zhu and has published in prestigious journals such as Expert Systems with Applications, Frontiers in Pharmacology and IEEE Transactions on Circuits and Systems for Video Technology