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.
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.