Issued Patents All Time
Showing 25 most recent of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12294750 | Selective streaming of video segments based on buffer data and download rate range | Boris Kapchits | 2025-05-06 |
| 11645585 | Method for approximate k-nearest-neighbor search on parallel hardware accelerators | Edward Bortnikov, Alexander Libov | 2023-05-09 |
| 11622140 | Selective streaming of video segments based on buffer data and download rate range | Boris Kapchits | 2023-04-04 |
| 11514030 | Automated materialized view table generation and maintenance | Boris Kapchits, Eran Meir | 2022-11-29 |
| 11341119 | Systems, devices, and methods for content indexing and querying in a search system | Edward Bortnikov, Dmitry Basin, Gali Sheffi, Yonatan Gottesman | 2022-05-24 |
| 11321299 | Scalable conflict detection in transaction management | Edward Bortnikov, Idit Keidar | 2022-05-03 |
| 11244245 | Method for approximate k-nearest-neighbor search on parallel hardware accelerators | Edward Bortnikov, Alexander Libov | 2022-02-08 |
| 10965688 | Management of transactions in a distributed transaction system | Edward Bortnikov, Idit Keidar, Eshcar Hillel, Sameer Paranjpye | 2021-03-30 |
| 10747750 | Systems, devices, and methods for content indexing and querying in a search system | Edward Bortnikov, Dmitry Basin, Gali Sheffi, Yonatan Gottesman | 2020-08-18 |
| 10565184 | Method and system for committing transactions in a semi-distributed manner | Edward Bortnikov, Idit Keidar, Yonatan Gottesman | 2020-02-18 |
| 10510017 | Method for approximate k-nearest-neighbor search on parallel hardware accelerators | Edward Bortnikov, Alexander Libov | 2019-12-17 |
| 9979734 | Management of transactions in a distributed transaction system | Edward Bortnikov, Idit Keidar, Eshcar Hillel, Sameer Paranjpye | 2018-05-22 |
| 9646252 | Template clauses based SAT techniques | Oded Fuhrmann | 2017-05-09 |
| 8489380 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovotz, Rachel Tzoref | 2013-07-16 |
| 8453082 | Soft error verification in hardware designs | Sharon Keidar-Barner, Karen Frida Yorav | 2013-05-28 |
| 8407175 | Method, apparatus and product for SAT solving using templates clauses | Oded Fuhrmann | 2013-03-26 |
| 8374978 | Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics | Martin Vechev, Eran Yahav | 2013-02-12 |
| 8352894 | Verification techniques for liveness checking of logic designs | Jason R. Baumgartner, Paul Joseph Roessler, Jiazhao Xu | 2013-01-08 |
| 8161433 | Utilizing an unSAT proof for model checking | Oded Fuhrmann, Shlomo Hoory | 2012-04-17 |
| 8108195 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Rachel Tzoref | 2012-01-31 |
| 7835898 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Rachel Tzoref | 2010-11-16 |
| 7725851 | Device, system and method for formal verification | Cynthia Rae Eisner, Sharon Keidar-Barner, Sitvanit Ruah, Tatyana Veksler | 2010-05-25 |
| 7562055 | Resolve trace minimization | — | 2009-07-14 |
| 7519931 | Applying CNF simplification techniques for SAT-based abstraction refinement | Omer Bar-Ilan, Oded Fuhrmann | 2009-04-14 |
| 7441216 | Applying CNF simplification techniques for SAT-based abstraction refinement | Omer Bar-Ilan, Oded Fuhrmann | 2008-10-21 |