Inventor · disambiguated record
Ronald H. Hardin
Also filed as: HARDIN RONALD H
7 granted patents·216 citations·filing 1995–2003
88Inventor score
Top patents by PatentIndex Score
7 records- 0178US6185516B1Automata-theoretic verification of systemsLUCENT TECHNOLOGIES INC·Filed 1997·Granted Feb 6, 2001·86 cites·14 claims
- 0277US7047510B1Method and system for partitioning an integrated circuit designCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted May 16, 2006·26 cites·26 claims
- 0361US6102959AVerification tool computation reductionLUCENT TECHNOLOGIES INC·Filed 1998·Granted Aug 15, 2000·39 cites·10 claims
- 0457US5926622AEfficient regression verificationLUCENT TECHNOLOGIES INC·Filed 1997·Granted Jul 20, 1999·20 cites·12 claims
- 0551US5691925ADeriving tractable sub-system for model of larger systemLUCENT TECHNOLOGIES INC·Filed 1995·Granted Nov 25, 1997·19 cites·3 claims
- 0648US6099575AConstraint validity checkingLUCENT TECHNOLOGIES INC·Filed 1998·Granted Aug 8, 2000·21 cites·23 claims
- 0734US5740084AVerification of homomorphism between two system modelsLUCENT TECHNOLOGIES INC·Filed 1995·Granted Apr 14, 1998·5 cites·3 claims
Join the waitlist — get patent alerts
Get an alert when Ronald H. Hardin files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →