Follow
Yih-Kuen Tsay
Yih-Kuen Tsay
Professor of Information Management, National Taiwan University
Verified email at ntu.edu.tw - Homepage
Title
Cited by
Cited by
Year
General decidability theorems for infinite-state systems
PA Abdulla, K Cerans, B Jonsson, YK Tsay
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996
5991996
Algorithmic analysis of programs with well quasi-ordered domains
PA Abdulla, K Čerāns, B Jonsson, YK Tsay
Information and Computation 160 (1-2), 109-127, 2000
2512000
Automatic numeric abstractions for heap-manipulating programs
S Magill, MH Tsai, P Lee, YK Tsay
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1202010
Learning minimal separating DFA’s for compositional verification
YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
802009
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, T Yih-Kuen
Theoretical Computer Science 167 (1-2), 47-72, 1996
771996
THOR: A Tool for Reasoning about Shape and Arithmetic: Tool Paper
S Magill, MH Tsai, P Lee, YK Tsay
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
742008
Extending automated compositional verification to the full class of omega-regular languages
A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
722008
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
682007
State of Büchi complementation
YK Tsay, MY Vardi, S Fogarty, MH Tsai
Logical Methods in Computer Science 10, 2014
642014
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
552010
GOAL for games, omega-automata, and logics
MH Tsai, YK Tsay, YS Hwang
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
512013
GOAL extended: Towards a research tool for omega automata and temporal logic
YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
322008
Some impossibility results in interprocess synchronization
YK Tsay, RL Bagrodia
Distributed Computing 6 (4), 221-231, 1993
321993
Compositional verification in linear-time temporal logic
YK Tsay
Foundations of Software Science and Computation Structures: Third …, 2000
272000
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, YK Tsay
TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995
201995
Fault-tolerant algorithms for fair interprocess synchronization
YK Tsay, RL Bagrodia
IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994
201994
Büchi store: An open repository of Büchi automata
YK Tsay, MH Tsai, JS Chang, YW Chang
Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011
182011
Sequence based indexing and retrieval method for text documents
YK Tsay, CL Yu, YF Chen
US Patent App. 10/803,478, 2005
172005
Deriving a scalable algorithm for mutual exclusion
YK Tsay
Distributed Computing: 12th International Symposium, DISC’98 Andros, Greece …, 1998
161998
An algorithm with optimal failure locality for the dining philosophers problem
YK Tsay, RL Bagrodia
Distributed Algorithms: 8th International Workshop, WDAG'1994 Terschelling …, 1994
141994
The system can't perform the operation now. Try again later.
Articles 1–20