Concepedia

Kavita Ravi

KR

Statistics

Publications

9

Citations

601

H-Index

9

Active since

1995

Affiliations

Cadence Design Systems (United States)(Current)

University of Colorado Boulder

Providence College

University of Colorado System

Kavita Ravi is an author at Cadence Design Systems (United States) specializing in computer science, computing, and theory of computation.

Publications per year

1995–2004

9

Publications

9

High-density reachability analysis

Kavita Ravi, Fabio Somenzi · 1995 · 139 citations

Computing, Computer Science, Algorithms +13

High-density reachability analysis

Kavita Ravi, Fabio Somenzi · Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) · 2002 · 96 citations

Computing, Computer Science, Algorithms +13

To split or to conjoin

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

Computing, Computer Science, Algorithms +10

Fate and free will in error traces

HoonSang Jin, Kavita Ravi, Fabio Somenzi · International Journal on Software Tools for Technology Transfer · 2004 · 77 citations

Humanities, Mathematics, Fault Tolerance +4

Approximation and decomposition of binary decision diagrams

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple et al. · 1998 · 70 citations · Full text

Computing, Computer Engineering, Computer Science +10

1–5 of 9