Membership
Tour
Register
Log in
David Richter
Follow
Person
Seattle, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Process language for microprocessors with finite resources
Patent number
8,156,472
Issue date
Apr 10, 2012
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Type checking for safe interoperability among web processes
Patent number
7,702,749
Issue date
Apr 20, 2010
Microsoft Corporation
L. Gregory Meredith
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Operational semantics rules for governing evolution of processes an...
Patent number
7,216,335
Issue date
May 8, 2007
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Structural equivalence of expressions containing processes and queries
Patent number
7,117,487
Issue date
Oct 3, 2006
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Permutation nuances of the integration of processes and queries as...
Patent number
7,055,142
Issue date
May 30, 2006
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Extensible compiler utilizing a plurality of question handlers
Patent number
6,665,866
Issue date
Dec 16, 2003
Microsoft Corporation
Paul Kwiatkowski
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Inheriting code in a transformational programming system
Patent number
6,493,869
Issue date
Dec 10, 2002
Microsoft Corporation
Paul Kwiatkowski
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Process language for microprocessors with finite resources
Publication number
20050183099
Publication date
Aug 18, 2005
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Systems and methods that employ process algebra to specify contract...
Publication number
20050131978
Publication date
Jun 16, 2005
Microsoft Corporation
Lucius G. Meredith
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
Type checking for safe interoperability among Web processes
Publication number
20040064529
Publication date
Apr 1, 2004
Microsoft Corporation
L. Gregory Meredith
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
Safe interoperability among web services
Publication number
20040064528
Publication date
Apr 1, 2004
Microsoft Corporation
L. Greg Meredith
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
Operational semantics rules for governing evolution of processes an...
Publication number
20030212671
Publication date
Nov 13, 2003
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Permutation nuances of the integration of processes and queries as...
Publication number
20030212540
Publication date
Nov 13, 2003
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Process kernel
Publication number
20030212761
Publication date
Nov 13, 2003
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Structural equivalence of expressions containing processes and queries
Publication number
20030212672
Publication date
Nov 13, 2003
Microsoft Corporation
L. Gregory Meredith
G06 - COMPUTING CALCULATING COUNTING