loadpatents
Patent applications and USPTO patent grants for Bjorner; Nikolaj S..The latest application filed is for "system and method for compact form exhaustive analysis of security policies".
Patent | Date |
---|---|
Methods for capacity provisioning in wide area networks using optical bypassing Grant 11,342,996 - Singh , et al. May 24, 2 | 2022-05-24 |
Matching based pattern inference for SMT solvers Grant 9,489,221 - Bjorner , et al. November 8, 2 | 2016-11-08 |
System and method for compact form exhaustive analysis of security policies Grant 9,467,473 - Jayaraman , et al. October 11, 2 | 2016-10-11 |
System And Method For Compact Form Exhaustive Analysis Of Security Policies App 20150082370 - Jayaraman; Karthick ;   et al. | 2015-03-19 |
Optimized data stream compression using data-dependent chunking Grant 8,819,288 - Abdo , et al. August 26, 2 | 2014-08-26 |
Providing diverse solutions using design space exploration Grant 8,473,895 - Jackson , et al. June 25, 2 | 2013-06-25 |
Symbolic runtime checking of quantified contracts Grant 8,387,021 - Vanoverberghe , et al. February 26, 2 | 2013-02-26 |
Efficient chunking algorithm Grant 8,117,173 - Gurevich , et al. February 14, 2 | 2012-02-14 |
E-matching for SMT solvers Grant 8,103,674 - de Moura , et al. January 24, 2 | 2012-01-24 |
Providing Diverse Solutions Using Design Space Exploration App 20110302550 - Jackson; Ethan K. ;   et al. | 2011-12-08 |
Model-based theory combination Grant 7,925,476 - de Moura , et al. April 12, 2 | 2011-04-12 |
Resource freshness and replication Grant 7,788,223 - Liu , et al. August 31, 2 | 2010-08-31 |
Scalable file replication and web-based access Grant 7,743,023 - Teodosiu , et al. June 22, 2 | 2010-06-22 |
Universal naming scheme for peer-to-peer resources Grant 7,734,817 - Teodosiu , et al. June 8, 2 | 2010-06-08 |
Symbolic Runtime Checking of Quantified Contracts App 20100083233 - Vanoverberghe; Dries ;   et al. | 2010-04-01 |
Granular control over the authority of replicated information via fencing and unfencing Grant 7,660,833 - Teodosiu , et al. February 9, 2 | 2010-02-09 |
Matching Based Pattern Inference for SMT Solvers App 20090328015 - Bjorner; Nikolaj S. ;   et al. | 2009-12-31 |
Applications for remote differential compression Grant 7,640,363 - Teodosiu , et al. December 29, 2 | 2009-12-29 |
Locator and tracking service for peer-to-peer resources Grant 7,624,179 - Teodosiu , et al. November 24, 2 | 2009-11-24 |
Pre-existing content replication Grant 7,620,721 - Suriyanarayanan , et al. November 17, 2 | 2009-11-17 |
Efficient Chunking Algorithm App 20090271528 - Gurevich; Yuri ;   et al. | 2009-10-29 |
Locator and tracking service for peer-to-peer resources Grant 7,610,378 - Teodosiu , et al. October 27, 2 | 2009-10-27 |
Locator and tracking service for peer to peer resources Grant 7,594,030 - Teodosiu , et al. September 22, 2 | 2009-09-22 |
Model-based Theory Combination App 20090192767 - de Moura; Leonardo M. ;   et al. | 2009-07-30 |
Universal naming scheme for peer-to-peer resources Grant 7,562,149 - Teodosiu , et al. July 14, 2 | 2009-07-14 |
Efficient algorithm and protocol for remote differential compression Grant 7,555,531 - Teodosiu , et al. June 30, 2 | 2009-06-30 |
E-matching For Smt Solvers App 20090164501 - de Moura; Leonardo M. ;   et al. | 2009-06-25 |
Shutdown recovery Grant 7,552,148 - Liu , et al. June 23, 2 | 2009-06-23 |
Slave replica member Grant 7,536,419 - Liu , et al. May 19, 2 | 2009-05-19 |
Universal naming scheme for peer-to-peer resources Grant 7,536,465 - Teodosiu , et al. May 19, 2 | 2009-05-19 |
Optimized Data Stream Compression Using Data-Dependent Chunking App 20090077252 - Abdo; Nadim Y. ;   et al. | 2009-03-19 |
Moving data from file on storage volume to alternate location to free space Grant 7,506,005 - Havewala , et al. March 17, 2 | 2009-03-17 |
Interval vector based knowledge synchronization for resource versioning Grant 7,506,007 - Bjorner March 17, 2 | 2009-03-17 |
Garbage collection of tombstones for optimistic replication systems Grant 7,290,019 - Bjorner , et al. October 30, 2 | 2007-10-30 |
Shutdown recovery App 20070220328 - Liu; Huisheng ;   et al. | 2007-09-20 |
Pre-existing content replication App 20070220067 - Suriyanarayanan; Guhan ;   et al. | 2007-09-20 |
Scalable File Replication and Web-based Access App 20070185932 - Teodosiu; Dan ;   et al. | 2007-08-09 |
Resource freshness and replication App 20070168516 - Liu; Huisheng ;   et al. | 2007-07-19 |
Slave replica member App 20070112887 - Liu; Huisheng ;   et al. | 2007-05-17 |
Universal naming scheme for peer-to-peer resources Grant 7,200,667 - Teodosiu , et al. April 3, 2 | 2007-04-03 |
Resource replication service protocol App 20070026373 - Suriyanarayanan; Guhan ;   et al. | 2007-02-01 |
Moving data from file on storage volume to alternate location to free space App 20070016621 - Havewala; Sarosh Cyrus ;   et al. | 2007-01-18 |
Applications for remote differential compresssion App 20060184652 - Teodosiu; Dan ;   et al. | 2006-08-17 |
Universal naming scheme for peer to peer resources Grant 7,072,982 - Teodosiu , et al. July 4, 2 | 2006-07-04 |
Efficient chunking algorithm App 20060047855 - Gurevich; Yuri ;   et al. | 2006-03-02 |
Universal naming scheme for peer-to-peer resources App 20050265367 - Teodosiu, Dan ;   et al. | 2005-12-01 |
Efficient algorithm and protocol for remote differential compression on a local device App 20050262167 - Teodosiu, Dan ;   et al. | 2005-11-24 |
Efficient algorithm and protocol for remote differential compression on a remote device App 20050256974 - Teodosiu, Dan ;   et al. | 2005-11-17 |
Efficient algorithm and protocol for remote differential compression App 20050235043 - Teodosiu, Dan ;   et al. | 2005-10-20 |
Universal naming scheme for peer-to-peer resources App 20050195838 - Teodosiu, Dan ;   et al. | 2005-09-08 |
Universal naming scheme for peer-to-peer resources App 20050195839 - Teodosiu, Dan ;   et al. | 2005-09-08 |
Locator and tracking service for peer-to-peer resources App 20050198109 - Teodosiu, Dan ;   et al. | 2005-09-08 |
Locator and tracking service for peer-to-peer resources App 20050147044 - Teodosiu, Dan ;   et al. | 2005-07-07 |
Universal naming scheme for peer-to-peer resources App 20050141532 - Teodosiu, Dan ;   et al. | 2005-06-30 |
Granular control over the authority of replicated information via fencing and unfencing App 20050015413 - Teodosiu, Dan ;   et al. | 2005-01-20 |
Interval vector based knowledge synchronization for resource versioning App 20040186916 - Bjorner, Nikolaj S. | 2004-09-23 |
Garbage collection of tombstones for optimistic replication systems App 20040177100 - Bjorner, Nikolaj S. ;   et al. | 2004-09-09 |
Universal naming scheme for peer to peer resources App 20020107982 - Teodosiu, Dan ;   et al. | 2002-08-08 |
Resource coherency among resources cached in a peer to peer environment App 20020062336 - Teodosiu, Dan ;   et al. | 2002-05-23 |
Locator and tracking service for peer to peer resources App 20020062375 - Teodosiu, Dan ;   et al. | 2002-05-23 |
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.