Engineering Experts

Qiwen Xu

Assistant Professor
Computer and information science
University of Macau


Qiwen XU is an assistant professor at University of Macau. He received his Bachelor's degree in Computer Science from East China Normal University, China.

Research Interest

Program Verification and Refinement, Formal Specification, Real Time Systems, Temporal Logic


  • Formalising Scheduling Theories in Duration Calculus (with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.

  • Completeness of temporal logics over infinite intervals (with Hanpin Wang). Discrete Applied Mathematics 136(1): 87-103 (2004), Elsevier.

  • Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs (with Jifeng He). Formal Aspects of Computing 15(1): 84-99(2003), Springer-Verlag.

Global Experts from Macao

Global Experts in Subject

Share This Profile
Recommended Conferences