Concepedia

Qiwen Xu

QX

Statistics

Publications

6

Citations

260

H-Index

6

Active since

1997

Affiliations

University of Macau(Current)

Qiwen Xu is an author at University of Macau specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringFormal Specification

Publications per year

1997–2019

6

Publications

6

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem P. de Roever, Jifeng He · Formal Aspects of Computing · 1997 · 143 citations

Program Checking, Engineering, Verification +17

Recent advances in metaheuristic algorithms: Does the Makara dragon exist?

Simon Fong, Xi Wang, Qiwen Xu et al. · The Journal of Supercomputing · 2015 · 30 citations

Memetic Algorithm, Heuristic Search, Engineering +9

Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data

Xueyuan Gong, Liansheng Liu, Simon Fong et al. · IEEE Access · 2019 · 27 citations · Full text

Cluster Computing, Engineering, Diagnosis +20

Refinement of fair action systems

R. J. R. Back, Qiwen Xu · Acta Informatica · 1998 · 22 citations

Fair Action Systems, Game Theory, Algorithmic Fairness +5

An animatable operational semantics of the Verilog hardware description language

Jonathan P. Bowen, He Jifeng, Qiwen Xu · 2002 · 22 citations

Engineering, Hardware Verification Language, Computer Architecture +21

1–5 of 6