Qiwen Xu
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Senthurun Mylvaganam are co-authored with Top journals papers by Kenneth C. Arnold are published in Top fields papers by Dinesh Aggarwal are about Top fields papers by Catherine Steel are about Top authors papers by Murray A. Geisler are co-authored with Top authors papers by Ryan Fiano are co-authored with Top countries impacted by papers by Adwoa Agyei‐Nkansah Top authors papers by Aakash Shanbhag are co-authored with