Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8688377 | System and method of using automatically-identified prominent establishments in driving directions | Shlomo Urbach, Lior Ron | 2014-04-01 |
| 7877659 | Memory model for functional verification of multi-processor systems | Yehuda Naveh | 2011-01-25 |
| 7523445 | Method for generating an explanation of a CSP solution | Ronny Morad | 2009-04-21 |
| 7333968 | Conditional CSP solving using constraint propagation | Mati Joshua, Michael Veksler | 2008-02-19 |