Issued Patents All Time
Showing 25 most recent of 32 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12380351 | Quantum circuit synthesis using CSP | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +2 more | 2025-08-05 |
| 12340278 | Determining dynamic quantum error correction schemes | Amir Naveh, Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Lior Gazit | 2025-06-24 |
| 12086687 | Dynamic synthesis of gate-level implementations of functional blocks in quantum circuits | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +3 more | 2024-09-10 |
| 12086686 | Provisioning functional-level information to be utilized in gate-level processing of quantum circuits | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +1 more | 2024-09-10 |
| 12073291 | Functional-level processing component for quantum computers | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +2 more | 2024-08-27 |
| 12056578 | Quantum operating system utilizing multiple compilers | Amir Naveh, Shmuel Ur, Eyal Cornfeld, Nir Minerbi, Ofek Kirzner +1 more | 2024-08-06 |
| 11995515 | DAG-Based CSP quantum circuit modeling | Amir Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur | 2024-05-28 |
| 11875229 | Determining dynamic quantum error correction | Amir Naveh, Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Lior Gazit | 2024-01-16 |
| 11687821 | Efficient execution of a quantum program | Amir Naveh, Shmuel Ur, Jonatan Zimmermann | 2023-06-27 |
| 11620564 | CSP-based quantum circuit modeling | Amir Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur | 2023-04-04 |
| 11615337 | Determining quantum error correction schemes | Amir Naveh, Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Lior Gazit | 2023-03-28 |
| 11429512 | Controlled propagation in quantum computing | Amir Naveh, Shmuel Ur, Adam Goldfeld | 2022-08-30 |
| 11416762 | Selecting physical qubits for quantum error correction schemes | Amir Naveh, Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Lior Gazit | 2022-08-16 |
| 11373114 | CSP-based synthesis of a quantum circuit | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +2 more | 2022-06-28 |
| 11288589 | Quantum circuit modeling | Amir Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur | 2022-03-29 |
| 11281988 | Re-generation of a gate-level quantum circuit based on gate-level analysis | Amir Naveh, Shmuel Ur, Ofek Kirzner, Ravid Alon, Tal Goren +1 more | 2022-03-22 |
| 10537801 | System and method for decision making in strategic environments | Amir Ronen | 2020-01-21 |
| 10091925 | Accurately determining crop yield at a farm level | Ehud Aharoni, Upendra D. Chitnis, Levente Klein | 2018-10-09 |
| 9699525 | Method and system for automatic residual consumption | Dorit Baras, Einat Kermany | 2017-07-04 |
| 9430299 | System, method and product for task allocation | Amir Ronen | 2016-08-30 |
| 9337845 | Solving constraint satisfaction problems using a field programmable gate array | Ilia Averbouch, Oded Margalit, Amir Nahir, Gil Shurek | 2016-05-10 |
| 8433668 | Context-based failure reporting for a constraint satisfaction problem | Roy Emek, Itai Jaeger | 2013-04-30 |
| 8386287 | Resource management using constraint programming with efficient ordering of variables | Yossi Richter | 2013-02-26 |
| 8315894 | Workforce management using constraint programming with efficient ordering of variables | Yossi Richter | 2012-11-20 |
| 8255259 | Extending constraint satisfaction problem solving | Daniel P. Connors, Donna L. Gresh, Yossi Richter | 2012-08-28 |