BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Yoo:Haiseung

Contributed to:

TACAS 20042004
TAPSOFT CAAP/FASE 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.