Qiwen Xu
- Artificial Intelligence top 10%
- Computational Theory and Mathematics top 5%
- Computer Networks and Communications
- Hardware and Architecture top 10%
- Software top 10%
- Co-authors
- Jifeng HeWillem P. de RoeverSimon FongR. J. R. BackSabah MohammedJinan FiaidhiHe JifengRaymond K. Wong
- Topics
- Formal Methods in Verification (10 papers)Distributed systems and fault tolerance (6 papers)Logic, programming, and type systems (4 papers)
- Partner nations
- ChinaMacaoUnited Kingdom
In The Last Decade
Qiwen Xu
22 papers receiving 154 citations
Peers
Comparison fields: 5 of 46
- Artificial Intelligence 104
- Computational Theory and Mathematics 78
- Computer Networks and Communications 43
- Hardware and Architecture 32
- Software 25
Countries citing papers authored by Qiwen Xu
This map shows the geographic impact of Qiwen Xu's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Qiwen Xu with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Qiwen Xu more than expected).
Fields of papers citing papers by Qiwen Xu
This network shows the impact of papers produced by Qiwen Xu. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Qiwen Xu. The network helps show where Qiwen Xu may publish in the future.
Co-authorship network of co-authors of Qiwen Xu
This figure shows the co-authorship network connecting the top 25 collaborators of Qiwen Xu. A scholar is included among the top collaborators of Qiwen Xu based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Qiwen Xu. Qiwen Xu is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 0 | |
| 3 | 3 | |
| 4 | 1 | |
| 5 | 0 | |
| 6 | 3 | |
| 7 | 2 | |
| 8 | 0 | |
| 9 | 2 | |
| 10 | 1 | |
| 11 | 1 | |
| 12 | 0 | |
| 13 | 20 | |
| 14 | 5 | |
| 15 | 23 | |
| 16 | Formalising scheduling theories in duration calculus | 2 |
| 17 | 2 | |
| 18 | 5 | |
| 19 | 10 | |
| 20 | An Operational Semantics of a Simulator Algorithm. | 8 |
About Qiwen Xu
Qiwen Xu is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications, having authored 29 papers that have together received 169 indexed citations. Recurring topics across this work include Formal Methods in Verification (10 papers), Distributed systems and fault tolerance (6 papers) and Logic, programming, and type systems (4 papers). The work is most often cited by research in Software (25 citations), Computational Theory and Mathematics (78 citations) and Hardware and Architecture (32 citations). Qiwen Xu has collaborated with scholars based in China, Macao and United Kingdom. Frequent co-authors include Jifeng He, Willem P. de Roever, Simon Fong, R. J. R. Back, Sabah Mohammed, Jinan Fiaidhi, He Jifeng, Raymond K. Wong, Liansheng Liu and Tingxi Wen. Their work appears in journals such as IEEE Access, Agriculture Ecosystems & Environment and Ecological Indicators.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.