Oded Fuhrmann
15Patents
5h-index
18Co-inventors
59Inventor score
Filing activity: Nov 26, 2007 → May 22, 2019
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US8165350B2 | Assessment of a view through the overlay of maps | Physics | 126 | Active |
| US8954094B1 | Mobile device functions based on transportation mode transitions | Electricity | 16 | Active |
| US7458050B1 | Methods to cluster boolean functions for clock gating | Physics | 13 | Active |
| US7562325B1 | Device to cluster Boolean functions for clock gating | Physics | 12 | Active |
| US7565293B1 | Seamless hybrid computer human call service | Physics | 6 | Active |
| US7882443B2 | Method for improving queue experience in a three-dimensional virtual environment | Human Necessities | 5 | Active |
| US10339193B1 | Business change detection from street level imagery | Physics | 4 | Active |
| US7441216B1 | Applying CNF simplification techniques for SAT-based abstraction refinement | Physics | 3 | Active |
| US8407175B2 | Method, apparatus and product for SAT solving using templates clauses | Physics | 2 | Active |
| US8397192B2 | Proof based bounded model checking | Physics | 1 | Active |
| US7519931B1 | Applying CNF simplification techniques for SAT-based abstraction refinement | Physics | 1 | Active |
| US8161433B2 | Utilizing an unSAT proof for model checking | Physics | 0 | Active |
| US8201116B2 | Proof based bounded model checking | Physics | 0 | Active |
| US9646252B2 | Template clauses based SAT techniques | Physics | 0 | Active |
| US11132416B1 | Business change detection from street level imagery | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.