Haiseung Yoo

	2004
4		Markus Müller-Olm, Haiseung Yoo: MetaGame: An Animation Tool for Model-Checking Games. TACAS 2004: 163-167
	1998
3		Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
	1996
2		Thomas Wilke, Haiseung Yoo: Computing the Rabin Index of a Regular Language of Infinite Words. Inf. Comput. 130(1): 61-70 (1996)
	1995
1		Thomas Wilke, Haiseung Yoo: Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. TAPSOFT 1995: 288-302

Coauthor Index

1	Volker Braun	[3]
2	Tiziana Margaria (Tiziana Margaria-Steffen)	[3]
3	Markus Müller-Olm	[4]
4	Bernhard Steffen	[3]
5	Thomas Wilke	[1] [2]

Colors in the list of coauthors