Yuxin Deng
发表
Davide Sangiorgi,
Daniele Gorla,
Yuxin Deng,
2009
.
Hengyang Wu,
Yuxin Deng,
Yuxin Deng,
2018,
IEEE Transactions on Fuzzy Systems.
Stéphane Grumbach,
Jean-François Monin,
Yuxin Deng,
2010
.
Yuxin Deng,
Ming Xu,
Yuxin Deng,
2020,
Inf. Comput..
Carroll Morgan,
Matthew Hennessy,
Yuxin Deng,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Yuxin Deng,
Yuxin Deng,
2014,
Springer Berlin Heidelberg.
Yuxin Deng,
Yuxin Deng,
2015
.
Yuxin Deng,
Yuxin Deng,
2005
.
Xin Li,
Julian Dolby,
Yuxin Deng,
2018,
2018 5th International Conference on Dependable Systems and Their Applications (DSA).
Frank D. Valencia,
Tom Chothia,
Catuscia Palamidessi,
2005
.
Xiaojuan Cai,
Yuxin Deng,
Lin Song,
2007
.
Stéphane Grumbach,
Jean-François Monin,
Yuxin Deng,
2011
.