default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQiwen Xu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j14]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): 280-302 (2023)- [e1]Jonathan P. Bowen, Qin Li, Qiwen Xu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1 [contents] - 2022
- [j13]Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh:
Modeling and Verifying PSO Memory Model Using CSP. Mob. Networks Appl. 27(5): 2068-2083 (2022) - [c25]Xu Wang, Qiwen Xu:
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. SAC 2022: 1853-1856 - 2021
- [j12]Wanling Xie, Huibiao Zhu, Qiwen Xu:
A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Aspects Comput. 33(2): 207-249 (2021) - [c24]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu:
Formal Modelling and Verification of the RTPS Behavior Module. TASE 2021: 127-134 - [i1]Xu Wang, Qiwen Xu:
A simple proof of three properties on Simpson's 4-slot Algorithm. CoRR abs/2112.06233 (2021) - 2020
- [j11]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: 110251 (2020)
2010 – 2019
- 2019
- [j10]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: 137560-137569 (2019) - [j9]Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu:
A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. 31(2): 291-309 (2019) - [j8]Qiwen Xu, Xin Wang, Huabei Jiang:
Convolutional neural network for breast cancer diagnosis using diffuse optical tomography. Vis. Comput. Ind. Biomed. Art 2: 1-6 (2019) - [c23]Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu:
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE 2019: 147-198 - 2018
- [c22]Longfei Zhu, Qiwen Xu, Huibiao Zhu:
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. FedCSIS (Communication Papers) 2018: 241-247 - 2017
- [c21]Wanling Xie, Huibiao Zhu, Qiwen Xu:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. ICECCS 2017: 50-59 - 2016
- [j7]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): 3764-3786 (2016) - 2015
- [c20]Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu:
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS 2015: 150-159 - 2014
- [c19]Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu:
A Formal Model for a Hybrid Programming Language. UTP 2014: 125-142 - 2013
- [c18]Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu:
Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods 2013: 394-411 - [c17]Xiaofeng Wu, Qiwen Xu, Huibiao Zhu:
Formal Analysis of AODV Using Rely-Guarantee. TASE 2013: 45-48 - 2012
- [c16]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187 - 2010
- [j6]Qiwen Xu, Naijun Zhan:
Rate monotonic scheduling re-analysed. Inf. Process. Lett. 110(6): 226-231 (2010)
2000 – 2009
- 2008
- [j5]Qiwen Xu, Naijun Zhan:
Formalising Scheduling Theories in Duration Calculus. Nord. J. Comput. 14(3): 173-201 (2008) - 2004
- [j4]Hanpin Wang, Qiwen Xu:
Completeness of temporal logics over infinite intervals. Discret. Appl. Math. 136(1): 87-103 (2004) - [c15]Yu Pei, Qiwen Xu:
Checking Interval Based Properties for Reactive Systems. VMCAI 2004: 122-134 - 2003
- [j3]Jifeng He, Qiwen Xu:
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Aspects Comput. 15(1): 84-99 (2003) - 2000
- [c14]Jianzhong Wang, Qiwen Xu, Huadong Ma:
Modeling and Verification of a Network Player System with DCValid. APAQS 2000: 44-52 - [c13]Jonathan P. Bowen, Jifeng He, Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208 - [c12]Jifeng He, Qiwen Xu:
An Operational Semantics of a Simulator Algorithm. PDPTA 2000
1990 – 1999
- 1999
- [c11]Shuzhen Dong, Qiwen Xu, Naijun Zhan:
A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500- - 1998
- [j2]Ralph-Johan Back, Qiwen Xu:
Refinement of Fair Action Systems. Acta Informatica 35(2): 131-165 (1998) - [c10]Gerardo Schneider, Qiwen Xu:
Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293 - [c9]Paritosh K. Pandya, H.-P. Wang, Qiwen Xu:
Toward a theory of sequential hybrid programs. PROCOMET 1998: 366-384 - 1997
- [j1]Qiwen Xu, Willem P. de Roever, Jifeng He:
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. 9(2): 149-174 (1997) - [c8]Qiwen Xu, Swarup Mohalik:
Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS 1997: 565-583 - [c7]Jianping Gao, Qiwen Xu:
Rigorous Design of a Fault Diagnosis and Isolation Algorithm. Hybrid Systems 1997: 100-121 - [c6]Qiwen Xu:
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. HART 1997: 301-315 - 1995
- [c5]Qiwen Xu, Weidong He:
Hierarchical Design of a Chemical Concentration Control System. Hybrid Systems 1995: 270-281 - 1994
- [c4]Qiwen Xu, Antonio Cau, Pierre Collette:
On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR 1994: 267-282 - [c3]Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417 - [c2]Qiwen Xu, Jifeng He:
Laws of Parallel Programming with Shared Variables. Refine 1994: 205-216 - 1992
- [c1]Qiwen Xu, Jifeng He:
A case study in formally developing state-based parallel programs - the Dutch National Torus. Refine 1992: 301-319
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
