Qiwen Xu

45 papers B 6C 2Misc 4Journal 19Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Deep generative models in digital subtraction angiography (DSA) and X-ray angiography: a systematic review.
Artif. Intell. Rev.
Qiwen Xu, David Rügamer, Andreas Bender, Máté E. Maros
2026 J jnl
Semantically Conditioned Diffusion Models for Cerebral DSA Synthesis.
CoRR
Qiwen Xu, David Rügamer, Holger Wenz, Johann Fontana, Nora Meggyeshazi, Andreas Bender, Máté E. Maros
2026 J jnl
Towards Controllable Low-Light Image Enhancement: A Continuous Multi-illumination Dataset and Efficient State Space Framework.
CoRR
Hongru Han, Tingrui Guo, Liming Zhang, Yan Su, Qiwen Xu, Zhuohua Ye
2025 J jnl
Dual space multi-granular model for multi-interest sequential recommendation.
Knowl. Based Syst.
Yijun Sheng, Pui Ieng Lei, Yanyan Liu, Ximing Chen, Qiwen Xu, Zhiguo Gong
2023 J jnl
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
Qiwen Xu, Daner Sun, Ying Zhan
2023 — ed.
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Theories of Programming and Formal Methods
Jonathan P. Bowen, Qin Li, Qiwen Xu
2022 Misc conf
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm.
SAC
Xu Wang, Qiwen Xu
2022 J jnl
Modeling and Verifying PSO Memory Model Using CSP.
Mob. Networks Appl.
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
2021 J jnl
A process calculus BigrTiMo of mobile systems and its formal semantics.
Formal Aspects Comput.
Wanling Xie, Huibiao Zhu, Qiwen Xu
2021 J jnl
A simple proof of three properties on Simpson's 4-slot Algorithm.
CoRR
Xu Wang, Qiwen Xu
2021 Misc conf
Formal Modelling and Verification of the RTPS Behavior Module.
TASE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
2020 J jnl
Correction to "Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data".
IEEE Access
Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu
2019 J jnl
A mathematical analysis of improved EigenAnt algorithm.
J. Exp. Theor. Artif. Intell.
Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
2019 J jnl
Comparative Research of Swam Intelligence Clustering Algorithms for Analyzing Medical Data.
IEEE Access
Xueyuan Gong, Liansheng Liu, Simon Fong, Qiwen Xu, Tingxi Wen, Zhihua Liu
2019 J jnl
Convolutional neural network for breast cancer diagnosis using diffuse optical tomography.
Vis. Comput. Ind. Biomed. Art
Qiwen Xu, Xin Wang, Huabei Jiang
2019 C conf
Formalization and Verification of RTPS StatefulWriter Module Using CSP.
SEKE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
2018 — conf
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.
FedCSIS (Communication Papers)
Longfei Zhu, Qiwen Xu, Huibiao Zhu
2017 B conf
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.
ICECCS
Wanling Xie, Huibiao Zhu, Qiwen Xu
2016 J jnl
Recent advances in metaheuristic algorithms: Does the Makara dragon exist?
J. Supercomput.
Simon Fong, Xi Wang, Qiwen Xu, Raymond K. Wong, Jinan Fiaidhi, Sabah Mohammed
2015 B conf
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
ICECCS
Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
2014 — conf
A Formal Model for a Hybrid Programming Language.
UTP
Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
2013 Misc conf
Formal Analysis of AODV Using Rely-Guarantee.
TASE
Xiaofeng Wu, Qiwen Xu, Huibiao Zhu
2013 — conf
Towards a Modeling Language for Cyber-Physical Systems.
Theories of Programming and Formal Methods
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
2012 B conf
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
SEFM
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
2010 J jnl
Rate monotonic scheduling re-analysed.
Inf. Process. Lett.
Qiwen Xu, Naijun Zhan
2008 J jnl
Formalising Scheduling Theories in Duration Calculus.
Nord. J. Comput.
Qiwen Xu, Naijun Zhan
2004 B conf
Checking Interval Based Properties for Reactive Systems.
VMCAI
Yu Pei, Qiwen Xu
2004 J jnl
Completeness of temporal logics over infinite intervals.
Discret. Appl. Math.
Hanpin Wang, Qiwen Xu
2003 J jnl
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.
Formal Aspects Comput.
Jifeng He, Qiwen Xu
2000 C conf
An Animatable Operational Semantics of the Verilog Hardware Description Language.
ICFEM
Jonathan P. Bowen, Jifeng He, Qiwen Xu
2000 Misc conf
An Operational Semantics of a Simulator Algorithm.
PDPTA
Jifeng He, Qiwen Xu
2000 — conf
Modeling and Verification of a Network Player System with DCValid.
APAQS
Jianzhong Wang, Qiwen Xu, Huadong Ma
1999 B conf
A Formal Proof of the Rate Monotonic Scheduler.
RTCSA
Shuzhen Dong, Qiwen Xu, Naijun Zhan
1998 J jnl
Refinement of Fair Action Systems.
Acta Informatica
Ralph-Johan Back, Qiwen Xu
1998 — conf
Toward a theory of sequential hybrid programs.
PROCOMET
Paritosh K. Pandya, H.-P. Wang, Qiwen Xu
1998 — conf
Towards a Formal Semantics of Verilog Using Duration Calculus.
FTRTFT
Gerardo Schneider, Qiwen Xu
1997 — conf
Compositional Reasoning Using the Assumption-Commitment Paradigm.
COMPOS
Qiwen Xu, Swarup Mohalik
1997 — conf
Rigorous Design of a Fault Diagnosis and Isolation Algorithm.
Hybrid Systems
Jianping Gao, Qiwen Xu
1997 — conf
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.
HART
Qiwen Xu
1997 J jnl
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.
Formal Aspects Comput.
Qiwen Xu, Willem P. de Roever, Jifeng He
1995 — conf
Hierarchical Design of a Chemical Concentration Control System.
Hybrid Systems
Qiwen Xu, Weidong He
1994 — conf
Laws of Parallel Programming with Shared Variables.
Refine
Qiwen Xu, Jifeng He
1994 — conf
Layering of Real-Time Distributed Processes.
FTRTFT
Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers
1994 B conf
On Unifying Assumption-Commitment Style Proof Rules for Concurrency.
CONCUR
Qiwen Xu, Antonio Cau, Pierre Collette
1992 — conf
A case study in formally developing state-based parallel programs - the Dutch National Torus.
Refine
Qiwen Xu, Jifeng He