Concepedia

In-Ho Moon

IM

Statistics

Publications

5

Citations

168

H-Index

5

Active since

1998

Affiliations

University of Colorado Boulder(Current)

Synopsys (United States)

Motorola (United States)

In-Ho Moon is an author at University of Colorado Boulder specializing in computing, model checking, and computer science.

Publications per year

1998–2002

5

Publications

5

To split or to conjoin

In-Ho Moon, James Kukula, Kavita Ravi et al. · 2000 · 79 citations · Full text

Computing, Computer Science, Algorithms +10

Approximate reachability don't cares for CTL model checking

In-Ho Moon, Jae-Young Jang, Gary D. Hachtel et al. · 1998 · 34 citations

Computing, Computer Engineering, Computer Science +14

Least fixpoint approximations for reachability analysis

In-Ho Moon, James Kukula, Tom Shiple et al. · 1999 · 25 citations

Computing, Computer Engineering, Computer Science +13

Iterative abstraction-based CTL model checking

Jae-Young Jang, In-Ho Moon, Gary D. Hachtel · 2000 · 19 citations

Computing, Computer Engineering, Computer Science +14

Combinational equivalence checking through function transformation

Hee Hwan Kwak, In-Ho Moon, James Kukula et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2002 · 11 citations

Computing, Computer Science, Algorithms +11

1–5 of 5