Changil Choe

Identifiers

• name variant Changil Choe 0.60 · backfill

Papers (4)

1. Towards Approximate Model Checking DC and PDC Specifications cs.LO · 2012 · author #1
2. Formal Design and Verification of N-M Switching Control System cs.LO · 2012 · author #1
3. SDMS-based Disk Encryption Method cs.CR · 2012 · author #3
4. A Method for Selecting Noun Sense using Co-occurrence Relation in English-Korean Translation cs.CL · 2012 · author #2

Mentions

• 1212.3838 #1 · backfill · confidence 0.70 Changil Choe
• 1212.2789 #1 · backfill · confidence 0.70 Changil Choe
• 1212.2054 #3 · backfill · confidence 0.70 Changil Choe
• 1208.2777 #2 · backfill · confidence 0.70 Changil Choe

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