loadpatents
Patent applications and USPTO patent grants for Fuhrmann; Oded.The latest application filed is for "displaying aligned ebook text in different languages".
Patent | Date |
---|---|
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.