Statistics
Publications
3
Citations
64
H-Index
3
Active since
1998
Affiliations
Tom Shiple is an author at Synopsys (United States) specializing in computing, reachability analysis, and computer science.
Publications per year
1998–2001
3
3
Non-linear quantification scheduling in image computation
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha et al. · 2001 · 27 citations
Least fixpoint approximations for reachability analysis
In-Ho Moon, James Kukula, Tom Shiple et al. · 1999 · 25 citations
Hybrid verification using saturated simulation
Adnan Aziz, Jim Kukula, Tom Shiple · 1998 · 12 citations
1–3 of 3