BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
2 × USA
Collaborated with:
P.Bjesse C.Pixley J.Jang G.D.Hachtel J.H.Kukula K.Ravi F.Somenzi
Talks about:
sequenti (2) composit (2) combin (2) check (2) question (1) approach (1) abstract (1) without (1) equival (1) conjoin (1)

Person: In-Ho Moon


Contributed to:

DAC 20082008
DATE 20072007
DAC 20002000
DATE 20002000

Wrote 4 papers:

DAC-2008-Moon #composition #optimisation #verification
Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
DATE-2007-MoonBP #approach #composition #equivalence
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.
DAC-2000-MoonKRS #image
To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
DATE-2000-JangMH #model checking
Iterative Abstraction-Based CTL Model Checking (JYJ, IHM, GDH), pp. 502–507.

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.