第 1 到 10 筆結果,共 10 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2000 | Algorithmic analysis of programs with well quasi-ordered domains | Abdulla, P.A.; Čerāns, K.; Jonsson, B.; YIH-KUEN TSAY | Information and Computation | |||
2 | 2009 | Automated compositional reasoning of intuitionistically closed regular properties | YIH-KUEN TSAY ; Wang, B.-Y. | International Journal of Foundations of Computer Science | |||
3 | 2007 | Automated technology for verification and analysis (ATVA 2005): Preface | Peled, D.A.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | |||
4 | 2010 | Automatic numeric abstractions for heap-manipulating programs | Magill, S.; Tsai, M.-H.; Lee, P.; YIH-KUEN TSAY | ACM SIGPLAN Notices | |||
5 | 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 | |||
6 | 1995 | Deducing fairness properties in UNITY logic - a new completeness result | YIH-KUEN TSAY ; Bagrodia, Rajive L. | ACM Transactions on Programming Languages and Systems | |||
7 | 1994 | Fault-Tolerant Algorithms for Fair Interprocess Synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | IEEE Transactions on Parallel and Distributed Systems | |||
8 | 1993 | Some impossibility results in interprocess synchronization | YIH-KUEN TSAY ; Bagrodia, R.L. | Distributed Computing | |||
9 | 2014 | State of Büchi complementation | MONG-HSUN TSAI ; Fogarty, S.; Vardi, M.Y.; YIH-KUEN TSAY | Logical Methods in Computer Science | |||
10 | 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 |