Qiwen Xu

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 15

Top Topics

Clustering Algorithm

Diffuse Optical Tomography

Top Venues

Publications

Qiwen Xu, Daner Sun, Ying Zhan
Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes. Int. J. Mob. Learn. Organisation 17 (1/2) (2023)
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. 27 (5) (2022)
Xu Wang, Qiwen Xu
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. SAC (2022)
Xu Wang, Qiwen Xu
A simple proof of three properties on Simpson's 4-slot Algorithm. CoRR (2021)
Wanling Xie, Huibiao Zhu, Qiwen Xu
A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. 33 (2) (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
Formal Modelling and Verification of the RTPS Behavior Module. TASE (2021)
Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu
Correction to "Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data". IEEE Access 8 (2020)
Qiwen Xu, Xin Wang, Huabei Jiang
Convolutional neural network for breast cancer diagnosis using diffuse optical tomography. Vis. Comput. Ind. Biomed. Art 2 (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE (2019)
Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. 31 (2) (2019)
Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu
Comparative Research of Swam Intelligence Clustering Algorithms for Analyzing Medical Data. IEEE Access 7 (2019)
Longfei Zhu, Qiwen Xu, Huibiao Zhu
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) (2018)
Wanling Xie, Huibiao Zhu, Qiwen Xu
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. ICECCS (2017)
Simon Fong, Xi Wang, Qiwen Xu, Raymond K. Wong, Jinan Fiaidhi, Sabah Mohammed
Recent advances in metaheuristic algorithms: Does the Makara dragon exist? J. Supercomput. 72 (10) (2016)
Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS (2015)
Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
A Formal Model for a Hybrid Programming Language. UTP (2014)
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods (2013)
Xiaofeng Wu, Qiwen Xu, Huibiao Zhu
Formal Analysis of AODV Using Rely-Guarantee. TASE (2013)
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM (2012)
Qiwen Xu, Naijun Zhan
Rate monotonic scheduling re-analysed. Inf. Process. Lett. 110 (6) (2010)
Qiwen Xu, Naijun Zhan
Formalising Scheduling Theories in Duration Calculus. Nord. J. Comput. 14 (3) (2008)
Hanpin Wang, Qiwen Xu
Completeness of temporal logics over infinite intervals. Discret. Appl. Math. 136 (1) (2004)
Yu Pei, Qiwen Xu
Checking Interval Based Properties for Reactive Systems. VMCAI (2004)
Jifeng He, Qiwen Xu
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Aspects Comput. 15 (1) (2003)
Jonathan P. Bowen, Jifeng He, Qiwen Xu
An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM (2000)
Jianzhong Wang, Qiwen Xu, Huadong Ma
Modeling and Verification of a Network Player System with DCValid. APAQS (2000)
Jifeng He, Qiwen Xu
An Operational Semantics of a Simulator Algorithm. PDPTA (2000)
Shuzhen Dong, Qiwen Xu, Naijun Zhan
A Formal Proof of the Rate Monotonic Scheduler. RTCSA (1999)
Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
Toward a theory of sequential hybrid programs. PROCOMET (1998)
Ralph-Johan Back, Qiwen Xu
Refinement of Fair Action Systems. Acta Informatica 35 (2) (1998)
Gerardo Schneider, Qiwen Xu
Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT (1998)
Qiwen Xu
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. HART (1997)
Jianping Gao, Qiwen Xu
Rigorous Design of a Fault Diagnosis and Isolation Algorithm. Hybrid Systems (1997)
Qiwen Xu, Swarup Mohalik
Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS (1997)
Qiwen Xu, Willem P. de Roever, Jifeng He
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. 9 (2) (1997)
Qiwen Xu, Weidong He
Hierarchical Design of a Chemical Concentration Control System. Hybrid Systems (1995)
Qiwen Xu, Jifeng He
Laws of Parallel Programming with Shared Variables. Refine (1994)
Qiwen Xu, Antonio Cau, Pierre Collette
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR (1994)
Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers
Layering of Real-Time Distributed Processes. FTRTFT (1994)
Qiwen Xu, Jifeng He
A case study in formally developing state-based parallel programs - the Dutch National Torus. Refine (1992)