| 12405961 |
Query completions |
Emanuel Taropa |
2025-09-02 |
| 12050613 |
Query completions |
Emanuel Taropa |
2024-07-30 |
| 11881207 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2024-01-23 |
| 11693863 |
Query completions |
Emanuel Taropa |
2023-07-04 |
| 11302305 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2022-04-12 |
| 10698901 |
Query completions |
Emanuel Taropa |
2020-06-30 |
| 10679609 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2020-06-09 |
| 10529316 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2020-01-07 |
| 10242662 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2019-03-26 |
| 10133821 |
Search result prefetching of voice queries |
Christopher Bo Tandiono, Michael Buchanan, Nathan David Howard |
2018-11-20 |
| 10049655 |
Biasing voice correction suggestions |
Evgeny A. Cherepanov, Jakob Nicolaus Foerster, Vikram Sridar, Omer Tabach |
2018-08-14 |
| 9639581 |
Query completions |
Emanuel Taropa |
2017-05-02 |
| 9361406 |
Query completions |
Emanuel Taropa |
2016-06-07 |
| 8811417 |
Cross-channel network operation offloading for collective operations |
Noam Bloch, Gil Bloch, Ariel Shachar, Hillel Chapman, Pavel Shamis +1 more |
2014-08-19 |
| 8209667 |
Software verification using hybrid explicit and symbolic model checking |
Cynthia Rae Eisner, Ziv Glazberg, Sharon Keidar-Barner |
2012-06-26 |
| 8108195 |
Satisfiability (SAT) based bounded model checkers |
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ohad Shacham, Rachel Tzoref |
2012-01-31 |
| 8019824 |
Remotely operating computer software applications using low bandwidth |
Ziv Glazberg, Shmuel Ur |
2011-09-13 |
| 7990980 |
Modeling non-deterministic priority queues for efficient model checking |
Ziv Glazberg, Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli |
2011-08-02 |
| 7861231 |
System and method of identification of dangling pointers |
Kumar Rangarajan, Satish Chandra Gupta, Ziv Glazberg |
2010-12-28 |
| 7835898 |
Satisfiability (SAT) based bounded model checkers |
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ohad Shacham, Rachel Tzoref |
2010-11-16 |
| 7793263 |
Decision support tool for interleaving review software testing |
Eitan Farchi, Ziv Glazberg |
2010-09-07 |
| 7519957 |
Symbolic model checking of software |
Sharon Keidar-Barner |
2009-04-14 |
