| 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 | 604 | 1996 |
| 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 | 253 | 2000 |
| 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 | 122 | 2010 |
| 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 | 83 | 2009 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, T Yih-Kuen Theoretical Computer Science 167 (1-2), 47-72, 1996 | 78 | 1996 |
| 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 | 77 | 2008 |
| 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 | 75 | 2008 |
| 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 | 71 | 2007 |
| State of B\" uchi Complementation MH Tsai, S Fogarty, MY Vardi, YK Tsay Logical Methods in Computer Science 10, 2014 | 65 | 2014 |
| 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 | 59 | 2010 |
| GOAL for games, omega-automata, and logics MH Tsai, YK Tsay, YS Hwang Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 52 | 2013 |
| 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 | 31 | 2008 |
| Some impossibility results in interprocess synchronization YK Tsay, RL Bagrodia Distributed Computing 6, 221-231, 1993 | 30 | 1993 |
| Compositional verification in linear-time temporal logic YK Tsay Foundations of Software Science and Computation Structures: Third …, 2000 | 29 | 2000 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, YK Tsay Colloquium on Trees in Algebra and Programming, 262-276, 1995 | 22 | 1995 |
| Fault-tolerant algorithms for fair interprocess synchronization YK Tsay, RL Bagrodia IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994 | 21 | 1994 |
| 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 | 18 | 2011 |
| Sequence based indexing and retrieval method for text documents YK Tsay, CL Yu, YF Chen US Patent App. 10/803,478, 2005 | 17 | 2005 |
| Deriving a scalable algorithm for mutual exclusion YK Tsay Distributed Computing: 12th International Symposium, DISC’98 Andros, Greece …, 1998 | 17 | 1998 |
| 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 | 12 | 2013 |
Ming-Hsien TsaiNational Institute of Cyber SecurityVerified email at nics.nat.gov.tw
