第 1 到 26 筆結果,共 26 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2014 | State of Büchi complementation | Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY ; Tsai, M.-H | Logical Methods in Computer Science | 14 | 10 | |
2 | 2013 | Büchi Store: An open repository of ω-automata | Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; Liu, C.-S.; YIH-KUEN TSAY | International Journal on Software Tools for Technology Transfer | 8 | 0 | |
3 | 2013 | GOAL for games, omega-automata, and logics | Tsai, M.-H.; Tsay, Y.-K.; Hwang, Y.-S.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 28 | 0 | |
4 | 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 | |
5 | 2011 | Büchi store: An open repository of Büchi automata | Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 15 | 0 | |
6 | 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 | |
7 | 2010 | Automated assume-guarantee reasoning through implicit learning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; 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) | 38 | 0 | |
8 | 2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | ACM SIGPLAN Notices | |||
9 | 2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 6 | 0 | |
10 | 2009 | Tool support for learning Büchi automata and linear temporal logic | Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY | Formal Aspects of Computing | 2 | 1 | |
11 | 2009 | Automated compositional reasoning of intuitionistically closed regular properties | Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | 0 | 0 | |
12 | 2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; 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) | 51 | 0 | |
13 | 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 | |
14 | 2008 | Automated compositional reasoning of intuitionistically closed regular properties | Tsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
15 | 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 | |
16 | 2008 | THOR: A tool for reasoning about shape and arithmetic - Tool paper | Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 31 | 0 | |
17 | 2007 | Automated technology for verification and analysis (ATVA 2005): Preface | Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | 0 | 0 | |
18 | 2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
19 | 2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
20 | 2003 | Composing temporal-logic specifications with machine assistance | Teng, J.-W.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
21 | 2000 | Compositional verification in linear-time temporal logic | Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
22 | 2000 | Algorithmic analysis of programs with well quasi-ordered domains | Abdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY | Information and Computation | 159 | 119 | |
23 | 1998 | Deriving a scalable algorithm for mutual exclusion | Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
24 | 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 | |
25 | 1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY | IEEE Transactions on Parallel and Distributed Systems | 10 | 9 | |
26 | 1993 | Some impossibility results in interprocess synchronization | Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY | Distributed Computing | 15 | 13 |