Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11132416 | Business change detection from street level imagery | Martin Christian Stumpe, Liron Yatziv, Dar-Shyang Lee, Qian Yu, Vinay Damodar Shet +1 more | 2021-09-28 |
| 10339193 | Business change detection from street level imagery | Martin Christian Stumpe, Liron Yatziv, Dar-Shyang Lee, Qian Yu, Vinay Damodar Shet +1 more | 2019-07-02 |
| 9646252 | Template clauses based SAT techniques | Ohad Shacham | 2017-05-09 |
| 8954094 | Mobile device functions based on transportation mode transitions | Arunesh Mishra | 2015-02-10 |
| 8407175 | Method, apparatus and product for SAT solving using templates clauses | Ohad Shacham | 2013-03-26 |
| 8397192 | Proof based bounded model checking | Alexander Ivrii, Tatyana Veksler | 2013-03-12 |
| 8201116 | Proof based bounded model checking | Alexander Ivrii, Tatyana Veksler | 2012-06-12 |
| 8165350 | Assessment of a view through the overlay of maps | Dan Pelleg | 2012-04-24 |
| 8161433 | Utilizing an unSAT proof for model checking | Shlomo Hoory, Ohad Shacham | 2012-04-17 |
| 7882443 | Method for improving queue experience in a three-dimensional virtual environment | Dan Pelleg | 2011-02-01 |
| 7565293 | Seamless hybrid computer human call service | Ron Hoory, Dan Pelleg | 2009-07-21 |
| 7562325 | Device to cluster Boolean functions for clock gating | Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt | 2009-07-14 |
| 7519931 | Applying CNF simplification techniques for SAT-based abstraction refinement | Ohad Shacham, Omer Bar-Ilan | 2009-04-14 |
| 7458050 | Methods to cluster boolean functions for clock gating | Eli Arbel, Cynthia Rae Eisner, Alexander Itskovich, David J. Levitt | 2008-11-25 |
| 7441216 | Applying CNF simplification techniques for SAT-based abstraction refinement | Ohad Shacham, Omer Bar-Ilan | 2008-10-21 |