Inventor · disambiguated record

Leonardo De Moura

Also filed as: DE MOURA LEONARDO · DE MOURA LEONARDO MENDONGA

2 granted patents·43 citations·filing 2003–2004

63Inventor score

Technology areasG06F

Files withSTANFORD RES INST INT2

Top patents by PatentIndex Score

2 records

0168US7865339B2Formal methods for test case generationSTANFORD RES INST INT·Filed 2004·Granted Jan 4, 2011·22 cites·38 claims
0265US7653520B2Method for combining decision procedures with satisfiability solversSTANFORD RES INST INT·Filed 2003·Granted Jan 26, 2010·21 cites·20 claims

Join the waitlist — get patent alerts

Get an alert when Leonardo De Moura 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 →