Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jae-Hwan Sim

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition @ kiise.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcse/HurSKC09
- ask others
Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi: Ensuring Sound Numerical Simulation of Hybrid Automata. JCSE 3(2): 73-87 (2009)
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KimSC08
- ask others
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi: Resource-Oriented Design Framework for Embedded System Components. Electr. Notes Theor. Comput. Sci. 215: 171-189 (2008)
2007
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/qsic/KimSKC07
- ask others
Jin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi: Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC 2007: 244-249
2004
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atva/KimLASYLC04
- ask others
Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi: Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482
2003
[c1]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismvl/LeeBSSK03
- ask others
Chol-U Lee, Gi-Young Byun, Bu-Sik Shin, Jae-Hwan Sim, Heung-Soo Kim: The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3). ISMVL 2003: 46-49

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?