Open Access System for Information Sharing

Login Library
검색

  Browse by Researchers
()
Department
Major(s)
-

Co-researchers

    Keyword

    Publication & Time Cited Count (For the Last 5 years)

    Results 1-6 of 6 (Search time: 0.001 seconds).
    Export

    Date issued

    Type

    Journal Registered

    Applied search limites :
    Author : Im, H
    Article
    Group Skyline ComputationSCIESCOPUS

    INFORMATION SCIENCES, vol. 188, page. 151 - 169, 2012-04-01

    Article
    A Modal Logic Internalizing Normal ProofsSCIESCOPUS

    INFORMATION AND COMPUTATION, vol. 209, no. 12, page. 1519 - 1535, 2011-12

    Article
    Parallel Skyline Computation on Multicore ArchitecturesSCIESCOPUS

    INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06

    Article
    A calculus for hardware descriptionSCIESCOPUS

    JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 21, page. 21 - 58, 2011-01

    Article
    TYPE-SAFE HIGHER-ORDER CHANNELS WITH CHANNEL LOCALITYSCIESCOPUS

    JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01

    Article
    Functional netlistsSCIESCOPUS

    ACM SIGPLAN NOTICES, vol. 43, no. 9, page. 353 - 365, 2008-09

    1
    개인정보처리방침 Personal Information Protection Policy

    library@postech.ac.kr Tel: 054-279-2548

    Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.

    Browse

    Login Library Help