| 12450511 |
Compiling quantum programs |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Raziel Solomon Alon +4 more |
2025-10-21 |
| 12380351 |
Quantum circuit synthesis using CSP |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon +2 more |
2025-08-05 |
| 12293256 |
Optimizing quantum circuits with permutable input registers |
Amir Naveh, Shmuel Ur, Eyal Cornfeld, Nati Erez |
2025-05-06 |
| 12248020 |
Detecting a function section in a representation of a quantum circuit |
Amir Naveh, Shmuel Ur, Eyal Cornfeld, Ofek Kirzner |
2025-03-11 |
| 12086686 |
Provisioning functional-level information to be utilized in gate-level processing of quantum circuits |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon +1 more |
2024-09-10 |
| 12086687 |
Dynamic synthesis of gate-level implementations of functional blocks in quantum circuits |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon +3 more |
2024-09-10 |
| 12073291 |
Functional-level processing component for quantum computers |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon +2 more |
2024-08-27 |
| 12056578 |
Quantum operating system utilizing multiple compilers |
Amir Naveh, Shmuel Ur, Eyal Cornfeld, Yehuda Naveh, Ofek Kirzner +1 more |
2024-08-06 |
| 11995515 |
DAG-Based CSP quantum circuit modeling |
Yehuda Naveh, Amir Naveh, Ofek Kirzner, Adam Goldfeld, Shmuel Ur |
2024-05-28 |
| 11960384 |
Debugger for quantum computers |
Amir Naveh, Shmuel Ur, Ofek Kirzner, Lior Gazit |
2024-04-16 |
| 11620564 |
CSP-based quantum circuit modeling |
Yehuda Naveh, Amir Naveh, Ofek Kirzner, Adam Goldfeld, Shmuel Ur |
2023-04-04 |
| 11373114 |
CSP-based synthesis of a quantum circuit |
Amir Naveh, Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon +2 more |
2022-06-28 |
| 11294797 |
Debugger for quantum computers |
Amir Naveh, Shmuel Ur, Ofek Kirzner, Lior Gazit |
2022-04-05 |
| 11288589 |
Quantum circuit modeling |
Yehuda Naveh, Amir Naveh, 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, Yehuda Naveh, Ofek Kirzner, Ravid Alon +1 more |
2022-03-22 |