A case study in formally developing state-based parallel programs - the Dutch National Torus. - Qiwen Xu; Jifeng He 001 (Refine, 1992)

On Unifying Assumption-Commitment Style Proof Rules for Concurrency. - Qiwen Xu; Antonio Cau; Pierre Collette (CONCUR, 1994)

Layering of Real-Time Distributed Processes. - Wil Janssen; Mannes Poel; Qiwen Xu; Job Zwiers (FTRTFT, 1994)

Laws of Parallel Programming with Shared Variables. - Qiwen Xu; Jifeng He 001 (Refine, 1994)

Hierarchical Design of a Chemical Concentration Control System. - Qiwen Xu; Weidong He (Hybrid Systems, 1995)

Compositional Reasoning Using the Assumption-Commitment Paradigm. - Qiwen Xu; Swarup Mohalik (COMPOS, 1997)

Rigorous Design of a Fault Diagnosis and Isolation Algorithm. - Jianping Gao; Qiwen Xu (Hybrid Systems, 1997)

Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. - Qiwen Xu (HART, 1997)

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. - Qiwen Xu; Willem P. de Roever; Jifeng He 001 (Formal Aspects Comput., 1997)

Towards a Formal Semantics of Verilog Using Duration Calculus. - Gerardo Schneider; Qiwen Xu (FTRTFT, 1998)

Toward a theory of sequential hybrid programs. - Paritosh K. Pandya; H.-P. Wang; Qiwen Xu (PROCOMET, 1998)

Refinement of Fair Action Systems. - Ralph-Johan Back; Qiwen Xu (Acta Informatica, 1998)

A Formal Proof of the Rate Monotonic Scheduler. - Shuzhen Dong; Qiwen Xu; Naijun Zhan (RTCSA, 1999)

Modeling and Verification of a Network Player System with DCValid. - Jianzhong Wang; Qiwen Xu; Huadong Ma (APAQS, 2000)

An Animatable Operational Semantics of the Verilog Hardware Description Language. - Jonathan P. Bowen; Jifeng He 001; Qiwen Xu (ICFEM, 2000)

An Operational Semantics of a Simulator Algorithm. - Jifeng He 001; Qiwen Xu (PDPTA, 2000)

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. - Jifeng He 001; Qiwen Xu (Formal Aspects Comput., 2003)

Checking Interval Based Properties for Reactive Systems. - Yu Pei 001; Qiwen Xu (VMCAI, 2004)

Completeness of temporal logics over infinite intervals. - Hanpin Wang; Qiwen Xu (Discret. Appl. Math., 2004)

Formalising Scheduling Theories in Duration Calculus. - Qiwen Xu; Naijun Zhan (Nord. J. Comput., 2008)

Rate monotonic scheduling re-analysed. - Qiwen Xu; Naijun Zhan (Inf. Process. Lett., 2010)

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. - Huibiao Zhu; Qiwen Xu; Chris Ma; Shengchao Qin; Zongyan Qiu (SEFM, 2012)

Towards a Modeling Language for Cyber-Physical Systems. - Longfei Zhu; Yongxin Zhao; Huibiao Zhu; Qiwen Xu (Theories of Programming and Formal Methods, 2013)

Formal Analysis of AODV Using Rely-Guarantee. - Xiaofeng Wu; Qiwen Xu; Huibiao Zhu (TASE, 2013)

A Formal Model for a Hybrid Programming Language. - Longfei Zhu; Qiwen Xu; Jifeng He 001; Huibiao Zhu (UTP, 2014)

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. - Qin Li 002; Jinxun Wang; Qiwen Xu; Yanhong Huang; Huibiao Zhu (ICECCS, 2015)

Recent advances in metaheuristic algorithms: Does the Makara dragon exist? - Simon Fong 001; Xi Wang; Qiwen Xu; Raymond K. Wong 001; Jinan Fiaidhi; Sabah Mohammed (J. Supercomput., 2016)

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. - Wanling Xie; Huibiao Zhu; Qiwen Xu (ICECCS, 2017)

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. - Longfei Zhu; Qiwen Xu; Huibiao Zhu (FedCSIS (Communication Papers), 2018)

Formalization and Verification of RTPS StatefulWriter Module Using CSP. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu; Ruobiao Wu (SEKE, 2019)

Comparative Research of Swam Intelligence Clustering Algorithms for Analyzing Medical Data. - Xueyuan Gong; Liansheng Liu; Simon Fong 001; Qiwen Xu; Tingxi Wen; Zhihua Liu (IEEE Access, 2019)

A mathematical analysis of improved EigenAnt algorithm. - Genwang Gou; Yongxin Zhao; Qin Li 002; Qiwen Xu (J. Exp. Theor. Artif. Intell., 2019)

Convolutional neural network for breast cancer diagnosis using diffuse optical tomography. - Qiwen Xu; Xin Wang; Huabei Jiang (Vis. Comput. Ind. Biomed. Art, 2019)

Correction to "Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data". - Xueyuan Gong; Liansheng Liu; Simon Fong 001; Qiwen Xu; Tingxi Wen; Zhihua Liu (IEEE Access, 2020)

Formal Modelling and Verification of the RTPS Behavior Module. - Jiaqi Yin; Huibiao Zhu; Yuan Fei; Qiwen Xu (TASE, 2021)

A simple proof of three properties on Simpson's 4-slot Algorithm. - Xu Wang; Qiwen Xu (CoRR, 2021)

A process calculus BigrTiMo of mobile systems and its formal semantics. - Wanling Xie; Huibiao Zhu; Qiwen Xu (Formal Aspects Comput., 2021)

A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. - Xu Wang 001; Qiwen Xu (SAC, 2022)

Modeling and Verifying PSO Memory Model Using CSP. - Lili Xiao; Huibiao Zhu; Qiwen Xu; Phan Cong Vinh (Mob. Networks Appl., 2022)

Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes. - Qiwen Xu; Daner Sun; Ying Zhan (Int. J. Mob. Learn. Organisation, 2023)

Dual space multi-granular model for multi-interest sequential recommendation. - Yijun Sheng; Pui Ieng Lei; Yanyan Liu 003; Ximing Chen 002; Qiwen Xu; Zhiguo Gong (Knowl. Based Syst., 2025)