Haiseung Yoo

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Markus Müller-Olm, Haiseung Yoo
MetaGame: An Animation Tool for Model-Checking Games. TACAS (2004)
Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design (1998)
Thomas Wilke, Haiseung Yoo
Computing the Rabin Index of a Regular Language of Infinite Words. Inf. Comput. 130 (1) (1996)
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)