Inventor · disambiguated record
Eleonora O. Bounimova
Also filed as: BOUNIMOVA ELEONORA O
2 granted patents·1 pending application·18 citations·filing 2008–2009
55Inventor score
Technology areasG06F
Top patents by PatentIndex Score
3 records- 0182US8402444B2Program analysis through predicate abstraction and refinementBALL THOMAS J·Filed 2009·Granted Mar 19, 2013·17 cites·21 claims
- 0248US8595707B2Processing predicates including pointer informationBOUNIMOVA ELEONORA O·Filed 2009·Granted Nov 26, 2013·1 cites·20 claims
- 0341US2009319997A1Precondition rules for static verification of codeMICROSOFT CORP·Filed 2008·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →