Concepedia

Author

Woohyuk Lee

University of Colorado Boulder

Also Known As

Woo-Hyuk Lee, Woohyuk Lee

6

Publications

57

Citations

2

H-Index

11

Concepts

All Affiliations

University of Colorado Boulder
WL

About

Woohyuk Lee is an author at University of Colorado Boulder specializing in automated reasoning, mathematical programming, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

52

2

Computer Science

1

1

52

3

Combinatorial Optimization

1

1

52

4

Software Analysis

1

1

52

5

Automated Reasoning

1

1

52

Woohyuk Lee

×

1

Publications

52

Citations

1

H-Index

YearCitations

Tearing based automatic abstraction for CTL model checking

Woohyuk Lee, Abelardo Pardo, Jae-Young Jang,

International Conference on Computer Aided Design

1996

52

Page 1