Travelled to:1 × Spain
Collaborated with:M.Müller-Olm T.Wilke
Talks about:degre (2) game (2) lifschitz (1) polynomi (1) regular (1) languag (1) infinit (1) comput (1) rabin (1) model (1)
Person: Haiseung Yoo
DBLP: Yoo:Haiseung
Contributed to:
2004
1995Wrote 2 papers:
- TACAS-2004-Muller-OlmY #animation #game studies #model checking #named
- MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.
- TAPSOFT-1995-WilkeY #infinity #polynomial #regular expression #word
- Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time (TW, HY), pp. 288–302.