Dana N. Xu
发表
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2003,
PPoPP 2003.
Dana N. Xu,
2006,
Haskell '06.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2001,
APLAS.
Wei-Ngan Chin,
Dana N. Xu,
Corneliu Popeea,
2008,
PEPM '08.
Siau-Cheng Khoo,
Dana N. Xu,
Zhenjiang Hu,
2004,
APLAS.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2003,
PEPM '03.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2002,
APLAS.
Siau-Cheng Khoo,
Dana N. Xu,
Siau-Cheng Khoo,
2002,
ASIA-PEPM '02.
Dana N. Xu,
2012,
PEPM '12.
Dana N. Xu,
Gregor Gößler,
Alain Girault,
2012,
Formal Methods Syst. Des..
Dana N. Xu,
Gregor Gößler,
Alain Girault,
2010,
ATVA.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2001,
APLAS.
Dana N. Xu,
P. Wyckoff,
A. Devulapalli,
2009
.
Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu,
2003
.
Dana N. Xu,
S. Jones,
2006
.
Dana N. Xu,
W. Chin,
Siau-Cheng Khoo,
2008
.