Inventor · disambiguated record
Ishai Rabinovitz
Also filed as: RABINOVITZ ISHAI
22 granted patents·2 pending applications·141 citations·filing 2004–2024
95Inventor score
Top patents by PatentIndex Score
24 records- 0193US8811417B2Cross-channel network operation offloading for collective operationsBLOCH NOAM·Filed 2010·Granted Aug 19, 2014·30 cites·39 claims
- 0292US9639581B1Query completionsGOOGLE INC·Filed 2016·Granted May 2, 2017·11 cites·21 claims
- 0391US9361406B1Query completionsGOOGLE INC·Filed 2013·Granted Jun 7, 2016·22 cites·30 claims
- 0489US7861231B2System and method of identification of dangling pointersIBM·Filed 2007·Granted Dec 28, 2010·25 cites·13 claims
- 0587US10698901B1Query completionsGOOGLE INC·Filed 2017·Granted Jun 30, 2020·5 cites·18 claims
- 0685US12405961B1Query completionsGOOGLE LLC·Filed 2024·Granted Sep 2, 2025·0 cites·20 claims
- 0785US10242662B1Biasing voice correction suggestionsGOOGLE LLC·Filed 2017·Granted Mar 26, 2019·4 cites·20 claims
- 0884US10679609B2Biasing voice correction suggestionsGOOGLE LLC·Filed 2019·Granted Jun 9, 2020·3 cites·20 claims
- 0983US10529316B1Biasing voice correction suggestionsGOOGLE LLC·Filed 2019·Granted Jan 7, 2020·3 cites·28 claims
- 1083US10049655B1Biasing voice correction suggestionsGOOGLE LLC·Filed 2016·Granted Aug 14, 2018·4 cites·17 claims
- 1181US11693863B1Query completionsGOOGLE LLC·Filed 2020·Granted Jul 4, 2023·1 cites·17 claims
- 1280US12050613B1Query completionsGOOGLE LLC·Filed 2023·Granted Jul 30, 2024·0 cites·20 claims
- 1376US8209667B2Software verification using hybrid explicit and symbolic model checkingEISNER CYNTHIA RAE·Filed 2006·Granted Jun 26, 2012·10 cites·21 claims
- 1473US11881207B2Biasing voice correction suggestionsGOOGLE LLC·Filed 2022·Granted Jan 23, 2024·0 cites·18 claims
- 1570US7835898B2Satisfiability (SAT) based bounded model checkersIBM·Filed 2005·Granted Nov 16, 2010·5 cites·2 claims
- 1670US7793263B2Decision support tool for interleaving review software testingIBM·Filed 2006·Granted Sep 7, 2010·5 cites·19 claims
- 1768US7990980B2Modeling non-deterministic priority queues for efficient model checkingIBM·Filed 2007·Granted Aug 2, 2011·5 cites·16 claims
- 1867US11302305B2Biasing voice correction suggestionsGOOGLE LLC·Filed 2020·Granted Apr 12, 2022·0 cites·18 claims
- 1965US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 2063US10133821B2Search result prefetching of voice queriesGOOGLE LLC·Filed 2016·Granted Nov 20, 2018·1 cites·17 claims
- 2156US7519957B2Symbolic model checking of softwareIBM·Filed 2004·Granted Apr 14, 2009·5 cites·18 claims
- 2244US2006058989A1Symbolic model checking of generally asynchronous hardwareIBM·Filed 2004·Application pending·0 cites
- 2343US8019824B2Remotely operating computer software applications using low bandwidthIBM·Filed 2006·Granted Sep 13, 2011·0 cites·19 claims
- 2437US2011286451A1Method, apparatus and computer product for sending or receiving data over multiple networksRABINOVITZ ISHAI·Filed 2010·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Ishai Rabinovitz files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →