Statistics
Publications
13
Citations
722
H-Index
11
Active since
1994
Thomas R. Shiple is an author at University of California, Berkeley specializing in computer science, computer engineering, and engineering.
Publications per year
1994–2012
13
13
Constructive analysis of cyclic circuits
Thomas R. Shiple, Gérard Berry, H.J. Touati · 1996 · 127 citations
Smart simulation using collaborative formal and simulation engines
Pei Hsin Ho, Thomas R. Shiple, Kevin Harer et al. · 2000 · 125 citations
Heuristic minimization of BDDs using don't cares
Thomas R. Shiple, Ramin Hojati, Alberto Sangiovanni‐Vincentelli et al. · 1994 · 102 citations · Full text
Approximation and decomposition of binary decision diagrams
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple et al. · 1998 · 70 citations · Full text
Constructive analysis of cyclic circuits
Thomas R. Shiple, Gérard Berry, H.J. Touati · 2002 · 64 citations
1–5 of 13