Yih-Kuen Tsay
Author
Alternate names Y.‐K. Tsay, Tsay Yih‐Kuen, Yih‐Kuen Tsay, 蔡益坤
Institution National Taiwan University
Past institutions National Taiwan University, University of California, Los Angeles, Uppsala University
ORCID: Yes
H-index: 15
I10-index: 20
Works count: 48
Citations count: 1,258
General decidability theorems for infinite-state systems
2002 · Parosh Aziz Abdulla, Kārlis Čerāns, et al.
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
2000 · Parosh Aziz Abdulla, Kārlis Čerāns, et al. · Information and Computation
Automatic numeric abstractions for heap-manipulating programs
2010 · S. Magill, Ming-Hsien Tsai, et al.