이원열 (Wonyeol Lee) - 환영합니다!

[[ English ]]

학교

관심 연구 분야

논문

학회

  1. [ 웹페이지 | doi ]

    A Proof System for Separation Logic with Magic Wand

    이원열, 박성우.
    POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

  2. [ doi ]

    CT-IC: Continuously activated and Time-restricted Independent Cascade Model for Viral Marketing

    이원열, 김진하, 유환조.
    ICDM 2012: 12th IEEE International Conference on Data Mining

  3. [ doi ]

    Edge Detection using Morphological Amoebas in Noisy Images

    이원열, 김세윤, 김영우, 임재영, 임동훈.
    ICIP 2009: 16th IEEE International Conference on Image Processing

저널

  1. [ doi ]

    CT-IC: Continuously activated and Time-restricted Independent Cascade Model for viral marketing

    김진하, 이원열, 유환조.
    Knowledge-Based Systems 62:57-68, May 2014 (SCI)

  2. [ doi ]

    Edge Detection based on Morphological Amoebas

    이원열, 김영우, 김세윤, 임재영, 임동훈.
    The Imaging Science Journal, 60(3):172-183, June 2012 (SCI)

장학금 & 수상

장학금

수상

학술 활동

연구

기타