Leonardo M. de Moura
5Patents
2h-index
4Co-inventors
33Inventor score
Filing activity: Dec 21, 2007 → Dec 30, 2009
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US8103674B2 | E-matching for SMT solvers | Physics | 6 | Active |
| US8140459B2 | Relevancy propagation for efficient theory combination | Physics | 2 | Active |
| US8595707B2 | Processing predicates including pointer information | Physics | 1 | Active |
| US9489221B2 | Matching based pattern inference for SMT solvers | Physics | 1 | Active |
| US7925476B2 | Model-based theory combination | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.