Yih-Kuen Tsay
发表
E. Clarke,
Yu-Fang Chen,
Bow-Yaw Wang,
2008
.
Moshe Y. Vardi,
M. Tsai,
Yih-Kuen Tsay,
2010
.
Yu-Fang Chen,
M. Tsai,
Yih-Kuen Tsay,
2008
.
Yu-Fang Chen,
Yih-Kuen Tsay,
2005
.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
M. Tsai,
2014
.
Yih-Kuen Tsay,
Yih-Kuen Tsay,
2011
.
Moshe Y. Vardi,
Lijun Zhang,
Andrea Turrini,
2021,
2104.03555.
Yih-Kuen Tsay,
Rajive L. Bagrodia,
R. Bagrodia,
1993,
Distributed Computing.
Yih-Kuen Tsay,
Rajive L. Bagrodia,
R. Bagrodia,
1992,
[1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
Bengt Jonsson,
Yih-Kuen Tsay,
B. Jonsson,
1996,
Theor. Comput. Sci..
Yih-Kuen Tsay,
Yih-Kuen Tsay,
1998,
DISC.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Yu-Fang Chen,
2007,
TACAS.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Jinn-Shu Chang,
2013,
International Journal on Software Tools for Technology Transfer.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Jinn-Shu Chang,
2009,
Formal Aspects of Computing.
Moshe Y. Vardi,
Yih-Kuen Tsay,
2021,
Model Checking, Synthesis, and Learning.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Yu-Shiang Hwang,
2013,
CAV.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Moshe Y. Vardi,
2010,
CIAA.
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.
Parosh Aziz Abdulla,
Bengt Jonsson,
Yih-Kuen Tsay,
2000,
Inf. Comput..
Parosh Aziz Abdulla,
Bengt Jonsson,
Yih-Kuen Tsay,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Yih-Kuen Tsay,
Yih-Kuen Tsay,
2009
.
Peter Lee,
Yih-Kuen Tsay,
Ming-Hsien Tsai,
2010,
POPL '10.
Yih-Kuen Tsay,
Yong Li,
M. Vardi,
2021,
FM.