Membership
Tour
Register
Log in
Jakob Rehof
Follow
Person
Redmond, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Programming model to detect deadlocks in concurrent programs
Patent number
7,703,077
Issue date
Apr 20, 2010
Microsoft Corporation
Jakob Rehof
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Contracts and futures in an asynchronous programming language
Patent number
7,694,276
Issue date
Apr 6, 2010
Microsoft Corporation
James R. Larus
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods for enhancing type reconstruction
Patent number
7,647,587
Issue date
Jan 12, 2010
Microsoft Corporation
Todd B. Knoblock
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for logical modeling of distributed computer systems
Patent number
7,574,343
Issue date
Aug 11, 2009
Microsoft Corporation
Steven Levi
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Methods for enhancing flow analysis
Patent number
7,500,232
Issue date
Mar 3, 2009
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Behavioral analysis for message-passing application programs
Patent number
7,203,924
Issue date
Apr 10, 2007
Microsoft Corporation
Jakob Rehof
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for designing a logical model of a distributed co...
Patent number
7,155,380
Issue date
Dec 26, 2006
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
System and method for logical modeling of distributed computer systems
Patent number
7,113,900
Issue date
Sep 26, 2006
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Methods for enhancing type reconstruction
Patent number
6,981,249
Issue date
Dec 27, 2005
Microsoft Corporation
Todd B. Knoblock
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for designing a logical model of a distributed co...
Patent number
6,907,395
Issue date
Jun 14, 2005
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Methods for enhancing flow analysis
Patent number
6,813,761
Issue date
Nov 2, 2004
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
System and Method for Logical Modeling of Distributed Computer Systems
Publication number
20060149838
Publication date
Jul 6, 2006
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
System and method for designing a logical model of a distributed co...
Publication number
20050125212
Publication date
Jun 9, 2005
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
System and method for designing a logical model of a distributed co...
Publication number
20050102538
Publication date
May 12, 2005
Microsoft Corporation
Galen C. Hunt
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
Methods for enhancing type reconstruction
Publication number
20050081194
Publication date
Apr 14, 2005
Microsoft Corporation
Todd B. Knoblock
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Methods for enhancing flow analysis
Publication number
20040205742
Publication date
Oct 14, 2004
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Contracts and futures in an asynchronous programming language
Publication number
20040172638
Publication date
Sep 2, 2004
James R. Larus
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Behavioral analysis for message-passing application programs
Publication number
20030204570
Publication date
Oct 30, 2003
Microsoft Corporation
Jakob Rehof
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Programming model for concurrent programs
Publication number
20030204641
Publication date
Oct 30, 2003
Microsoft Corporation
Jakob Rehof
G06 - COMPUTING CALCULATING COUNTING