| 12450511 |
Compiling quantum programs |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Raziel Solomon Alon, Adam Goldfeld +4 more |
2025-10-21 |
| 12450512 |
Controlled propagation of input values in quantum computing |
Shmuel Ur |
2025-10-21 |
| 12436742 |
Performance analysis of quantum programs |
Yehuda Naveh, Ofek Kirzner, Shmuel Ur, Raziel Solomon Alon, Eyal Cornfeld +2 more |
2025-10-07 |
| 12380351 |
Quantum circuit synthesis using CSP |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +2 more |
2025-08-05 |
| 12380352 |
Auxiliary qubits analysis based on partial compilation of quantum programs |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner |
2025-08-05 |
| 12340278 |
Determining dynamic quantum error correction schemes |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Yehuda Naveh, Lior Gazit |
2025-06-24 |
| 12293256 |
Optimizing quantum circuits with permutable input registers |
Shmuel Ur, Eyal Cornfeld, Nati Erez, Nir Minerbi |
2025-05-06 |
| 12248020 |
Detecting a function section in a representation of a quantum circuit |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Nir Minerbi |
2025-03-11 |
| 12086686 |
Provisioning functional-level information to be utilized in gate-level processing of quantum circuits |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +1 more |
2024-09-10 |
| 12086687 |
Dynamic synthesis of gate-level implementations of functional blocks in quantum circuits |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +3 more |
2024-09-10 |
| 12073291 |
Functional-level processing component for quantum computers |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +2 more |
2024-08-27 |
| 12056578 |
Quantum operating system utilizing multiple compilers |
Shmuel Ur, Eyal Cornfeld, Nir Minerbi, Yehuda Naveh, Ofek Kirzner +1 more |
2024-08-06 |
| 11995515 |
DAG-Based CSP quantum circuit modeling |
Yehuda Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur |
2024-05-28 |
| 11960384 |
Debugger for quantum computers |
Shmuel Ur, Nir Minerbi, Ofek Kirzner, Lior Gazit |
2024-04-16 |
| 11875229 |
Determining dynamic quantum error correction |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Yehuda Naveh, Lior Gazit |
2024-01-16 |
| 11687821 |
Efficient execution of a quantum program |
Shmuel Ur, Yehuda Naveh, Jonatan Zimmermann |
2023-06-27 |
| 11620564 |
CSP-based quantum circuit modeling |
Yehuda Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur |
2023-04-04 |
| 11615337 |
Determining quantum error correction schemes |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Yehuda Naveh, Lior Gazit |
2023-03-28 |
| 11429512 |
Controlled propagation in quantum computing |
Shmuel Ur, Yehuda Naveh, Adam Goldfeld |
2022-08-30 |
| 11416762 |
Selecting physical qubits for quantum error correction schemes |
Shmuel Ur, Eyal Cornfeld, Ofek Kirzner, Yehuda Naveh, Lior Gazit |
2022-08-16 |
| 11373114 |
CSP-based synthesis of a quantum circuit |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +2 more |
2022-06-28 |
| 11294797 |
Debugger for quantum computers |
Shmuel Ur, Nir Minerbi, Ofek Kirzner, Lior Gazit |
2022-04-05 |
| 11288589 |
Quantum circuit modeling |
Yehuda 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 |
Shmuel Ur, Yehuda Naveh, Ofek Kirzner, Ravid Alon, Tal Goren +1 more |
2022-03-22 |