Inventor · disambiguated record

Thomas F. Melham

Also filed as: MELHAM THOMAS F

1 granted patent·1 pending application·7 citations·filing 2002–2002

29Inventor score

Technology areasG06F

Files withINTEL CORP1

Top patents by PatentIndex Score

2 records

0153US7310790B2Automatic symbolic indexing methods for formal verification on a symbolic lattice domainINTEL CORP·Filed 2002·Granted Dec 18, 2007·7 cites·32 claims
0232US2004107174A1Parametric representation methods for formal verification on a symbolic lattice domainFiled 2002·Application pending·0 cites

Join the waitlist — get patent alerts

Get an alert when Thomas F. Melham 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 →