Inventor · disambiguated record
Johan De Kleer
Also filed as: DE KLEER JOHAN
63 granted patents·17 pending applications·214 citations·filing 1988–2025
98Inventor score
Top patents by PatentIndex Score
80 records- 0196US9672064B2Dynamically adaptive, resource aware system and method for schedulingPALO ALTO RES CT INC·Filed 2015·Granted Jun 6, 2017·21 cites·12 claims
- 0295US11249888B1System and method for generating counterexample tests of incidental invariantsPALO ALTO RES CT INC·Filed 2020·Granted Feb 15, 2022·6 cites·15 claims
- 0395US10719069B2System and method for constructing process plans for hybrid manufacturing with the aid of a digital computerPALO ALTO RES CT INC·Filed 2017·Granted Jul 21, 2020·8 cites·8 claims
- 0492US11249891B1Machine-learning framework for testing feedback controller robustnessPALO ALTO RES CT INC·Filed 2021·Granted Feb 15, 2022·5 cites·17 claims
- 0591US7937175B2Methods and systems for pervasive diagnosticsPALO ALTO RES CT INC·Filed 2008·Granted May 3, 2011·19 cites·19 claims
- 0690US10977110B2System and method for facilitating prediction data for device based on synthetic data with uncertaintiesPALO ALTO RES CT INC·Filed 2017·Granted Apr 13, 2021·10 cites·20 claims
- 0790US9846881B2Frugal user engagement help systemsPALO ALTO RES CT INC·Filed 2014·Granted Dec 19, 2017·21 cites·21 claims
- 0888US11893327B2System and method for machine-learning enabled micro-assembly control with the aid of a digital computerXEROX CORP·Filed 2020·Granted Feb 6, 2024·2 cites·20 claims
- 0987US11244097B1System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solverPALO ALTO RES CT INC·Filed 2020·Granted Feb 8, 2022·2 cites·20 claims
- 1086US9934071B2Job scheduler for distributed systems using pervasive state estimation with modeling of capabilities of compute nodesPALO ALTO RES CT INC·Filed 2015·Granted Apr 3, 2018·5 cites·29 claims
- 1184US11822345B2Controlling an unmanned aerial vehicle by re-training a sub-optimal controllerPALO ALTO RES CT INC·Filed 2020·Granted Nov 21, 2023·2 cites·18 claims
- 1283US11494537B1Method and system for efficient testing of digital integrated circuitsPALO ALTO RES CT INC·Filed 2021·Granted Nov 8, 2022·1 cites·20 claims
- 1382US9460053B2Depth-first search for target value problemsSCHMIDT TIM·Filed 2012·Granted Oct 4, 2016·6 cites·17 claims
- 1482US8468112B2Factored envisioning for decision supportDE KLEER JOHAN·Filed 2010·Granted Jun 18, 2013·5 cites·18 claims
- 1582US8266092B2Methods and systems for target value path identificationKUHN LUKAS D·Filed 2009·Granted Sep 11, 2012·12 cites·18 claims
- 1682US7962321B2Modeling when connections are the problemPALO ALTO RES CT INC·Filed 2007·Granted Jun 14, 2011·11 cites·23 claims
- 1779US11157672B1System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solverPALO ALTO RES CT INC·Filed 2020·Granted Oct 26, 2021·1 cites·20 claims
- 1878US8165705B2Methods and systems for continuously estimating persistent and intermittent failure probabilities for production resourcesDE KLEER JOHAN·Filed 2009·Granted Apr 24, 2012·6 cites·22 claims
- 1978US8145334B2Methods and systems for active diagnosis through logic-based planningDO MINH BINH·Filed 2009·Granted Mar 27, 2012·7 cites·20 claims
- 2077US10853540B2Method and system for automated design and design-space explorationPALO ALTO RES CT INC·Filed 2018·Granted Dec 1, 2020·2 cites·16 claims
- 2176US12198482B2System and method for determining vehicle component conditionsXEROX CORP·Filed 2022·Granted Jan 14, 2025·0 cites·18 claims
- 2276US9875142B2System and method for efficient task scheduling in heterogeneous, distributed compute infrastructures via pervasive diagnosisPALO ALTO RES CT INC·Filed 2013·Granted Jan 23, 2018·4 cites·23 claims
- 2376US2025390627A1Method for automatically generating assembly and disassembly plansC INFINITY INC·Filed 2025·Application pending·0 cites
- 2475US12307629B2System and method for model-predictive-control-based micro-assembly control with the aid of a digital computerXEROX CORP·Filed 2024·Granted May 20, 2025·0 cites·19 claims
- 2573US8024610B2Diagnosing intermittent faultsPALO ALTO RES CT INC·Filed 2007·Granted Sep 20, 2011·6 cites·21 claims
- 2672US10089140B2Dynamically adaptive, resource aware system and method for schedulingPALO ALTO RES CT INC·Filed 2017·Granted Oct 2, 2018·1 cites·10 claims
- 2772US9984513B2System and method for determining vehicle component conditionsPALO ALTO RES CT INC·Filed 2014·Granted May 29, 2018·0 cites·5 claims
- 2872US2024411479A1Reduced data representation memory controller and related chiplet setsXEROX CORP·Filed 2024·Application pending·0 cites
- 2972US2025225826A1System and method for determining vehicle component conditionsXEROX CORP·Filed 2025·Application pending·0 cites
- 3070US11003823B2Re-design of analog circuitsPALO ALTO RES CT INC·Filed 2018·Granted May 11, 2021·1 cites·8 claims
- 3170US8219437B2Methods and systems for constructing production plansKUHN LUKAS DANIEL·Filed 2008·Granted Jul 10, 2012·2 cites·20 claims
- 3269US11244521B2System and method for determining vehicle component conditions via performance correlationPALO ALTO RES CT INC·Filed 2018·Granted Feb 8, 2022·0 cites·9 claims
- 3368US12443772B1Method for automatically generating assembly and disassembly plansC INFINITY INC·Filed 2025·Granted Oct 14, 2025·0 cites·20 claims
- 3467US11860682B2Method and system for qualitative reasoning of spatio-temporal physical systemsPALO ALTO RES CT INC·Filed 2019·Granted Jan 2, 2024·1 cites·16 claims
- 3566US8271257B2Troubleshooting temporal behavior in “combinational” circuitsDE KLEER JOHAN·Filed 2007·Granted Sep 18, 2012·3 cites·19 claims
- 3665US12432007B2System and method for symbol decoding in high frequency (hf) communication channelsPALO ALTO RES CT INC·Filed 2022·Granted Sep 30, 2025·0 cites·18 claims
- 3765US12099744B2Reduced data representation memory controller and related chiplet setsPALO ALTO RES CT INC·Filed 2022·Granted Sep 24, 2024·0 cites·18 claims
- 3865US11967951B2Analog computer architecture for fast function optimizationXEROX CORP·Filed 2021·Granted Apr 23, 2024·0 cites·19 claims
- 3965US8359110B2Methods and systems for fault diagnosis in observation rich systemsKUHN LUKAS D·Filed 2009·Granted Jan 22, 2013·4 cites·12 claims
- 4065US5088048AMassively parallel propositional reasoningXEROX CORP·Filed 1988·Granted Feb 11, 1992·34 cites·23 claims
- 4162US11340567B2System and method for determining manufacturability and process planning for hybrid manufacturing using symbolic, logical, and/or combinatorial representationsPALO ALTO RES CT INC·Filed 2020·Granted May 24, 2022·0 cites·19 claims
- 4261US12020399B2System and method for multi-object micro-assembly control with the aid of a digital computerXEROX CORP·Filed 2020·Granted Jun 25, 2024·0 cites·18 claims
- 4361US2024078459A1Quantum computing for generating all diagnoses of a digital circuitXEROX CORP·Filed 2023·Application pending·0 cites
- 4460US12099352B2Methods and systems for fault diagnosisPALO ALTO RES CT INC·Filed 2021·Granted Sep 24, 2024·0 cites·18 claims
- 4560US11921488B2System and method for machine-learning-enabled micro-object density distribution control with the aid of a digital computerXEROX CORP·Filed 2020·Granted Mar 5, 2024·0 cites·20 claims
- 4660US8392455B2Multi-interval heuristics for accelerating target-value searchSCHMIDT TIM·Filed 2009·Granted Mar 5, 2013·2 cites·14 claims
- 4760US8265777B2Pervasive model adaptation: the integration of planning and information gathering in dynamic production systemsLIU JUAN·Filed 2009·Granted Sep 11, 2012·2 cites·8 claims
- 4858US12038478B2Hybrid solver for integrated circuit diagnostics and testingPALO ALTO RES CT INC·Filed 2022·Granted Jul 16, 2024·0 cites·20 claims
- 4958US11321504B2Learning constitutive equations of physical components with constraints discoveryPALO ALTO RES CT INC·Filed 2018·Granted May 3, 2022·0 cites·14 claims
- 5058US8073798B2Dynamic domain abstraction through meta-analysisDE KLEER JOHAN·Filed 2007·Granted Dec 6, 2011·1 cites·21 claims
Showing the top 50 of 80 patent records by PatentIndex Score.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →