Xiaoran Zhu

7 papers and 17 indexed citations i.

Xiaoran Zhu has authored 7 papers that have received a total of 17 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Security and Verification in Computing (3 papers) and Real-Time Systems Scheduling (2 papers). Xiaoran Zhu is often cited by papers focused on Formal Methods in Verification (5 papers), Security and Verification in Computing (3 papers) and Real-Time Systems Scheduling (2 papers) and collaborates with scholars based in China and Vietnam. Xiaoran Zhu's co-authors include Huibiao Zhu, Xin Li, Yanhong Huang and Gang Zhu and has published in prestigious journals such as IEEE Access, IEEE Transactions on Reliability and Mobile Networks and Applications