| 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 | 621 | 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 | 274 | 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 | 126 | 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 | 90 | 2009 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, T Yih-Kuen Theoretical Computer Science 167 (1-2), 47-72, 1996 | 83 | 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 | 81 | 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 | 74 | 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 | 73 | 2007 |
| State of B\" uchi Complementation MH Tsai, S Fogarty, MY Vardi, YK Tsay Logical Methods in Computer Science 10, 2014 | 66 | 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 | 63 | 2010 |
| GOAL for games, omega-automata, and logics MH Tsai, YK Tsay, YS Hwang Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 53 | 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 | 30 | 2008 |
| Compositional verification in linear-time temporal logic YK Tsay Foundations of Software Science and Computation Structures: Third …, 2000 | 30 | 2000 |
| Some impossibility results in interprocess synchronization YK Tsay, RL Bagrodia Distributed Computing 6 (4), 221-231, 1993 | 30 | 1993 |
| Fault-tolerant algorithms for fair interprocess synchronization YK Tsay, RL Bagrodia IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994 | 22 | 1994 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, YK Tsay Colloquium on Trees in Algebra and Programming, 262-276, 1995 | 21 | 1995 |
| 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 |
| An algorithm with optimal failure locality for the dining philosophers problem YK Tsay, RL Bagrodia Distributed Algorithms: 8th International Workshop, WDAG'1994 Terschelling …, 1994 | 14 | 1994 |
Ming-Hsien TsaiNational Taiwan University of Science and TechnologyVerified email at mail.ntust.edu.tw
