Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
1995 | Deducing fairness properties in UNITY logic - a new completeness result | Tsay, Yih-Kuen; Bagrodia, Rajive L.; YIH-KUEN TSAY | ACM Transactions on Programming Languages and Systems | 3 | 2 | |
1998 | Deriving a scalable algorithm for mutual exclusion | Tsay, Y.-K.; 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.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 57 | 0 | |
1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY | IEEE Transactions on Parallel and Distributed Systems | 10 | 9 | |
2021 | From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle | Tsay Y.-K; Vardi M.Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
1996 | General decidability theorems for infinite-state systems | Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; Tsay, Yih-Kuen; YIH-KUEN TSAY | Symposium on Logic in Computer Science | | | |
2008 | GOAL extended: Towards a research tool for omega automata and temporal logic | Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 17 | 0 | |
2013 | GOAL for games, omega-automata, and logics | Tsai, M.-H.; Tsay, Y.-K.; Hwang, Y.-S.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 28 | 0 | |
2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; YIH-KUEN TSAY | 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.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 51 | 0 | |
2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Peled, D.A.; Tsay, Y.-K.; 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 | Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY | International Conference on Distributed Computing Systems | 4 | 0 | |
1993 | Some impossibility results in interprocess synchronization | Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY | Distributed Computing | 15 | 13 | |
2011 | State of Büchi complementation | Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 16 | 0 | |
2014 | State of Büchi complementation | Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY ; Tsai, M.-H | Logical Methods in Computer Science | 14 | 10 | |
2008 | THOR: A tool for reasoning about shape and arithmetic - Tool paper | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 31 | 0 | |
2009 | Tool support for learning Büchi automata and linear temporal logic | Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY | Formal Aspects of Computing | 2 | 1 | |
2022 | Towards a Grand Unification of Büchi Complementation Constructions | Vardi, Moshe Y.; Fogarty, Seth; Li, Yong; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 0 | 0 | |
2005 | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | 蔡益坤 | | | | |