第 1 到 9 筆結果,共 9 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2021 | Congruence Relations for Büchi Automata | Li Y; Tsay Y.-K; Turrini A; Vardi M.Y; Zhang L.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
2 | 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 | |
3 | 2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 28 | 0 | |
4 | 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 | |
5 | 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 | |
6 | 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 | |||
7 | 1995 | Assumption/guarantee specifications in linear-time temporal logic | Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 7 | 0 | |
8 | 1994 | An algorithm with optimal failure locality for the dining philosophers problem | Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 7 | ||
9 | 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 |