Duc-Khanh Tran
发表
Fabrice Bouquet,
Bruno Legeard,
Calogero G. Zarba,
2005
.
Duc-Khanh Tran,
Minh-Tam Nguyen,
Duc-Khanh Tran,
2014,
2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).
Duc-Khanh Tran,
Thi-Minh-Tam Nguyen,
Viet-Trung Vu,
2013,
2013 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).
Hélène Kirchner,
Christophe Ringeissen,
Silvio Ranise,
2010,
J. Symb. Comput..
Christophe Ringeissen,
Silvio Ranise,
Duc-Khanh Tran,
2004,
ICTAC.
Christophe Ringeissen,
Silvio Ranise,
Duc-Khanh Tran,
2011,
Inf. Comput..
C. Lynch,
Quang-Trung Ta,
Duc-Khanh Tran,
2008,
Journal of Automated Reasoning.
Duc-Khanh Tran,
Christopher Lynch,
C. Lynch,
2007,
CADE.
Hélène Kirchner,
Christophe Ringeissen,
Silvio Ranise,
2006,
LPAR.
Hélène Kirchner,
Christophe Ringeissen,
Silvio Ranise,
2005,
ICTAC.
Christophe Ringeissen,
Silvio Ranise,
Duc-Khanh Tran,
2007,
FroCoS.
Quang-Trung Ta,
Duc-Khanh Tran,
Christopher Lynch,
2012,
Journal of Automated Reasoning.
Cao-Phi Tran,
Duc-Khanh Tran,
Duc-Khanh Tran,
2018,
2018 10th International Conference on Knowledge and Systems Engineering (KSE).