A Formal Model of Service Computing and Its Applications on Service Discovery. - Yingzhou Zhang; Wei Fu; Lei Chen 011; Bihuan Xu (ICWS, 2011)

Monadic Dynamic Slicing of Object-Oriented Programs. - Bihuan Xu; Junyan Qian; Yingzhou Zhang; Shurong Zhu (CyberC, 2018)