Inventor
Jakob Rehof
Inventor
Redmond, WA, US
Overview
Patents· 11 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing58%
H04LTransmission of digital information, e.g. telegraphic communication42%
PatentTitleYear
7,703,077'Programming model to detect deadlocks in concurrent programs'20107,694,276'Contracts and futures in an asynchronous programming language'20107,647,587'Methods for enhancing type reconstruction'20107,574,343'System and method for logical modeling of distributed computer systems'20097,500,232'Methods for enhancing flow analysis'20097,203,924'Behavioral analysis for message-passing application programs'20077,155,380'System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model'20067,113,900'System and method for logical modeling of distributed computer systems'20066,981,249'Methods for enhancing type reconstruction'20056,907,395'System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model'20056,813,761'Methods for enhancing flow analysis'2004Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2004–2010Patents assigned to MICROSOFT CORP (11)· patent assignee history
2004–2010Based in Redmond, WA, US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| MICROSOFT CORP | 11 | 2004–2010 |
Locations
| Location | Patents | Span |
|---|---|---|
| Redmond, Washington, US | 11 | 2004–2010 |