Inventor · disambiguated record
Nikolaj S. Bjorner
Also filed as: BJORNER NIKOLAJ · BJORNER NIKOLAJ S · BJORNER NIKOLAJ SKALLERUD
39 granted patents·9 pending applications·911 citations·filing 2001–2024
97Inventor score
Files withMICROSOFT CORP23MICROSOFT TECHNOLOGY LICENSING LLC17BJORNER NIKOLAJ2ABDO NADIM Y1BJORNER NIKOLAJ S1
Top patents by PatentIndex Score
48 records- 0198US7200667B2Universal naming scheme for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted Apr 3, 2007·251 cites·8 claims
- 0298US7072982B2Universal naming scheme for peer to peer resourcesMICROSOFT CORP·Filed 2001·Granted Jul 4, 2006·297 cites·18 claims
- 0395US8117173B2Efficient chunking algorithmGUREVICH YURI·Filed 2009·Granted Feb 14, 2012·70 cites·20 claims
- 0494US9467473B2System and method for compact form exhaustive analysis of security policiesMICROSOFT CORP·Filed 2013·Granted Oct 11, 2016·34 cites·17 claims
- 0593US11342996B1Methods for capacity provisioning in wide area networks using optical bypassingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted May 24, 2022·4 cites·20 claims
- 0693US7743023B2Scalable file replication and web-based accessMICROSOFT CORP·Filed 2006·Granted Jun 22, 2010·41 cites·20 claims
- 0792US7552148B2Shutdown recoveryMICROSOFT CORP·Filed 2006·Granted Jun 23, 2009·32 cites·8 claims
- 0891US7610378B2Locator and tracking service for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted Oct 27, 2009·19 cites·12 claims
- 0989US12457165B2Decentralized wide-area network traffic engineeringMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Granted Oct 28, 2025·1 cites·17 claims
- 1089US7640363B2Applications for remote differential compressionMICROSOFT CORP·Filed 2005·Granted Dec 29, 2009·46 cites·20 claims
- 1189US7562149B2Universal naming scheme for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted Jul 14, 2009·14 cites·20 claims
- 1284US7594030B2Locator and tracking service for peer to peer resourcesMICROSOFT CORP·Filed 2001·Granted Sep 22, 2009·34 cites·49 claims
- 1382US7734817B2Universal naming scheme for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted Jun 8, 2010·7 cites·10 claims
- 1481US11516088B1Network configuration verification in computing systemsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Nov 29, 2022·1 cites·20 claims
- 1578US8387021B2Symbolic runtime checking of quantified contractsMICROSOFT CORP·Filed 2008·Granted Feb 26, 2013·11 cites·16 claims
- 1677US7624179B2Locator and tracking service for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted Nov 24, 2009·6 cites·21 claims
- 1775US7536465B2Universal naming scheme for peer-to-peer resourcesMICROSOFT CORP·Filed 2005·Granted May 19, 2009·4 cites·16 claims
- 1874US12301288B2Methods for capacity provisioning in wide area networks using optical bypassingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Granted May 13, 2025·0 cites·20 claims
- 1974US7536419B2Slave replica memberMICROSOFT CORP·Filed 2006·Granted May 19, 2009·7 cites·16 claims
- 2073US7640354B2Scalable differential compression of network dataMICROSOFT CORP·Filed 2006·Granted Dec 29, 2009·8 cites·20 claims
- 2172US2025274459A1Validating role-based access control policies using symbolic abstraction models and satisfiability solver modelsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 2272US2025272422A1Deduplicating role-based access control policies using symbolic abstraction models and satisfiability solver modelsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 2372US2025274490A1Testing role-based access control policies for implementation consistency using symbolic abstraction models and satisfiability solver modelsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 2468US8819288B2Optimized data stream compression using data-dependent chunkingABDO NADIM Y·Filed 2007·Granted Aug 26, 2014·6 cites·19 claims
- 2567US10411967B2Apparatus, method, and manufacture for cloud network updatingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Sep 10, 2019·2 cites·20 claims
- 2666US8103674B2E-matching for SMT solversDE MOURA LEONARDO M·Filed 2007·Granted Jan 24, 2012·6 cites·12 claims
- 2764US11811646B2Decentralized wide-area network traffic engineeringMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Nov 7, 2023·0 cites·20 claims
- 2864US2022321220A1Methods for capacity provisioning in wide area networks using optical bypassingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Application pending·0 cites
- 2962US11824727B2Network configuration verification in computing systemsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2022·Granted Nov 21, 2023·0 cites·19 claims
- 3062US9424157B2Early detection of failing computersMICROSOFT CORP·Filed 2014·Granted Aug 23, 2016·1 cites·20 claims
- 3161US7506005B2Moving data from file on storage volume to alternate location to free spaceMICROSOFT CORP·Filed 2005·Granted Mar 17, 2009·2 cites·16 claims
- 3252US10333794B2Validating routing tables of routing devicesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Jun 25, 2019·0 cites·20 claims
- 3352US8140459B2Relevancy propagation for efficient theory combinationBJORNER NIKOLAJ·Filed 2008·Granted Mar 20, 2012·3 cites·18 claims
- 3449US8473895B2Providing diverse solutions using design space explorationJACKSON ETHAN K·Filed 2010·Granted Jun 25, 2013·1 cites·20 claims
- 3549US2006047855A1Efficient chunking algorithmMICROSOFT CORP·Filed 2004·Application pending·0 cites
- 3648US9489221B2Matching based pattern inference for SMT solversBJORNER NIKOLAJ S·Filed 2008·Granted Nov 8, 2016·1 cites·20 claims
- 3747US9900222B2Validating routing tables of routing devicesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2015·Granted Feb 20, 2018·0 cites·23 claims
- 3846US2005256974A1Efficient algorithm and protocol for remote differential compression on a remote deviceMICROSOFT CORP·Filed 2004·Application pending·0 cites
- 3945US2005262167A1Efficient algorithm and protocol for remote differential compression on a local deviceMICROSOFT CORP·Filed 2004·Application pending·0 cites
- 4043US12395418B2Network verification systems and methodsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Aug 19, 2025·0 cites·20 claims
- 4143US8677191B2Early detection of failing computersBJORNER NIKOLAJ·Filed 2010·Granted Mar 18, 2014·0 cites·20 claims
- 4242US11121934B1Network verification systems and methodsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2020·Granted Sep 14, 2021·0 cites·20 claims
- 4342US2002062336A1Resource coherency among resources cached in a peer to peer environmentFiled 2001·Application pending·0 cites
- 4442US2007026373A1Resource replication service protocolMICROSOFT CORP·Filed 2005·Application pending·0 cites
- 4541US7925476B2Model-based theory combinationMICROSOFT CORP·Filed 2008·Granted Apr 12, 2011·0 cites·20 claims
- 4637US7660833B2Granular control over the authority of replicated information via fencing and unfencingMICROSOFT CORP·Filed 2003·Granted Feb 9, 2010·2 cites·28 claims
- 4736US10574536B2Capacity engineering in distributed computing systemsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Feb 25, 2020·0 cites·20 claims
- 4836US10241904B2Test components factorization in a build systemMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Mar 26, 2019·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Nikolaj S. Bjorner files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →