Inventor · disambiguated record
Shoham Ben-David
Also filed as: BEN-DAVID SHOHAM
4 granted patents·35 citations·filing 1999–2002
72Inventor score
Technology areasG06F
Files withIBM4
Top patents by PatentIndex Score
4 records- 0150US6691078B1Target design model behavior explorerIBM·Filed 1999·Granted Feb 10, 2004·25 cites·25 claims
- 0250US6665848B2Time-memory tradeoff control in counterexample productionIBM·Filed 2002·Granted Dec 16, 2003·7 cites·36 claims
- 0348US7155374B2Generation of partial traces in model checkingIBM·Filed 2002·Granted Dec 26, 2006·3 cites·51 claims
- 0438US7146301B2Efficient production of disjoint multiple tracesIBM·Filed 2002·Granted Dec 5, 2006·0 cites·30 claims
Join the waitlist — get patent alerts
Get an alert when Shoham Ben-David 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 →