Cindy Eisner
3Patents
2h-index
4Co-inventors
37Inventor score
Filing activity: Jul 29, 1998 → Jun 23, 2009
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6192505A | Method and system for reducing state space variables prior to symbolic model checking | Physics | 31 | Expired |
| US7146605B2 | Automatic abstraction of software source | Physics | 15 | Expired |
| US8166444B2 | Clock gating using abstraction refinement | Physics | 2 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.