Inventor

BOUNIMOVA ELEONORA O

US2 patents

⚠️ This page may combine multiple inventors who share the name “BOUNIMOVA ELEONORA O”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

BALL THOMAS J

1 patent

US8402444B2Mar 19, 2013

Program analysis through predicate abstraction and refinement

BALL THOMAS J17 citations79

BOUNIMOVA ELEONORA O

1 patent

US8595707B2Nov 26, 2013

Processing predicates including pointer information

BOUNIMOVA ELEONORA O1 citations40