Inventor · disambiguated record
Oded Fuhrmann
Also filed as: FUHRMANN ODED
15 granted patents·5 pending applications·234 citations·filing 2007–2019
92Inventor score
Top patents by PatentIndex Score
20 records- 0196US8165350B2Assessment of a view through the overlay of mapsFUHRMANN ODED·Filed 2007·Granted Apr 24, 2012·133 cites·24 claims
- 0295US8954094B1Mobile device functions based on transportation mode transitionsMISHRA ARUNESH·Filed 2013·Granted Feb 10, 2015·25 cites·31 claims
- 0390US10339193B1Business change detection from street level imageryGOOGLE LLC·Filed 2015·Granted Jul 2, 2019·9 cites·20 claims
- 0488US7458050B1Methods to cluster boolean functions for clock gatingIBM·Filed 2008·Granted Nov 25, 2008·20 cites·1 claims
- 0586US7562325B1Device to cluster Boolean functions for clock gatingIBM·Filed 2008·Granted Jul 14, 2009·17 cites·1 claims
- 0679US7882443B2Method for improving queue experience in a three-dimensional virtual environmentIBM·Filed 2007·Granted Feb 1, 2011·6 cites·4 claims
- 0775US11132416B1Business change detection from street level imageryGOOGLE LLC·Filed 2019·Granted Sep 28, 2021·2 cites·20 claims
- 0875US7565293B1Seamless hybrid computer human call serviceIBM·Filed 2008·Granted Jul 21, 2009·9 cites·1 claims
- 0975US7441216B1Applying CNF simplification techniques for SAT-based abstraction refinementIBM·Filed 2008·Granted Oct 21, 2008·7 cites·1 claims
- 1064US7519931B1Applying CNF simplification techniques for SAT-based abstraction refinementIBM·Filed 2008·Granted Apr 14, 2009·3 cites·1 claims
- 1161US8397192B2Proof based bounded model checkingFUHRMANN ODED·Filed 2012·Granted Mar 12, 2013·1 cites·20 claims
- 1259US8407175B2Method, apparatus and product for SAT solving using templates clausesFUHRMANN ODED·Filed 2010·Granted Mar 26, 2013·2 cites·17 claims
- 1356US2009248852A1Evaluating Entities Associations with their Respective EnvironmentsFUHRMANN ODED·Filed 2008·Application pending·0 cites
- 1456US2009248709A1Evaluating Associations Among EntitiesFUHRMANN ODED·Filed 2008·Application pending·0 cites
- 1548US8161433B2Utilizing an unSAT proof for model checkingFUHRMANN ODED·Filed 2009·Granted Apr 17, 2012·0 cites·25 claims
- 1646US9646252B2Template clauses based SAT techniquesIBM·Filed 2013·Granted May 9, 2017·0 cites·16 claims
- 1746US8201116B2Proof based bounded model checkingFUHRMANN ODED·Filed 2010·Granted Jun 12, 2012·0 cites·17 claims
- 1843US2009024557A1Clause and Proof TighteningFUHRMANN ODED·Filed 2007·Application pending·0 cites
- 1939US2009248601A1Exploiting double resolutions for proof optimizationsIBM·Filed 2008·Application pending·0 cites
- 2037US2015324073A1Displaying aligned ebook text in different languagesMURRAY ABRAHAM PHELPS·Filed 2012·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →