公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
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 | | | |
2014 | State of Büchi complementation | MONG-HSUN TSAI ; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Logical Methods in Computer Science | | | |
2011 | State of Büchi complementation | Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2008 | THOR: A tool for reasoning about shape and arithmetic - Tool paper | Magill, S.; Tsai, M.-H.; Lee, P.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | | | |
2009 | Tool support for learning Büchi automata and linear temporal logic | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S. | Formal Aspects of Computing | | | |
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) | 蔡益坤 | | | | |
2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 | | | | |
2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | | | | |
2000 | 分散式互斥與物件追蹤 | 蔡益坤 | | | | |
1999 | 分散式系統的模組化驗證 | 蔡益坤 | | | | |
1997 | 反應式系統的可組合規格與自動驗證 | 蔡益坤 | | | | |
2002 | 可容錯之行動物件定位演算法 | 蔡益坤 | | | | |
2008 | 從假設保證式規格自動合成反應式模組之研究 | 蔡益坤 | | | | |
1998 | 時間邏輯式規格的自動分析與可組合性 | 蔡益坤 | | | | |