第 1 到 12 筆結果,共 12 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 1999 | 分散式系統的模組化驗證 | 蔡益坤 | ||||
2 | 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) | |||
3 | 1998 | 時間邏輯式規格的自動分析與可組合性 | 蔡益坤 | ||||
4 | 1997 | 反應式系統的可組合規格與自動驗證 | 蔡益坤 | ||||
5 | 1996 | General decidability theorems for infinite-state systems | Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; YIH-KUEN TSAY | Symposium on Logic in Computer Science | |||
6 | 1996 | Assumption/guarantee specifications in linear-time temporal logic | Jonsson, Bengt; Tsay, Yih-Kuen | Theoretical Computer Science | 36 | 27 | |
7 | 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) | |||
8 | 1995 | Deducing fairness properties in UNITY logic - a new completeness result | YIH-KUEN TSAY ; Bagrodia, Rajive L. | ACM Transactions on Programming Languages and Systems | |||
9 | 1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | IEEE Transactions on Parallel and Distributed Systems | |||
10 | 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) | |||
11 | 1993 | Some impossibility results in interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | Distributed Computing | |||
12 | 1992 | A real-time algorithm for fair interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | International Conference on Distributed Computing Systems |