Engineering
Global

Engineering Experts

Qiwen Xu

Assistant Professor
Computer and information science
University of Macau
Macao

Qiwen Xu

Biography

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

Publications

  • 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
  • 9th World Congress and Expo on Optics, Photonics and Telecommunication

    November 22-24, 2018 Bucharest, Romania

  • 9th World Congress and Expo on Optics, Photonics and Telecommunication

    November 22-24, 2018 Bucharest, Romania

  • Data Analysis and Cloud Computing 

    March 11-12, 2019 London, UK

  • 2nd International Conference on Artificial Intelligence, Robotics & IoT

    May 09-10, 2019 Amsterdam, Netherlands

  • 5th Global Summit and Expo on Multimedia, Blockchain & Artificial Intelligence Technology

    June 17-18, 2019 Berlin, Germany

  • 5th International Conference on Wireless,Telecommunication & IoT

    June 20-21, 2019 Rome, Italy

View more
Relevant Topics