Seguir
Yih-Kuen Tsay
Yih-Kuen Tsay
Professor of Information Management, National Taiwan University
Dirección de correo verificada de ntu.edu.tw - Página principal
Título
Citado por
Citado por
Año
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
6091996
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
2622000
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
1212010
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
872009
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, T Yih-Kuen
Theoretical Computer Science 167 (1-2), 47-72, 1996
821996
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
792008
THOR: A Tool for Reasoning about Shape and Arithmetic: Tool Paper
S Magill, MH Tsai, P Lee, YK Tsay
International Conference on Computer Aided Verification, 428-432, 2008
752008
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
722007
State of B\" uchi Complementation
MH Tsai, S Fogarty, MY Vardi, YK Tsay
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
602010
GOAL for games, omega-automata, and logics
MH Tsai, YK Tsay, YS Hwang
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
522013
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
312008
Some impossibility results in interprocess synchronization
YK Tsay, RL Bagrodia
Distributed Computing 6 (4), 221-231, 1993
301993
Compositional verification in linear-time temporal logic
YK Tsay
Foundations of Software Science and Computation Structures: Third …, 2000
292000
Fault-tolerant algorithms for fair interprocess synchronization
YK Tsay, RL Bagrodia
IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994
221994
Assumption/guarantee specifications in linear-time temporal logic
B Jonsson, YK Tsay
Colloquium on Trees in Algebra and Programming, 262-276, 1995
211995
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
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
171998
Büchi Store: an open repository of-automata
YK Tsay, MH Tsai, JS Chang, YW Chang, CS Liu
International Journal on Software Tools for Technology Transfer 15 (2), 109-123, 2013
122013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20