Yih-Kuen Tsay

	2009
22		Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Learning Minimal Separating DFA's for Compositional Verification. TACAS 2009: 31-45
21		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang: Tool support for learning Büchi automata and linear temporal logic. Formal Asp. Comput. 21(3): 259-275 (2009)
20		Yih-Kuen Tsay, Bow-Yaw Wang: Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Int. J. Found. Comput. Sci. 20(4): 747-762 (2009)
	2008
19		Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay: THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432
18		Yih-Kuen Tsay, Bow-Yaw Wang: Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. CIAA 2008: 36-45
17		Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. TACAS 2008: 2-17
16		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo: GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. TACAS 2008: 346-350
	2007
15		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan: GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS 2007: 466-471
14		Doron Peled, Yih-Kuen Tsay: Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007)
	2005
13		Doron Peled, Yih-Kuen Tsay: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 2005
	2003
12		Jei-Wen Teng, Yih-Kuen Tsay: Composing Temporal-Logic Specifications with Machine Assistance. FME 2003: 719-738
	2000
11		Yih-Kuen Tsay: Compositional Verification in Linear-Time Temporal Logic. FoSSaCS 2000: 344-358
10		Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay: Algorithmic Analysis of Programs with Well Quasi-ordered Domains. Inf. Comput. 160(1-2): 109-127 (2000)
	1998
9		Yih-Kuen Tsay: Deriving a Scalable Algorithm for Mutual Exclusion. DISC 1998: 393-407
	1996
8		Parosh Aziz Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay: General Decidability Theorems for Infinite-State Systems. LICS 1996: 313-321
7		Bengt Jonsson, Yih-Kuen Tsay: Assumption/Guarantee Specifications in Linear-Time Temporal Logic. Theor. Comput. Sci. 167(1&2): 47-72 (1996)
	1995
6		Bengt Jonsson, Yih-Kuen Tsay: Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). TAPSOFT 1995: 262-276
5		Yih-Kuen Tsay, Rajive Bagrodia: Deducing Fairness Properties in UNITY Logic - A New Completeness Result. ACM Trans. Program. Lang. Syst. 17(1): 16-27 (1995)
	1994
4		Yih-Kuen Tsay, Rajive Bagrodia: An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem. WDAG 1994: 296-310
3		Yih-Kuen Tsay, Rajive Bagrodia: Fault-Tolerant Algorithms for Fair Interprocess Synchronization. IEEE Trans. Parallel Distrib. Syst. 5(7): 737-748 (1994)
	1993
2		Yih-Kuen Tsay, Rajive Bagrodia: Some Impossibility Results in Interprocess Synchronization. Distributed Computing 6(4): 221-231 (1993)
	1992
1		Yih-Kuen Tsay, Rajive Bagrodia: A Real-Time Algorithm for Fair Interprocess Synchronization. ICDCS 1992: 716-723

Coauthor Index

1	Parosh Aziz Abdulla	[8] [10]
2	Rajive Bagrodia	[1] [2] [3] [4] [5]
3	Karlis Cerans	[8] [10]
4	Wen-Chin Chan	[15] [16] [21]
5	Jinn-Shu Chang	[21]
6	Yu-Fang Chen	[15] [16] [17] [21] [22]
7	Edmund M. Clarke	[17] [22]
8	Azadeh Farzan	[17] [22]
9	Bengt Jonsson	[6] [7] [8] [10]
10	Peter Lee	[19]
11	Chi-Jian Luo	[16] [21]
12	Stephen Magill	[19]
13	Doron Peled	[13] [14]
14	Jei-Wen Teng	[12]
15	Ming-Hsien Tsai	[15] [16] [19] [21]
16	Bow-Yaw Wang	[17] [18] [20] [22]
17	Kang-Nien Wu	[15] [21]

Colors in the list of coauthors