第 1 到 44 筆結果,共 44 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
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 | |
2 | 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) | |||
3 | 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) | |||
4 | 2014 | State of Büchi complementation | MONG-HSUN TSAI ; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Logical Methods in Computer Science | |||
5 | 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) | |||
6 | 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 | |||
7 | 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) | |||
8 | 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) | |||
9 | 2010 | Automated assume-guarantee reasoning through implicit learning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
10 | 2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; YIH-KUEN TSAY | Conference Record of the Annual ACM Symposium on Principles of Programming Languages | |||
11 | 2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; YIH-KUEN TSAY | ACM SIGPLAN Notices | |||
12 | 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) | |||
13 | 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) | |||
14 | 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 | |||
15 | 2009 | Automated compositional reasoning of intuitionistically closed regular properties | YIH-KUEN TSAY ; Wang, B.-Y. | International Journal of Foundations of Computer Science | |||
16 | 2008 | 從假設保證式規格自動合成反應式模組之研究 | 蔡益坤 | ||||
17 | 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) | |||
18 | 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) | |||
19 | 2008 | Automated compositional reasoning of intuitionistically closed regular properties | YIH-KUEN TSAY ; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
20 | 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) | |||
21 | 2007 | Automated technology for verification and analysis (ATVA 2005): Preface | Peled, D.A.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | |||
22 | 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) | |||
23 | 2005 | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | 蔡益坤 | ||||
24 | 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) | |||
25 | 2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
26 | 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) | |||
27 | 2002 | 可容錯之行動物件定位演算法 | 蔡益坤 | ||||
28 | 2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 | ||||
29 | 2000 | 分散式互斥與物件追蹤 | 蔡益坤 | ||||
30 | 2000 | Algorithmic analysis of programs with well quasi-ordered domains | Abdulla, P.A.; Čerāns, K.; Jonsson, B.; YIH-KUEN TSAY | Information and Computation | |||
31 | 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) | |||
32 | 1999 | 分散式系統的模組化驗證 | 蔡益坤 | ||||
33 | 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) | |||
34 | 1998 | 時間邏輯式規格的自動分析與可組合性 | 蔡益坤 | ||||
35 | 1997 | 反應式系統的可組合規格與自動驗證 | 蔡益坤 | ||||
36 | 1996 | Assumption/guarantee specifications in linear-time temporal logic | Jonsson, Bengt; Tsay, Yih-Kuen | Theoretical Computer Science | 36 | 27 | |
37 | 1996 | General decidability theorems for infinite-state systems | Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; YIH-KUEN TSAY | Symposium on Logic in Computer Science | |||
38 | 1995 | Deducing fairness properties in UNITY logic - a new completeness result | YIH-KUEN TSAY ; Bagrodia, Rajive L. | ACM Transactions on Programming Languages and Systems | |||
39 | 1995 | Assumption/guarantee specifications in linear-time temporal logic | Jonsson, B; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
40 | 1994 | An algorithm with optimal failure locality for the dining philosophers problem | YIH-KUEN TSAY ; Bagrodia, R.L. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
41 | 1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | IEEE Transactions on Parallel and Distributed Systems | |||
42 | 1993 | Some impossibility results in interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | Distributed Computing | |||
43 | 1992 | A real-time algorithm for fair interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | International Conference on Distributed Computing Systems | |||
44 | - | Introducing the sequence model for text retrieval | Tsay, Yih-Kuen ; Chen, Yu-Fang |