ResearchWho?
    • Profile Image
    박성우
    Position Associate Professor
    Current Department 포항공과대학교 컴퓨터공학과
    프로필
    연구 성과
    논문[16]
    #16. Mechanizing Metatheory Without Typing Contexts
    Journal Information 2014.2 · Journal of Automated Reasoning 52(2)
    Identifier (DOI) https://doi.org/10.1007/s10817-013-9287-4
    #15. A proof system for separation logic with magic wand
    Journal Information 2014.1 · ACM SIGPLAN Notices 49(1):477-490
    Identifier (DOI) https://doi.org/10.1145/2578855.2535871
    프로시딩[1]
    #1. Parallel Skyline Computation on Multicore Architectures
    Journal Information 2009.3.29:760-771
    Identifier (DOI) https://doi.org/10.1109/ICDE.2009.42
    팔로우 추천