Patents per Year
Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 8688377 | System and method of using automatically-identified prominent establishments in driving directions | Shlomo Urbach, Lior Ron | 2014-04-01 | $31,077,000 |
| 7877659 | Memory model for functional verification of multi-processor systems | Yehuda Naveh | 2011-01-25 | $4,442,000 |
| 7523445 | Method for generating an explanation of a CSP solution | Ronny Morad | 2009-04-21 | $5,028,000 |
| 7333968 | Conditional CSP solving using constraint propagation | Mati Joshua, Michael Veksler | 2008-02-19 | $12,555,000 |