Login / Signup

Hongyang Qu

ORCID

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 27

Top Topics

Web Service Compositions
Formal Specification
Model Checking
Partial Observability

Top Venues

CoRR
AAMAS
Int. J. Softw. Tools Technol. Transf.
Inf. Comput.

University of Warwick, Coventry, UK (PHD)

Education History
University of Warwick, Coventry, UK

PHD

Publications