Nikolaj S. Bjorner
38Patents
9h-index
58Co-inventors
78Inventor score
Filing activity: Sep 13, 2001 → May 3, 2023
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7072982B2 | Universal naming scheme for peer to peer resources | Electricity | 271 | Expired |
| US7200667B2 | Universal naming scheme for peer-to-peer resources | Electricity | 238 | Expired |
| US8117173B2 | Efficient chunking algorithm | Physics | 66 | Active |
| US7640363B2 | Applications for remote differential compression | Emerging Cross-Sectional Technologies | 31 | Active |
| US7594030B2 | Locator and tracking service for peer to peer resources | Electricity | 30 | Expired |
| US7743023B2 | Scalable file replication and web-based access | Physics | 30 | Active |
| US9467473B2 | System and method for compact form exhaustive analysis of security policies | Electricity | 28 | Active |
| US7552148B2 | Shutdown recovery | Physics | 20 | Active |
| US7610378B2 | Locator and tracking service for peer-to-peer resources | Electricity | 11 | Expired |
| US7640354B2 | Scalable differential compression of network data | Emerging Cross-Sectional Technologies | 8 | Active |
| US8387021B2 | Symbolic runtime checking of quantified contracts | Physics | 8 | Active |
| US7562149B2 | Universal naming scheme for peer-to-peer resources | Electricity | 7 | Expired |
| US8103674B2 | E-matching for SMT solvers | Physics | 6 | Active |
| US7536419B2 | Slave replica member | Physics | 6 | Active |
| US8819288B2 | Optimized data stream compression using data-dependent chunking | Electricity | 5 | Active |
| US7734817B2 | Universal naming scheme for peer-to-peer resources | Electricity | 5 | Expired |
| US7624179B2 | Locator and tracking service for peer-to-peer resources | Electricity | 3 | Expired |
| US8140459B2 | Relevancy propagation for efficient theory combination | Physics | 2 | Active |
| US7536465B2 | Universal naming scheme for peer-to-peer resources | Electricity | 2 | Expired |
| US7506005B2 | Moving data from file on storage volume to alternate location to free space | Emerging Cross-Sectional Technologies | 1 | Expired |
| US8473895B2 | Providing diverse solutions using design space exploration | Physics | 1 | Active |
| US10411967B2 | Apparatus, method, and manufacture for cloud network updating | Electricity | 1 | Active |
| US11342996B1 | Methods for capacity provisioning in wide area networks using optical bypassing | Electricity | 1 | Active |
| US7660833B2 | Granular control over the authority of replicated information via fencing and unfencing | Emerging Cross-Sectional Technologies | 1 | Expired |
| US9424157B2 | Early detection of failing computers | Physics | 1 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.