Jianzhou Zhao
发表
Weimin Wu,
Jinian Bian,
Jianzhou Zhao,
2004,
Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..
Steve Zdancewic,
Limin Jia,
Jeffrey A. Vaughan,
2008,
ICFP 2008.
Milo M. K. Martin,
Santosh Nagarakatte,
Steve Zdancewic,
2009,
PLDI '09.
Li Li,
Chao Lu,
Jianzhou Zhao,
2020,
Soft Comput..
Milo M. K. Martin,
Santosh Nagarakatte,
Steve Zdancewic,
2013,
PLDI.
Milo M. K. Martin,
Santosh Nagarakatte,
Steve Zdancewic,
2012,
POPL '12.
Qi Li,
Yi Du,
Yongqiang Wang,
2018,
European Journal of Electrical Engineering.
Weimin Wu,
Jinian Bian,
Jianzhou Zhao,
2005,
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005..
Jianzhou Zhao,
2013
.
Steve Zdancewic,
Jianzhou Zhao,
2012,
CPP.
Qi Zhang,
Steve Zdancewic,
Jianzhou Zhao,
2010,
APLAS.
Steve Zdancewic,
Limin Jia,
Jeffrey A. Vaughan,
2008
.
Steve Zdancewic,
Jianzhou Zhao,
Karl Mazurak,
2010,
TLDI '10.
Milo M. K. Martin,
Santosh Nagarakatte,
Steve Zdancewic,
2010,
ISMM '10.
Limin Jia,
Stephanie Weirich,
Jianzhou Zhao,
2010,
POPL '10.
Santosh Nagarakatte,
Steve Zdancewic,
Milo M.K. Martin,
2013,
PLDI.
Limin Jia,
Steve Zdancewic,
Jeffrey A. Vaughan,
2008,
ICFP.