Yoav Rodeh
2Patents
2h-index
2Co-inventors
27Inventor score
Filing activity: Jul 29, 1998 → Jan 16, 2001
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 |
| US6587998B2 | Searching for counter-examples intelligently | Physics | 9 | Expired |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.