Ishai Rabinovitz

Person

Ramat Almogi, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Query completions
- Patent number 12,050,613
- Issue date Jul 30, 2024
- Google LLC
- Emanuel Taropa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Biasing voice correction suggestions
- Patent number 11,881,207
- Issue date Jan 23, 2024
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Query completions
- Patent number 11,693,863
- Issue date Jul 4, 2023
- Google LLC
- Emanuel Taropa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Biasing voice correction suggestions
- Patent number 11,302,305
- Issue date Apr 12, 2022
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Query completions
- Patent number 10,698,901
- Issue date Jun 30, 2020
- Google LLC
- Emanuel Taropa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Biasing voice correction suggestions
- Patent number 10,679,609
- Issue date Jun 9, 2020
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Biasing voice correction suggestions
- Patent number 10,529,316
- Issue date Jan 7, 2020
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Biasing voice correction suggestions
- Patent number 10,242,662
- Issue date Mar 26, 2019
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Search result prefetching of voice queries
- Patent number 10,133,821
- Issue date Nov 20, 2018
- Google LLC
- Christopher Bo Tandiono
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Biasing voice correction suggestions
- Patent number 10,049,655
- Issue date Aug 14, 2018
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Grant
Query completions
- Patent number 9,639,581
- Issue date May 2, 2017
- Google Inc.
- Emanuel Taropa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Query completions
- Patent number 9,361,406
- Issue date Jun 7, 2016
- Google Inc.
- Emanuel Taropa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cross-channel network operation offloading for collective operations
- Patent number 8,811,417
- Issue date Aug 19, 2014
- MELLANOX TECHNOLOGIES LTD.
- Noam Bloch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification using hybrid explicit and symbolic model chec...
- Patent number 8,209,667
- Issue date Jun 26, 2012
- International Business Machines Corporation
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 8,108,195
- Issue date Jan 31, 2012
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Remotely operating computer software applications using low bandwidth
- Patent number 8,019,824
- Issue date Sep 13, 2011
- International Business Machines Corporation
- Ziv Glazberg
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and method of identification of dangling pointers
- Patent number 7,861,231
- Issue date Dec 28, 2010
- International Business Machines Corporation
- Kumar Rangarajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Satisfiability (SAT) based bounded model checkers
- Patent number 7,835,898
- Issue date Nov 16, 2010
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Decision support tool for interleaving review software testing
- Patent number 7,793,263
- Issue date Sep 7, 2010
- International Business Machines Corporation
- Eitan Daniel Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic model checking of software
- Patent number 7,519,957
- Issue date Apr 14, 2009
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
BIASING VOICE CORRECTION SUGGESTIONS
- Publication number 20220215828
- Publication date Jul 7, 2022
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Application
BIASING VOICE CORRECTION SUGGESTIONS
- Publication number 20210158796
- Publication date May 27, 2021
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Application
BIASING VOICE CORRECTION SUGGESTIONS
- Publication number 20200105247
- Publication date Apr 2, 2020
- Google LLC
- Evgeny A. Cherepanov
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Application
SEARCH RESULT PREFETCHING OF VOICE QUERIES
- Publication number 20170193111
- Publication date Jul 6, 2017
- Google Inc.
- Christopher Bo Tandiono
- G10 - MUSICAL INSTRUMENTS ACOUSTICS
Information Patent Application
METHOD, APPARATUS AND COMPUTER PRODUCT FOR SENDING OR RECEIVING DAT...
- Publication number 20110286451
- Publication date Nov 24, 2011
- MELLANOX TECHNOLOGIES LTD.
- Ishai RABINOVITZ
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS
- Publication number 20100324881
- Publication date Dec 23, 2010
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING NON-DETERMINISTIC PRIORITY QUEUES FOR EFFICIENT MODEL CHEC...
- Publication number 20090168785
- Publication date Jul 2, 2009
- Ziv Glazberg
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
System and Method of Identification of Dangling Pointers
- Publication number 20080222224
- Publication date Sep 11, 2008
- Kumar Rangarajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Remotely Operating Computer Software Applications Using Low Bandwidth
- Publication number 20080016175
- Publication date Jan 17, 2008
- Ziv Glazberg
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Decision support tool for interleaving review software testing
- Publication number 20070180430
- Publication date Aug 2, 2007
- International Business Machines Corporation
- Eitan Daniel Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software verification using hybrid explicit and symbolic model chec...
- Publication number 20070168988
- Publication date Jul 19, 2007
- International Business Machines Corporation
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Satisfiability (SAT) based bounded model checkers
- Publication number 20070118340
- Publication date May 24, 2007
- International Business Machines Corporation
- Daniel Geist
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic model checking of generally asynchronous hardware
- Publication number 20060058989
- Publication date Mar 16, 2006
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Symbolic model checking of software
- Publication number 20050223353
- Publication date Oct 6, 2005
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING

Ishai Rabinovitz

Person

Patents Grantslast 30 patents

Query completions

Biasing voice correction suggestions

Query completions

Biasing voice correction suggestions

Query completions

Biasing voice correction suggestions

Biasing voice correction suggestions

Biasing voice correction suggestions

Search result prefetching of voice queries

Biasing voice correction suggestions

Query completions

Query completions

Cross-channel network operation offloading for collective operations

Software verification using hybrid explicit and symbolic model chec...

Satisfiability (SAT) based bounded model checkers

Remotely operating computer software applications using low bandwidth

System and method of identification of dangling pointers

Satisfiability (SAT) based bounded model checkers

Decision support tool for interleaving review software testing

Symbolic model checking of software

Patents Applicationslast 30 patents

BIASING VOICE CORRECTION SUGGESTIONS

BIASING VOICE CORRECTION SUGGESTIONS

BIASING VOICE CORRECTION SUGGESTIONS

SEARCH RESULT PREFETCHING OF VOICE QUERIES

METHOD, APPARATUS AND COMPUTER PRODUCT FOR SENDING OR RECEIVING DAT...

SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS

MODELING NON-DETERMINISTIC PRIORITY QUEUES FOR EFFICIENT MODEL CHEC...

System and Method of Identification of Dangling Pointers

Remotely Operating Computer Software Applications Using Low Bandwidth

Decision support tool for interleaving review software testing

Software verification using hybrid explicit and symbolic model chec...

Satisfiability (SAT) based bounded model checkers

Symbolic model checking of generally asynchronous hardware

Symbolic model checking of software