Search the dblp DataBase

Publications of Author

1. Sungwoo Park
   A Modal Language for the Safety of Mobile Values. [Citation Graph (0, 0)][DBLP]
   APLAS, 2006, pp:217-233 [Conf]
   
2. Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park
   The Inverse Method for the Logic of Bunched Implications. [Citation Graph (0, 0)][DBLP]
   LPAR, 2004, pp:466-480 [Conf]
   
3. Sungwoo Park, Frank Pfenning, Sebastian Thrun
   A probabilistic language based upon sampling functions. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:171-182 [Conf]
   
4. Sungwoo Park
   A calculus for probabilistic languages. [Citation Graph (0, 0)][DBLP]
   TLDI, 2003, pp:38-49 [Conf]
   
5. Sungwoo Park
   A calculus for probabilistic languages. [Citation Graph (0, 0)][DBLP]
   TLDI, 2003, pp:38-49 [Conf]
   
6. Sungwoo Park, Taisook Han
   Object-Oriented VRML for Multi-User Environments. [Citation Graph (0, 0)][DBLP]
   VRML, 1997, pp:25-32 [Conf]
   
7. Sungwoo Park, Hyundong Shin, Jae Hong Lee
   Capacity statistics and scheduling gain for MIMO systems in correlated Rayleigh fading. [Citation Graph (0, 0)][DBLP]
   VTC Fall (2), 2004, pp:1508-1512 [Conf]
   
8. Sungwoo Park
   Type-safe higher-order channels in ML-like languages. [Citation Graph (0, 0)][DBLP]
   ICFP, 2007, pp:191-202 [Conf]
   
9. 
   Parallel Skyline Computation on Multicore Architectures. [Citation Graph (, )][DBLP]
   
   
10. 
    A logical account of uncertain databases based on linear logic. [Citation Graph (, )][DBLP]
    
    
11. 
    Functional netlists. [Citation Graph (, )][DBLP]
    
    
12. 
    Novel Techniques to minimize the Error Propagation of Decision Feedback Equalizer in 8VSB DTV System. [Citation Graph (, )][DBLP]