Wonyeol Lee (이원열) - Welcome!

[[ 한국어 ]]

Education

Research Interests

Publication

Conference

  1. [ webpage | doi ]

    A Proof System for Separation Logic with Magic Wand

    Wonyeol Lee, Sungwoo Park
    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

    Wonyeol Lee, Jinha Kim, Hwanjo Yu
    ICDM 2012: 12th IEEE International Conference on Data Mining

  3. [ doi ]

    Edge Detection using Morphological Amoebas in Noisy Images

    Won Yeol Lee, Se Yun Kim, Young Woo Kim, Jae Young Lim, Dong Hoon Lim
    ICIP 2009: 16th IEEE International Conference on Image Processing

Journal

  1. [ doi ]

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

    Jinha Kim, Wonyeol Lee, Hwanjo Yu
    Knowledge-Based Systems, 62:57-68, May 2014 (SCI)

  2. [ doi ]

    Edge Detection based on Morphological Amoebas

    Won Yeol Lee, Young Woo Kim, Se Yun Kim, Jae Young Lim, Dong Hoon Lim
    The Imaging Science Journal, 60(3):172-183, June 2012 (SCI)

Scholarships & Awards

Scholarships

Awards

Academic Experience

Research

Others