| |
| 2004 | ||
|---|---|---|
| 4 | EE | Markus Müller-Olm, Haiseung Yoo: MetaGame: An Animation Tool for Model-Checking Games. TACAS 2004: 163-167 |
| 1998 | ||
| 3 | EE | 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 | |
| 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] |