Qiwen Xu - RankMe

45 papers B 6C 2Misc 4Journal 19Unranked 13

Year	Rank	Type	Title / 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