Yuri Gurevich

Person

Edmonds, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Enterprise graph method of threat detection
- Patent number 10,771,492
- Issue date Sep 8, 2020
- Microsoft Technology Licensing, LLC
- Efim Hudis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying implicit assumptions associated with a software product
- Patent number 10,380,008
- Issue date Aug 13, 2019
- Microsoft Technology Licensing, LLC
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selecting candidate rows for deduplication
- Patent number 9,547,664
- Issue date Jan 17, 2017
- Microsoft Technology Licensing, LLC
- Yaron Zinar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for decomposing single-qubit quantum circuits int...
- Patent number 9,514,415
- Issue date Dec 6, 2016
- Microsoft Technology Licensing, LLC
- Alexei V. Bocharov
- B82 - NANO-TECHNOLOGY
Information Patent Grant
Identifying implicit assumptions associated with a software product
- Patent number 9,372,785
- Issue date Jun 21, 2016
- Microsoft Technology Licensing, LLC
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selecting candidate rows for deduplication
- Patent number 8,719,236
- Issue date May 6, 2014
- Microsoft Corporation
- Yaron Zinar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
State as a first-class citizen of an imperative language
- Patent number 8,468,505
- Issue date Jun 18, 2013
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient chunking algorithm
- Patent number 8,117,173
- Issue date Feb 14, 2012
- Microsoft Corporation
- Yuri Gurevich
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
State as a first-class citizen of an imperative language
- Patent number 7,584,463
- Issue date Sep 1, 2009
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient algorithm and protocol for remote differential compression
- Patent number 7,555,531
- Issue date Jun 30, 2009
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Extending test sequences to accepting states
- Patent number 7,493,544
- Issue date Feb 17, 2009
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
High level executable network abstract machine
- Patent number 7,149,678
- Issue date Dec 12, 2006
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating a test suite from an abstract state machine
- Patent number 7,088,864
- Issue date Aug 8, 2006
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ENTERPRISE GRAPH METHOD OF THREAT DETECTION
- Publication number 20180084001
- Publication date Mar 22, 2018
- Microsoft Technology Licensing, LLC
- Efim Hudis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING IMPLICIT ASSUMPTIONS ASSOCIATED WITH A SOFTWARE PRODUCT
- Publication number 20160259718
- Publication date Sep 8, 2016
- Microsoft Technology Licensing, LLC
- Rui WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFESTYLE RECOMMENDATION SYSTEM
- Publication number 20160012512
- Publication date Jan 14, 2016
- Microsoft Corporation
- Neta Haiby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR DECOMPOSING SINGLE-QUBIT QUANTUM CIRCUITS INT...
- Publication number 20140280427
- Publication date Sep 18, 2014
- Microsoft Corporation
- Alexei V. Bocharov
- B82 - NANO-TECHNOLOGY
Information Patent Application
Identifying Implicit Assumptions Associated with a Software Product
- Publication number 20140258986
- Publication date Sep 11, 2014
- Microsoft Corporation
- Rui Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELECTING CANDIDATE ROWS FOR DEDUPLICATION
- Publication number 20140236907
- Publication date Aug 21, 2014
- Microsoft Corporation
- Yaron Zinar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELECTING CANDIDATE ROWS FOR DEDUPLICATION
- Publication number 20140059015
- Publication date Feb 27, 2014
- Microsoft Corporation
- Yaron Zinar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE
- Publication number 20100011194
- Publication date Jan 14, 2010
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT CHUNKING ALGORITHM
- Publication number 20090271528
- Publication date Oct 29, 2009
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Distributed knowledge access control
- Publication number 20080301758
- Publication date Dec 4, 2008
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Extending test sequences to accepting states
- Publication number 20060179383
- Publication date Aug 10, 2006
- Microsoft Corporation
- Andreas Blass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient chunking algorithm
- Publication number 20060047855
- Publication date Mar 2, 2006
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient algorithm and protocol for remote differential compressio...
- Publication number 20050262167
- Publication date Nov 24, 2005
- Microsoft Corporation
- Dan Teodosiu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient algorithm and protocol for remote differential compressio...
- Publication number 20050256974
- Publication date Nov 17, 2005
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Efficient algorithm and protocol for remote differential compression
- Publication number 20050235043
- Publication date Oct 20, 2005
- Microsoft Corporation
- Dan Teodosiu
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
State as a first-class citizen of an imperative language
- Publication number 20050050536
- Publication date Mar 3, 2005
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
High level executable network abstract machine
- Publication number 20030191797
- Publication date Oct 9, 2003
- Microsoft Corporation
- Yuri Gurevich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating a test suite from an abstract state machine
- Publication number 20030159087
- Publication date Aug 21, 2003
- Microsoft Corporation
- Wolfgang Grieskamp
- G06 - COMPUTING CALCULATING COUNTING

Yuri Gurevich

Person

Patents Grantslast 30 patents

Enterprise graph method of threat detection

Identifying implicit assumptions associated with a software product

Selecting candidate rows for deduplication

Method and system for decomposing single-qubit quantum circuits int...

Identifying implicit assumptions associated with a software product

Selecting candidate rows for deduplication

State as a first-class citizen of an imperative language

Efficient chunking algorithm

State as a first-class citizen of an imperative language

Efficient algorithm and protocol for remote differential compression

Extending test sequences to accepting states

High level executable network abstract machine

Generating a test suite from an abstract state machine

Patents Applicationslast 30 patents

ENTERPRISE GRAPH METHOD OF THREAT DETECTION

IDENTIFYING IMPLICIT ASSUMPTIONS ASSOCIATED WITH A SOFTWARE PRODUCT

LIFESTYLE RECOMMENDATION SYSTEM

METHOD AND SYSTEM FOR DECOMPOSING SINGLE-QUBIT QUANTUM CIRCUITS INT...

Identifying Implicit Assumptions Associated with a Software Product

SELECTING CANDIDATE ROWS FOR DEDUPLICATION

SELECTING CANDIDATE ROWS FOR DEDUPLICATION

STATE AS A FIRST-CLASS CITIZEN OF AN IMPERATIVE LANGUAGE

EFFICIENT CHUNKING ALGORITHM

Distributed knowledge access control

Extending test sequences to accepting states

Efficient chunking algorithm

Efficient algorithm and protocol for remote differential compressio...

Efficient algorithm and protocol for remote differential compressio...

Efficient algorithm and protocol for remote differential compression

State as a first-class citizen of an imperative language

High level executable network abstract machine

Generating a test suite from an abstract state machine