loadpatents
name:-0.014961957931519
name:-0.019140005111694
name:-0.0060460567474365
Fuhrmann; Oded Patent Filings

Fuhrmann; Oded

Patent Applications and Registrations

Patent applications and USPTO patent grants for Fuhrmann; Oded.The latest application filed is for "displaying aligned ebook text in different languages".

Company Profile
1.18.13
  • Fuhrmann; Oded - Cupertino CA
  • Fuhrmann; Oded - Zichron Yaakov N/A IL
  • Fuhrmann; Oded - Haifa IL
  • Fuhrmann; Oded - Zichron Yackov IL
  • Fuhrmann; Oded - Ya'Akov IL
  • Fuhrmann; Oded - Yaakov IL
*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.
Patent Activity
PatentDate
Business change detection from street level imagery
Grant 11,132,416 - Stumpe , et al. September 28, 2
2021-09-28
Business change detection from street level imagery
Grant 10,339,193 - Stumpe , et al.
2019-07-02
Template clauses based SAT techniques
Grant 9,646,252 - Fuhrmann , et al. May 9, 2
2017-05-09
Displaying Aligned Ebook Text In Different Languages
App 20150324073 - Murray; Abraham Phelps ;   et al.
2015-11-12
Mobile device functions based on transportation mode transitions
Grant 8,954,094 - Mishra , et al. February 10, 2
2015-02-10
Template Clauses Based Sat Techniques
App 20130159241 - Fuhrmann; Oded ;   et al.
2013-06-20
Method, apparatus and product for SAT solving using templates clauses
Grant 8,407,175 - Fuhrmann , et al. March 26, 2
2013-03-26
Proof based bounded model checking
Grant 8,397,192 - Fuhrmann , et al. March 12, 2
2013-03-12
Proof Based Bounded Model Checking
App 20120198400 - Fuhrmann; Oded ;   et al.
2012-08-02
Proof based bounded model checking
Grant 8,201,116 - Fuhrmann , et al. June 12, 2
2012-06-12
Assessment of a view through the overlay of maps
Grant 8,165,350 - Fuhrmann , et al. April 24, 2
2012-04-24
Utilizing an unSAT proof for model checking
Grant 8,161,433 - Fuhrmann , et al. April 17, 2
2012-04-17
Proof Based Bounded Model Checking
App 20120046918 - Fuhrmann; Oded ;   et al.
2012-02-23
Template Clauses Based Sat Techniques
App 20110178970 - Fuhrmann; Oded ;   et al.
2011-07-21
Method for improving queue experience in a three-dimensional virtual environment
Grant 7,882,443 - Fuhrmann , et al. February 1, 2
2011-02-01
Utilizing An Unsat Proof For Model Checking
App 20110010139 - Fuhrmann; Oded ;   et al.
2011-01-13
Evaluating Entities Associations with their Respective Environments
App 20090248852 - Fuhrmann; Oded ;   et al.
2009-10-01
Exploiting Double Resolutions For Proof Optimizations
App 20090248601 - Bar-Ilan; Omer ;   et al.
2009-10-01
Evaluating Associations Among Entities
App 20090248709 - Fuhrmann; Oded ;   et al.
2009-10-01
Seamless hybrid computer human call service
Grant 7,565,293 - Fuhrmann , et al. July 21, 2
2009-07-21
Device to cluster Boolean functions for clock gating
Grant 7,562,325 - Arbel , et al. July 14, 2
2009-07-14
Assessment of a View through the Overlay of Maps
App 20090136155 - Fuhrmann; Oded ;   et al.
2009-05-28
Method For Improving Queue Experience In A Three-dimensional Virtual Environment
App 20090138807 - Fuhrmann; Oded ;   et al.
2009-05-28
Applying CNF simplification techniques for SAT-based abstraction refinement
Grant 7,519,931 - Shacham , et al. April 14, 2
2009-04-14
Clause and Proof Tightening
App 20090024557 - Fuhrmann; Oded ;   et al.
2009-01-22
Methods to cluster boolean functions for clock gating
Grant 7,458,050 - Arbel , et al. November 25, 2
2008-11-25
Applying CNF simplification techniques for SAT-based abstraction refinement
Grant 7,441,216 - Shacham , et al. October 21, 2
2008-10-21

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.

© 2024 USPTO.report | Privacy Policy | Resources | RSS Feed of Trademarks | Trademark Filings Twitter Feed