Get my own profile
Co-authors
Shaowei CaiInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Chuan LuoSenior Researcher, Microsoft ResearchVerified email at microsoft.com
Guanfeng LvBeijing University of TechnologyVerified email at bjut.edu.cn
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Kewen WangGriffith UniversityVerified email at griffith.edu.au
Fenrong LiuProfessor of Logic, Tsinghua UniversityVerified email at tsinghua.edu.cn
Guido GovernatoriSenior Principal Researcher, Data61, CSIRO, AustraliaVerified email at nicta.com.au
Kai Engelhardtghost locomotiveVerified email at gh.st
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Xudong LuoProfessor, Guangxi Normal UniversityVerified email at mailbox.gxnu.edu.cn
