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
Join the waitlist — get patent alerts
Get an alert when Niels Jakob Rehof 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 →