☰

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 Theory
Tree Info Similar researchers PubMed Report error

3 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year 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.