Sunae Seo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2003–2009
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | MEMOCODE | Refining schizophrenia via graph reachability in Esterel. | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
| 2003 | APLAS | Automatic Construction of Hoare Proofs from Abstract Interpretation Results. | Sunae Seo, Hongseok Yang, Kwangkeun Yi |