Inventor · disambiguated record
Yehuda Naveh
Also filed as: NAVEH YEHUDA
34 granted patents·19 pending applications·235 citations·filing 2002–2025
96Inventor score
Top patents by PatentIndex Score
53 records- 0198US10091925B2Accurately determining crop yield at a farm levelIBM·Filed 2015·Granted Oct 9, 2018·83 cites·19 claims
- 0297US11288589B1Quantum circuit modelingCLASSIQ TECH LTD·Filed 2021·Granted Mar 29, 2022·12 cites·17 claims
- 0396US11373114B1CSP-based synthesis of a quantum circuitCLASSIQ TECH LTD·Filed 2021·Granted Jun 28, 2022·20 cites·20 claims
- 0496US11281988B1Re-generation of a gate-level quantum circuit based on gate-level analysisCLASSIQ TECH LTD·Filed 2021·Granted Mar 22, 2022·17 cites·20 claims
- 0595US11429512B1Controlled propagation in quantum computingCLASSIQ TECH LTD·Filed 2021·Granted Aug 30, 2022·5 cites·20 claims
- 0695US11416762B1Selecting physical qubits for quantum error correction schemesCLASSIQ TECH LTD·Filed 2022·Granted Aug 16, 2022·9 cites·20 claims
- 0794US11615337B1Determining quantum error correction schemesCLASSIQ TECH LTD·Filed 2022·Granted Mar 28, 2023·6 cites·18 claims
- 0892US11620564B2CSP-based quantum circuit modelingCLASSIQ TECH LTD·Filed 2022·Granted Apr 4, 2023·2 cites·20 claims
- 0989US9430299B2System, method and product for task allocationIBM·Filed 2014·Granted Aug 30, 2016·8 cites·12 claims
- 1088US12340278B2Determining dynamic quantum error correction schemesCLASSIQ TECH LTD·Filed 2023·Granted Jun 24, 2025·1 cites·15 claims
- 1188US7331007B2Harnessing machine learning to improve the success rate of stimuli generationIBM·Filed 2005·Granted Feb 12, 2008·20 cites·20 claims
- 1284US12450511B2Compiling quantum programsCLASSIQ TECH LTD·Filed 2022·Granted Oct 21, 2025·1 cites·20 claims
- 1383US12436742B2Performance analysis of quantum programsCLASSIQ TECH LTD·Filed 2022·Granted Oct 7, 2025·1 cites·20 claims
- 1483US11875229B2Determining dynamic quantum error correctionCLASSIQ TECH LTD·Filed 2022·Granted Jan 16, 2024·1 cites·20 claims
- 1582US2025131312A1Parallel execution of quantum programsCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 1682US2025148338A1Quantum circuit execution method utilizing qubit idle periods for enhanced resource efficiencyCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 1782US2025131311A1Multi-stage compilation of quantum programsCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 1879US7877659B2Memory model for functional verification of multi-processor systemsIBM·Filed 2006·Granted Jan 25, 2011·11 cites·20 claims
- 1978US2025131302A1Memory management in a quantum operating systemCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 2076US11995515B2DAG-Based CSP quantum circuit modelingCLASSIQ TECH LTD·Filed 2023·Granted May 28, 2024·0 cites·20 claims
- 2176US2025292144A1Determining dynamic quantum error correction schemesCLASSIQ TECH LTD·Filed 2025·Application pending·0 cites
- 2275US8386287B2Resource management using constraint programming with efficient ordering of variablesIBM·Filed 2012·Granted Feb 26, 2013·1 cites·14 claims
- 2375US8315894B2Workforce management using constraint programming with efficient ordering of variablesNAVEH YEHUDA·Filed 2008·Granted Nov 20, 2012·6 cites·7 claims
- 2475US2025124329A1Multi-compiler-based quantum operating systemCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 2574US12380351B2Quantum circuit synthesis using CSPCLASSIQ TECH LTD·Filed 2022·Granted Aug 5, 2025·0 cites·20 claims
- 2673US12056578B1Quantum operating system utilizing multiple compilersCLASSIQ TECH LTD·Filed 2023·Granted Aug 6, 2024·0 cites·26 claims
- 2768US7171393B2Solving constraint satisfaction problems using variable-range hoppingIBM·Filed 2003·Granted Jan 30, 2007·13 cites·12 claims
- 2864US7007207B2Scheduling of transactions in system-level test program generationIBM·Filed 2002·Granted Feb 28, 2006·10 cites·6 claims
- 2962US8028291B2Method and computer program product for job selection and resource allocation of a massively parallel processorIBM·Filed 2007·Granted Sep 27, 2011·3 cites·20 claims
- 3062US2025265485A1Topological error correctionCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 3161US8255259B2Extending constraint satisfaction problem solvingCONNORS DANIEL PATRICK·Filed 2008·Granted Aug 28, 2012·1 cites·25 claims
- 3261US2025131298A1Iterative compilation and execution in a quantum operating systemCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 3361US2025131299A1Quantum program compilation in a quantum operating systemCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 3460US12086686B2Provisioning functional-level information to be utilized in gate-level processing of quantum circuitsCLASSIQ TECH LTD·Filed 2021·Granted Sep 10, 2024·0 cites·20 claims
- 3559US12073291B2Functional-level processing component for quantum computersCLASSIQ TECH LTD·Filed 2021·Granted Aug 27, 2024·0 cites·20 claims
- 3658US12086687B2Dynamic synthesis of gate-level implementations of functional blocks in quantum circuitsCLASSIQ TECH LTD·Filed 2021·Granted Sep 10, 2024·0 cites·20 claims
- 3758US2025036988A1Optimal quantum function implementations based on function inputsCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 3858US2024281686A1Input-based modification of a quantum circuitCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 3957US2016196533A1System, Method and Product for Task AllocationIBM·Filed 2016·Application pending·0 cites
- 4057US2025021857A1Processing of quantum programsCLASSIQ TECH LTD·Filed 2024·Application pending·0 cites
- 4156US2023032530A1Selecting a Quantum ComputerCLASSIQ TECH LTD·Filed 2022·Application pending·0 cites
- 4253US11687821B2Efficient execution of a quantum programCLASSIQ TECH LTD·Filed 2021·Granted Jun 27, 2023·0 cites·19 claims
- 4353US2025139339A1Graphical user interface for quantum circuit designCLASSIQ TECH LTD·Filed 2023·Application pending·0 cites
- 4452US7587376B2Reformulation of constraint satisfaction problems for stochastic searchIBM·Filed 2005·Granted Sep 8, 2009·2 cites·11 claims
- 4552US7562061B2Context-based failure reporting for a constraint satisfaction problemIBM·Filed 2006·Granted Jul 14, 2009·1 cites·7 claims
- 4652US2008183549A1System and method for overcoming infeasibility determinations in using constraint satisfaction programming for scheduling human resourcesCONNORS DANIEL PATRICK·Filed 2008·Application pending·0 cites
- 4751US2014278770A1Generating economic model based on business transaction messagesIBM·Filed 2013·Application pending·0 cites
- 4850US2007027739A1System and method for overcoming infeasibility determinations in using constraint satisfaction programming for scheduling human resourcesCONNORS DANIEL P·Filed 2005·Application pending·0 cites
- 4949US8433668B2Context-based failure reporting for a constraint satisfaction problemEMEK ROY·Filed 2009·Granted Apr 30, 2013·1 cites·10 claims
- 5045US10537801B2System and method for decision making in strategic environmentsIBM·Filed 2014·Granted Jan 21, 2020·0 cites·14 claims
Showing the top 50 of 53 patent records by PatentIndex Score.
Join the waitlist — get patent alerts
Get an alert when Yehuda Naveh files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →