Login / Signup
Bihuan Xu
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 1
Top Topics
Impact Analysis
Object Oriented Programs
Top Venues
CyberC
</>
Publications
</>
Bihuan Xu
,
Junyan Qian
,
Yingzhou Zhang
,
Shurong Zhu
Monadic Dynamic Slicing of Object-Oriented Programs.
CyberC
(2018)
Yingzhou Zhang
,
Wei Fu
,
Lei Chen
,
Bihuan Xu
A Formal Model of Service Computing and Its Applications on Service Discovery.
ICWS
(2011)