Inventor

BJORNER NIKOLAJ S

US24 patents

⚠️ This page may combine multiple inventors who share the name “BJORNER NIKOLAJ S”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

BJORNER NIKOLAJ S

MICROSOFT CORP

Universal naming scheme for peer-to-peer resources

Universal naming scheme for peer to peer resources

System and method for compact form exhaustive analysis of security policies

Scalable file replication and web-based access

Locator and tracking service for peer-to-peer resources

Locator and tracking service for peer to peer resources

Universal naming scheme for peer-to-peer resources

Shutdown recovery

Applications for remote differential compression

Symbolic runtime checking of quantified contracts

Universal naming scheme for peer-to-peer resources

Locator and tracking service for peer-to-peer resources

Universal naming scheme for peer-to-peer resources

Granular control over the authority of replicated information via fencing and unfencing

Slave replica member

Moving data from file on storage volume to alternate location to free space

Model-based theory combination

MICROSOFT TECHNOLOGY LICENSING LLC

Methods for capacity provisioning in wide area networks using optical bypassing

Methods for capacity provisioning in wide area networks using optical bypassing

GUREVICH YURI

Efficient chunking algorithm

ABDO NADIM Y

Optimized data stream compression using data-dependent chunking

DE MOURA LEONARDO M

E-matching for SMT solvers

BJORNER NIKOLAJ S

Matching based pattern inference for SMT solvers

JACKSON ETHAN K

Providing diverse solutions using design space exploration