公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2011 | Büchi store: An open repository of Büchi automata | YIH-KUEN TSAY ; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2013 | Büchi Store: An open repository of ω-automata | YIH-KUEN TSAY ; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; Liu, C.-S. | International Journal on Software Tools for Technology Transfer | | | |
2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; YIH-KUEN TSAY ; Wang, B.-Y.; Zhu, L. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2003 | Composing temporal-logic specifications with machine assistance | Teng, J.-W.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2000 | Compositional verification in linear-time temporal logic | YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2021 | Congruence Relations for Büchi Automata | Li Y; YIH-KUEN TSAY ; Turrini A; Vardi M.Y; Zhang L. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1995 | Deducing fairness properties in UNITY logic - a new completeness result | YIH-KUEN TSAY ; Bagrodia, Rajive L. | ACM Transactions on Programming Languages and Systems | | | |
1998 | Deriving a scalable algorithm for mutual exclusion | YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2008 | Extending automated compositional verification to the full class of omega-regular languages | Farzan, A.; Chen, Y.-F.; Clarke, E.M.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | IEEE Transactions on Parallel and Distributed Systems | | | |
2021 | From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle | YIH-KUEN TSAY ; Vardi M.Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1996 | General decidability theorems for infinite-state systems | Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; YIH-KUEN TSAY | Symposium on Logic in Computer Science | | | |
2008 | GOAL extended: Towards a research tool for omega automata and temporal logic | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2013 | GOAL for games, omega-automata, and logics | Tsai, M.-H.; YIH-KUEN TSAY ; Hwang, Y.-S. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
- | Introducing the sequence model for text retrieval | Tsay, Yih-Kuen ; Chen, Yu-Fang | | | | |
2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; Clarke, E.M.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Peled, D.A.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
1992 | A real-time algorithm for fair interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | International Conference on Distributed Computing Systems | | | |
1993 | Some impossibility results in interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | Distributed Computing | | | |