Concepedia

Wonyeol Lee

WL

6

Publications

182

Citations

6

H-Index

2012

Active since

Affiliations

Pohang University of Science and Technology(Current)

Stanford University

Wonyeol Lee is an author at Pohang University of Science and Technology specializing in formal methods, formal verification, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningArtsMarketing

Publications per year

2012–2019

6

Publications

6

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

Jinha Kim, Wonyeol Lee, Hwanjo Yu · Knowledge-Based Systems · 2014 · 59 citations

Viral Marketing, Social Media, Interactive Marketing +10

CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing

Wonyeol Lee, Jinha Kim, Hwanjo Yu · 2012 · 29 citations

Influence Maximization, Network Analysis, Social Influence +17

Verifying bit-manipulations of floating-point

Wonyeol Lee, Rahul Sharma, Alex Aiken · 2016 · 27 citations · Full text

Hardware Security, Real Data Type, Engineering +15

On automatically proving the correctness of math.h implementations

Wonyeol Lee, Rahul Sharma, Alex Aiken · Proceedings of the ACM on Programming Languages · 2017 · 27 citations · Full text

Industry Standard Implementations, Engineering, Validated Numerics +15

A proof system for separation logic with magic wand

Wonyeol Lee, Sungwoo Park · 2014 · 20 citations

Applied Logic, Engineering, Automated Reasoning +14

Rows per page

1–5 of 6