Shaked Flur
4Patents
2h-index
5Co-inventors
30Inventor score
Filing activity: Jun 30, 2008 → Apr 18, 2012
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US8244516B2 | Formal verification of models using concurrent model-reduction and model-checking | Physics | 7 | Active |
| US8627273B2 | Model checking of liveness property in a phase abstracted model | Physics | 4 | Active |
| US8417507B2 | Formal verification of models using concurrent model-reduction and model-checking | Physics | 2 | Active |
| US8554522B2 | Detection of design redundancy | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.