Yih-Kuen Tsay, Ph.D. - Publications
Affiliations: | 1995- | Dept. of Information Management | National Taiwan University, Taipei, Taiwan, Taipei City, Taiwan |
Area:
Formal Verification, Temporal Logic, Automata TheoryYear | Citation | Score | |||
---|---|---|---|---|---|
2013 | Tsay Y, Tsai M, Chang J, Chang Y, Liu C. Büchi Store: an open repository of \omega -automata International Journal On Software Tools For Technology Transfer. 15: 109-123. DOI: 10.1007/S10009-012-0268-4 | 0.34 | |||
2009 | Tsay YK, Chen YF, Tsai MH, Wu KN, Chan WC, Luo CJ, Chang JS. Tool support for learning Büchi automata and linear temporal logic Formal Aspects of Computing. 21: 259-275. DOI: 10.1007/S00165-008-0091-6 | 0.343 | |||
1994 | Tsay Y, Bagrodia RL. Fault-tolerant algorithms for fair interprocess synchronization Ieee Transactions On Parallel and Distributed Systems. 5: 737-748. DOI: 10.1109/71.296319 | 0.304 | |||
Show low-probability matches. |