Inventor · disambiguated record
Ilya Shlyakhter
Also filed as: SHLYAKHTER ILYA
2 granted patents·1 pending application·29 citations·filing 2006–2008
61Inventor score
Technology areasG06F
Top patents by PatentIndex Score
3 records- 0185US8006239B2Program analysis using symbolic rangesNEC LAB AMERICA INC·Filed 2008·Granted Aug 23, 2011·17 cites·13 claims
- 0278US8131532B2Software verification using range analysisCADAMBI SRIHARI·Filed 2006·Granted Mar 6, 2012·12 cites·8 claims
- 0342US2007245329A1Static analysis in disjunctive numerical domainsNEC LAB AMERICA·Filed 2007·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Ilya Shlyakhter 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 →