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
5421996
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
2362000
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
1042010
Learning minimal separating DFA’s for compositional verification
YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2009
692009
THOR: A tool for reasoning about shape and arithmetic
S Magill, MH Tsai, P Lee, YK Tsay
International Conference on Computer Aided Verification, 428-432, 2008
692008
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, T Yih-Kuen
Theoretical Computer Science 167 (1-2), 47-72, 1996
651996
Extending automated compositional verification to the full class of omega-regular languages
A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2008
632008
GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
YK Tsay, YF Chen, MH Tsai, KN Wu, WC Chan
International Conference on Tools and Algorithms for the Construction and …, 2007
552007
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
International Conference on Computer Aided Verification, 511-526, 2010
442010
State of Büchi complementation
MH Tsai, S Fogarty, MY Vardi, YK Tsay
International Conference on Implementation and Application of Automata, 261-271, 2010
412010
GOAL for games, omega-automata, and logics
MH Tsai, YK Tsay, YS Hwang
International Conference on Computer Aided Verification, 883-889, 2013
322013
Some impossibility results in interprocess synchronization
YK Tsay, RL Bagrodia
Distributed Computing 6 (4), 221-231, 1993
301993
GOAL extended: Towards a research tool for omega automata and temporal logic
YK Tsay, YF Chen, MH Tsai, WC Chan, CJ Luo
International Conference on Tools and Algorithms for the Construction and …, 2008
262008
Compositional verification in linear-time temporal logic
YK Tsay
International Conference on Foundations of Software Science and Computation …, 2000
252000
Fault-tolerant algorithms for fair interprocess synchronization
YK Tsay, RL Bagrodia
IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994
191994
Büchi store: an open repository of büchi automata
YK Tsay, MH Tsai, JS Chang, YW Chang
International Conference on Tools and Algorithms for the Construction and …, 2011
172011
Deriving a scalable algorithm for mutual exclusion
YK Tsay
International Symposium on Distributed Computing, 393-407, 1998
161998
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, YK Tsay
Colloquium on Trees in Algebra and Programming, 262-276, 1995
161995
Sequence based indexing and retrieval method for text documents
YK Tsay, CL Yu, YF Chen
US Patent App. 10/803,478, 2005
142005
An algorithm with optimal failure locality for the dining philosophers problem
YK Tsay, RL Bagrodia
International Workshop on Distributed Algorithms, 296-310, 1994
141994
The system can't perform the operation now. Try again later.
Articles 1–20