Inventor · disambiguated record
Niels Jakob Rehof
Also filed as: REHOF NIELS JAKOB
4 granted patents·85 citations·filing 2003–2004
79Inventor score
Technology areasG06F
Files withMICROSOFT CORP4
Top patents by PatentIndex Score
4 records- 0174US7797669B1Analysis of distributed software systems via specification substitutionMICROSOFT CORP·Filed 2004·Granted Sep 14, 2010·24 cites·22 claims
- 0274US7526750B2Object-based systematic state space exploration of softwareMICROSOFT CORP·Filed 2004·Granted Apr 28, 2009·25 cites·33 claims
- 0372US7555418B1Procedure summaries for multithreaded softwareMICROSOFT CORP·Filed 2003·Granted Jun 30, 2009·19 cites·19 claims
- 0469US7779382B2Model checking with bounded context switchesMICROSOFT CORP·Filed 2004·Granted Aug 17, 2010·17 cites·15 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →