Search the dblp DataBase
Haiseung Yoo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Volker Braun , Tiziana Margaria , Bernhard Steffen , Haiseung Yoo Automatic Error Location for IN Service Definition. [Citation Graph (0, 0)][DBLP ] Services and Visualization: Towards User-Friendly Design, 1998, pp:222-237 [Conf ] Markus Müller-Olm , Haiseung Yoo MetaGame: An Animation Tool for Model-Checking Games. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:163-167 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:288-302 [Conf ] Thomas Wilke , Haiseung Yoo Computing the Rabin Index of a Regular Language of Infinite Words. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:130, n:1, pp:61-70 [Journal ] Search in 0.001secs, Finished in 0.002secs