Yih Kuen Tsay

Yih Kuen Tsay

National Taiwan University - Taipei / Taiwan
Engineering & Technology / Computer Science
AD Scientific Index ID: 483084
國立台灣大學
person_outline Yih Kuen Tsay's MOST POPULAR ARTICLES
1-) Algorithmic analysis of programs with well quasi-ordered domains Information and Computation 160 (1-2), 109-127, 2000
2-) Automatic numeric abstractions for heap-manipulating programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
3-) Learning minimal separating DFA’s for compositional verification International Conference on Tools and Algorithms for the Construction and …, 2009
4-) Extending automated compositional verification to the full class of omega-regular languages International Conference on Tools and Algorithms for the Construction and …, 2008
5-) Extending automated compositional verification to the full class of omega-regular languagesA Farzan, YF Chen, EM Clarke, YK Tsay, BY WangInternational Conference on Tools and Algorithms for the Construction and …, 2008882008