| 2013 | ||
|---|---|---|
| j7 | Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang: The Farthest Spatial Skyline Queries. Inf. Syst. 38(3): 286-301 (2013) | |
| 2012 | ||
| j6 | ||
| j5 | Dongwon Kim, Hyeonseung Im, Sungwoo Park: Computing Exact Skyline Probabilities for Uncertain Databases. IEEE Trans. Knowl. Data Eng. 24(12): 2113-2126 (2012) | |
| 2011 | ||
| j4 | Sungwoo Park, Hyeonseung Im: A modal logic internalizing normal proofs. Inf. Comput. 209(12): 1519-1535 (2011) | |
| j3 | Hyeonseung Im, Jonghyun Park, Sungwoo Park: Parallel skyline computation on multicore architectures. Inf. Syst. 36(4): 808-823 (2011) | |
| j2 | Sungwoo Park, Hyeonseung Im: A calculus for hardware description. J. Funct. Program. 21(1): 21-58 (2011) | |
| c3 | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park: A syntactic type system for recursive modules. OOPSLA 2011: 993-1012 | |
| 2009 | ||
| j1 | Sungwoo Park, Hyeonseung Im: Type-safe higher-order channels with channel locality. J. Funct. Program. 19(1): 107-142 (2009) | |
| c2 | Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im: Parallel Skyline Computation on Multicore Architectures. ICDE 2009: 760-771 | |
| 2008 | ||
| c1 | ||
| 1 | Jacques Garrigue | |
| 2 | Seung-won Hwang | |
| 3 | Dongwon Kim | |
| 4 | Jinha Kim | |
| 5 | Taekyung Kim | |
| 6 | Mu-Woong Lee | |
| 7 | Keiko Nakata | |
| 8 | Jonghyun Park | |
| 9 | Sungwoo Park | |
| 10 | Gae-won You |
Data released under the ODC-BY 1.0 license — See also our legal information page