Bow-Yaw Wang
发表
Yu-Fang Chen,
Bow-Yaw Wang,
2013,
TACAS.
Kwangkeun Yi,
Bow-Yaw Wang,
Yungbum Jung,
2011,
TACAS.
Kwangkeun Yi,
Bow-Yaw Wang,
Yungbum Jung,
2012,
Log. Methods Comput. Sci..
Bow-Yaw Wang,
Geng-Dian Huang,
2007,
ATVA.
Farn Wang,
Yu-Fang Chen,
Bow-Yaw Wang,
2019,
NETYS.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010,
APLAS.
Bow-Yaw Wang,
Bow-Yaw Wang,
2006,
PADL.
Lijun Zhang,
Bow-Yaw Wang,
Fei He,
2016,
ACM Trans. Softw. Eng. Methodol..
Yongjian Li,
Bow-Yaw Wang,
2019,
ICFEM.
Fang Yu,
Tevfik Bultan,
Yu-Fang Chen,
2016,
ISSTA.
Bow-Yaw Wang,
2001
.
Farn Wang,
Fang Yu,
Karsten Wolf,
2004,
IEEE Transactions on Software Engineering.
Thomas A. Henzinger,
Rajeev Alur,
Radu Grosu,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Min Zhou,
Ming Gu,
Jia-Guang Sun,
2014,
Journal of Automated Reasoning.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Edmund M. Clarke,
2010,
CAV.
Lijun Zhang,
Bow-Yaw Wang,
Fei He,
2015,
POPL.
Bow-Yaw Wang,
2005
.
Yih-Kuen Tsay,
Bow-Yaw Wang,
2009,
Int. J. Found. Comput. Sci..
Fang Yu,
Bow-Yaw Wang,
Fang Yu,
2004,
ATVA.
Bow-Yaw Wang,
Fei He,
Liangze Yin,
2013,
ATVA.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2010
.
Hsin-Hung Lin,
Bow-Yaw Wang,
2017,
MEMOCODE.
Dong Yan,
Chen Luo,
Xin Zhou,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Ming-Hsien Tsai,
Bo-Yin Yang,
Bow-Yaw Wang,
2018,
CONCUR.
Peter Schwabe,
Ming-Hsien Tsai,
Bo-Yin Yang,
2014,
CCS.
Bow-Yaw Wang,
Geng-Dian Huang,
2010,
Int. J. Found. Comput. Sci..
Lei Zhu,
Yih-Kuen Tsay,
Ming-Hsien Tsai,
2010,
ISoLA.
Hsu-Chun Yen,
Bow-Yaw Wang,
Ming-Sheng Yang,
1994,
Int. J. Found. Comput. Sci..
Min Zhou,
Ming Gu,
Jia-Guang Sun,
2013,
J. Appl. Math..
Fei He,
Bow-Yaw Wang,
Rongchen Xu,
2020,
ESEC/SIGSOFT FSE.
Rajeev Alur,
Radu Grosu,
Bow-Yaw Wang,
2000,
CAV 2000.
Kwangkeun Yi,
Bow-Yaw Wang,
Wonchan Lee,
2012,
CAV.
Shin-Cheng Mu,
Yu-Fang Chen,
Bow-Yaw Wang,
2017,
NETYS.
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2015,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
José Meseguer,
Carl A. Gunter,
Bow-Yaw Wang,
2000,
ICDCS Workshop on Distributed System Validation and Verification.
Yu-Fang Chen,
Bow-Yaw Wang,
2012,
CAV.
Rajeev Alur,
Bow-Yaw Wang,
R. Alur,
2001,
CAV.
Ming-Hsien Tsai,
Bow-Yaw Wang,
2006,
ASIAN.
Fei He,
Bow-Yaw Wang,
Qianshan Yu,
2020,
Proc. ACM Program. Lang..
Bo-Yin Yang,
Bow-Yaw Wang,
Ming-Hsien Tsai,
2019,
CCS.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2009,
TACAS.
Soonho Kong,
Kwangkeun Yi,
Bow-Yaw Wang,
2010,
VMCAI.
Qiang Liu,
Bow-Yaw Wang,
Fei He,
2012,
NASA Formal Methods.
Bow-Yaw Wang,
Bow-Yaw Wang,
2007,
CONCUR.
Liyun Dai,
Bican Xia,
Naijun Zhan,
2013
.
Rajeev Alur,
Bow-Yaw Wang,
R. Alur,
1999,
CONCUR.
Fang Yu,
Bow-Yaw Wang,
Fang Yu,
2006,
Int. J. Found. Comput. Sci..
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2015,
TACAS.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2008,
TACAS.
Bow-Yaw Wang,
Fei He,
Shu Mao,
2016,
CAV.
Yu-Fang Chen,
Bow-Yaw Wang,
Di-De Yen,
2013,
INFINITY.
Yih-Kuen Tsay,
Bow-Yaw Wang,
2008,
CIAA.
Ming-Hsien Tsai,
Bow-Yaw Wang,
2006,
ASIAN.
Hsu-Chun Yen,
Bow-Yaw Wang,
Ming-Sheng Yang,
1993,
Application and Theory of Petri Nets.
Soonho Kong,
Kwangkeun Yi,
Cristina David,
2015,
Math. Struct. Comput. Sci..
Bow-Yaw Wang,
Bow-Yaw Wang,
2006,
SAC.
Rajeev Alur,
Radu Grosu,
Bow-Yaw Wang,
2000,
FMCAD.
Bow-Yaw Wang,
Bow-Yaw Wang,
2005,
FORTE.
Bow-Yaw Wang,
Bow-Yaw Wang,
2004,
WRLA.
Yu-Fang Chen,
Bow-Yaw Wang,
Nishant Sinha,
2015,
TACAS.
Lijun Zhang,
Bow-Yaw Wang,
Depeng Liu,
2018,
APLAS.
Bow-Yaw Wang,
Jiaxiang Liu,
Xiaomu Shi,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2014,
SAS.
Lijun Zhang,
Yu-Fang Chen,
Bow-Yaw Wang,
2015,
CAV.
Bow-Yaw Wang,
Ching-Chun Huang,
Chen-Kai Lin,
2018,
ArXiv.
Fang Yu,
Bow-Yaw Wang,
Yao-Wen Huang,
2004,
FORMATS/FTRTFT.
Bow-Yaw Wang,
2005,
SEKE.
Min Zhou,
Ming Gu,
Bow-Yaw Wang,
2010,
CAV.
Bow-Yaw Wang,
2006,
ATVA.
Hsu-Chun Yen,
Bow-Yaw Wang,
Ming-Sheng Yang,
1997,
Theory Comput. Syst..
Lei Zhu,
Bow-Yaw Wang,
Fei He,
2014,
ICSE.
Yu-Fang Chen,
Bow-Yaw Wang,
Kai-Chun Yang,
2014,
2014 21st Asia-Pacific Software Engineering Conference.
Ming-Hsien Tsai,
Bo-Yin Yang,
Bow-Yaw Wang,
2017,
CCS.
Hsu-Chun Yen,
Bow-Yaw Wang,
H. Yen,
1997,
Theory of Computing Systems.
Rajeev Alur,
Bow-Yaw Wang,
R. Alur,
1999
.
Bow-Yaw Wang,
Bow-Yaw Wang,
2005
.