Membership
Tour
Register
Log in
Peng Song
Follow
Person
Issaquah, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Model checking for distributed application validation
Patent number
9,092,561
Issue date
Jul 28, 2015
Microsoft Technology Licensing, LLC
Lidan Miao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Multiphase topology-wide code modifications for peer-to-peer systems
Patent number
7,979,393
Issue date
Jul 12, 2011
Microsoft Corporation
Rui Wang
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Patents Applications
last 30 patents
Information
Patent Application
MODEL CHECKING FOR DISTRIBUTED APPLICATION VALIDATION
Publication number
20120101800
Publication date
Apr 26, 2012
Microsoft Corporation
Lidan Miao
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
ORIGINATION BASED CONFLICT DETECTION IN PEER-TO-PEER REPLICATION
Publication number
20100125557
Publication date
May 20, 2010
Microsoft Corporation
Rui Wang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MULTIPHASE TOPOLOGY-WIDE CODE MODIFICATIONS FOR PEER-TO-PEER SYSTEMS
Publication number
20090216777
Publication date
Aug 27, 2009
Microsoft Corporation
Rui Wang
H04 - ELECTRIC COMMUNICATION TECHNIQUE