The SCEAS System
Navigation Menu

Search the dblp DataBase


Sungwoo Park: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.005secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002