Shoham Ben-David
4Patents
2h-index
7Co-inventors
30Inventor score
Filing activity: Jul 29, 1999 → Jan 11, 2002
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6691078B1 | Target design model behavior explorer | Physics | 14 | Expired |
| US6665848B2 | Time-memory tradeoff control in counterexample production | Physics | 4 | Expired |
| US7155374B2 | Generation of partial traces in model checking | Physics | 1 | Expired |
| US7146301B2 | Efficient production of disjoint multiple traces | Physics | 0 | Expired |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.