Chenyi Zhang
发表
Chenyi Zhang,
Jun Pang,
2011
.
Kaile Su,
Xiaowei Huang,
Chenyi Zhang,
2012,
AAAI.
Jun Pang,
Chenyi Zhang,
Chenyi Zhang,
2019,
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Jun Pang,
Chenyi Zhang,
Chenyi Zhang,
2011,
SOFSEM.
Jun Pang,
Chenyi Zhang,
Chenyi Zhang,
2010,
IFIP TCS.
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
Computation, Meaning, and Logic.
Jun Pang,
Zhiyuan Liu,
Chenyi Zhang,
2013,
Frontiers of Computer Science.
Jun Pang,
Zhiyuan Liu,
Chenyi Zhang,
2010,
2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.
Jun Pang,
Chenyi Zhang,
Chenyi Zhang,
2009,
SECCO.
Jun Pang,
Baptiste Alcalde,
Sjouke Mauw,
2010,
J. Comput. Secur..
Bernhard Scholz,
Chenyi Zhang,
Surinder Kumar Jain,
2012,
PEPM '12.
Lijun Wu,
Kaile Su,
Xiaosong Zhang,
2015,
IEEE Transactions on Software Engineering.
Peter J. Stuckey,
Peter Schachte,
François Gauthier,
2017,
TACAS.
Carroll Morgan,
Yuxin Deng,
Rob J. van Glabbeek,
2007,
ESOP.
Ron van der Meyden,
Chenyi Zhang,
R. V. D. Meyden,
2006,
Theor. Comput. Sci..
Ron van der Meyden,
Chenyi Zhang,
R. V. D. Meyden,
2013,
Theor. Comput. Sci..
Jun Pang,
Zhiyuan Liu,
Chenyi Zhang,
2011,
TTSS.
Jun Pang,
Zhiyuan Liu,
Chenyi Zhang,
2010
.
Chenyi Zhang,
Chenyi Zhang,
2011,
TGC.
Ron van der Meyden,
Chenyi Zhang,
R. V. D. Meyden,
2007,
VODCA@FOSAD.
Yi Lu,
Chenyi Zhang,
Chenyi Zhang,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Ron van der Meyden,
Kai Engelhardt,
Chenyi Zhang,
2012,
CCS.
Chenyi Zhang,
Chenyi Zhang,
2010,
ArXiv.
Ron van der Meyden,
Chenyi Zhang,
R. V. D. Meyden,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Cristina Cifuentes,
Bernhard Scholz,
Chenyi Zhang,
2008,
2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Ron van der Meyden,
Chenyi Zhang,
Franck Cassez,
2010,
Theor. Comput. Sci..
David Lo,
Xin Xia,
Chenyi Zhang,
2014,
ICPC 2014.