Changil Choe
Identifiers
- name variant Changil Choe 0.60 · backfill
Papers (4)
- Towards Approximate Model Checking DC and PDC Specifications cs.LO · 2012 · author #1
- Formal Design and Verification of N-M Switching Control System cs.LO · 2012 · author #1
- SDMS-based Disk Encryption Method cs.CR · 2012 · author #3
- A Method for Selecting Noun Sense using Co-occurrence Relation in English-Korean Translation cs.CL · 2012 · author #2
Mentions
Frequent Coauthors
- Dang Van Hung 1 shared papers
- Dokjun An 1 shared papers
- Hyejong Hong 1 shared papers
- Hyonil Kim 1 shared papers
- Kukhwan Kim 1 shared papers
- Myongchol Ri 1 shared papers
- Song Han 1 shared papers
- Sunam Han 1 shared papers
- Yongmin Kim 1 shared papers