| 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 | 589 | 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 | 247 | 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 | 116 | 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 | 73 | 2009 |
| 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 | 73 | 2008 |
| 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 | 71 | 2008 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, T Yih-Kuen Theoretical Computer Science 167 (1-2), 47-72, 1996 | 71 | 1996 |
| 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 | 66 | 2007 |
| State of Büchi complementation YK Tsay, MY Vardi, S Fogarty, MH Tsai Logical Methods in Computer Science 10, 2014 | 59 | 2014 |
| 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 | 53 | 2010 |
| GOAL for games, omega-automata, and logics MH Tsai, YK Tsay, YS Hwang International Conference on Computer Aided Verification, 883-889, 2013 | 49 | 2013 |
| Some impossibility results in interprocess synchronization YK Tsay, RL Bagrodia Distributed Computing 6 (4), 221-231, 1993 | 30 | 1993 |
| 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 | 28 | 2008 |
| Compositional verification in linear-time temporal logic YK Tsay International Conference on Foundations of Software Science and Computation …, 2000 | 27 | 2000 |
| Assumption/guarantee specifications in linear-time temporal logic B Jonsson, YK Tsay Colloquium on Trees in Algebra and Programming, 262-276, 1995 | 20 | 1995 |
| Fault-tolerant algorithms for fair interprocess synchronization YK Tsay, RL Bagrodia IEEE Transactions on Parallel and Distributed Systems 5 (7), 737-748, 1994 | 20 | 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 | 17 | 2011 |
| Sequence based indexing and retrieval method for text documents YK Tsay, CL Yu, YF Chen US Patent App. 10/803,478, 2005 | 16 | 2005 |
| Deriving a scalable algorithm for mutual exclusion YK Tsay International Symposium on Distributed Computing, 393-407, 1998 | 15 | 1998 |
| An algorithm with optimal failure locality for the dining philosophers problem YK Tsay, RL Bagrodia International Workshop on Distributed Algorithms, 296-310, 1994 | 14 | 1994 |
Ming-Hsien TsaiAcademia SinicaVerified email at iis.sinica.edu.tw
