Yu-Fang Chen
发表
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2014,
CAV.
Shin-Cheng Mu,
Yu-Fang Chen,
Bow-Yaw Wang,
2017,
NETYS.
E. Clarke,
Yu-Fang Chen,
Bow-Yaw Wang,
2008
.
Yu-Fang Chen,
M. Tsai,
Yih-Kuen Tsay,
2008
.
P. Abdulla,
T. Vojnar,
R. Mayr,
2011
.
P. Abdulla,
R. Mayr,
Yu-Fang Chen,
2011
.
Yu-Fang Chen,
Yih-Kuen Tsay,
2005
.
Parosh Aziz Abdulla,
Richard Mayr,
Yu-Fang Chen,
2010
.
P. Abdulla,
T. Vojnar,
R. Mayr,
2010
.
Yu-Fang Chen,
Vojtech Havlena,
Ondřej Lengál,
2019
.
Kai-Min Chung,
Yu-Fang Chen,
W. Tsai,
2023,
Proc. ACM Program. Lang..
Lijun Zhang,
Yu-Fang Chen,
Yong Li,
2018,
SETSS.
Peter Schwabe,
Ming-Hsien Tsai,
Bo-Yin Yang,
2014,
CCS.
Gaiyun Liu,
Yu-Fang Chen,
Zhenhua Yu,
2020,
VECoS.
Yu-Fang Chen,
Bow-Yaw Wang,
Kai-Chun Yang,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
SAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2011
.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Yu-Fang Chen,
2007,
TACAS.
Lijun Zhang,
Yong Li,
Yu-Fang Chen,
2016,
TACAS.
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2011,
CONCUR.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Jinn-Shu Chang,
2009,
Formal Aspects of Computing.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Yu-Fang Chen,
2010,
CONCUR.
Lijun Zhang,
Ming-Hsien Tsai,
Yong Li,
2018,
PLDI.
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2015,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2010,
CAV.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2008,
TACAS.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Edmund M. Clarke,
2010,
CAV.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2009,
TACAS.
Alois Knoll,
Chih-Hong Cheng,
Yu-Fang Chen,
2011,
ATVA.
Yu-Fang Chen,
Hsiang-Shang Ko,
Yun-Sheng Chang,
2021,
ArXiv.
Yu-Fang Chen,
L. Holík,
Ondřej Lengál,
2022,
ArXiv.
Jochen Hoenicke,
Christian Schilling,
Andreas Podelski,
2018,
TACAS.
Parosh Aziz Abdulla,
Yu-Fang Chen,
Lukás Holík,
2010,
TACAS.
Philipp Rümmer,
Yu-Fang Chen,
A. Lin,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Parosh Aziz Abdulla,
Yu-Fang Chen,
Richard Mayr,
2010
.
Philipp Rümmer,
Yu-Fang Chen,
Anthony Widjaja Lin,
2018
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2015,
CAV.
Yu-Fang Chen,
Andrea Turrini,
Ondřej Lengál,
2023,
J. Syst. Softw..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Julian Dolby,
2020,
PLDI.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2017,
PLDI.
Yu-Fang Chen,
Vojtech Havlena,
Ondrej Lengál,
2020,
APLAS.
Yu-Fang Chen,
Di-De Yen,
Wei-Lun Tsai,
2021,
APLAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2021,
APLAS.
P. Abdulla,
Yu-Fang Chen,
L. Holík,
2011,
International Conference on Concurrency Theory.
Yu-Fang Chen,
Vojtech Havlena,
Ondrej Lengál,
2019,
APLAS.
Yong Li,
Yu-Fang Chen,
Andrea Turrini,
2019,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2013,
TACAS.