Qiwen Xu

17 papers and 96 indexed citations i.

Qiwen Xu has authored 17 papers that have received a total of 96 indexed citations. This includes 9 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (5 papers), Distributed systems and fault tolerance (5 papers) and Logic, programming, and type systems (3 papers). Qiwen Xu is often cited by papers focused on Formal Methods in Verification (5 papers), Distributed systems and fault tolerance (5 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Macao, China and Australia. Qiwen Xu's co-authors include Simon Fong, Jifeng He, Liansheng Liu, Huibiao Zhu and Binghui He and has published in prestigious journals such as IEEE Access, CATENA and Discrete Applied Mathematics