Results 1-9 of 9 (Search time: 0.011 seconds).
Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link | |
---|---|---|---|---|---|---|---|
1 | 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) | |||
2 | 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) | |||
3 | 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 | |||
4 | 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) | |||
5 | 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) | |||
6 | 1996 | General decidability theorems for infinite-state systems | Abdulla, Parosh Aziz; Cerans, Karlis; Jonsson, Bengt; YIH-KUEN TSAY | Symposium on Logic in Computer Science | |||
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 | 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) | |||
9 | 1992 | A real-time algorithm for fair interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | International Conference on Distributed Computing Systems |