Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. - Thomas Wilke; Haiseung Yoo (TAPSOFT, 1995)

Computing the Rabin Index of a Regular Language of Infinite Words. - Thomas Wilke; Haiseung Yoo (Inf. Comput., 1996)

Automatic Error Location for IN Service Definition. - Volker Braun; Tiziana Margaria; Bernhard Steffen; Haiseung Yoo (Services and Visualization: Towards User-Friendly Design, 1998)

MetaGame: An Animation Tool for Model-Checking Games. - Markus Müller-Olm; Haiseung Yoo (TACAS, 2004)

Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese. - Haiseung Yoo (2007)