| Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 273 | 2001 |
| Adaptive embedded advertisement via contextual analysis and perceptual computing R Ferens, G Kamhi, B Hurwitz, A Moran US Patent App. 13/826,067, 2014 | 188 | 2014 |
| Is there a best symbolic cycle-detection algorithm? K Fisler, R Fraer, G Kamhi, MY Vardi, Z Yang International Conference on Tools and Algorithms for the Construction and …, 2001 | 112 | 2001 |
| Depth-based user interface gesture control GJ Anderson, D Reif, B Hurwitz, G Kamhi US Patent 9,389,779, 2016 | 99 | 2016 |
| Perceptual computing with conversational agent GJ Anderson, G Kamhi, RK Mongia, Y Govezensky, B Hurwitz, A Moran, ... US Patent App. 13/724,992, 2013 | 86 | 2013 |
| A temporal language for SystemC D Tabakov, G Kamhi, MY Vardi, E Singerman 2008 Formal Methods in Computer-Aided Design, 1-9, 2008 | 78 | 2008 |
| Personal safety and privacy features for passengers of an autonomous vehicle based transportation system CV Goldman-Shenhar, G Kamhi US Patent App. 15/491,756, 2017 | 74 | 2017 |
| Eye tracking based selectively backlighting a display G Kamhi US Patent 9,361,833, 2016 | 65 | 2016 |
| Adaptive learning environment driven by real-time identification of engagement level S Aslan, AA Esme, G Kamhi, R Ferens, I Diner US Patent 10,013,892, 2018 | 64 | 2018 |
| Controlling autonomous-vehicle functions and output based on occupant position and attention G Kamhi, RJ Mathieu US Patent 10,317,900, 2019 | 62 | 2019 |
| Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation M Glusman, G Kamhi, S Mador-Haim, R Fraer, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2003 | 62 | 2003 |
| A new paradigm for synthesis and propagation of clock gating conditions R Fraer, G Kamhi, MK Mhameed Proceedings of the 45th annual Design Automation Conference, 658-663, 2008 | 61 | 2008 |
| Systems and methods for contextually augmented video creation and sharing G Kamhi, B Hurwitz, V Kouperman, K Nistel US Patent 9,754,416, 2017 | 59 | 2017 |
| Eye tracking based selective accentuation of portions of a display M Jacob, B Hurwitz, G Kamhi US Patent App. 13/977,519, 2014 | 59 | 2014 |
| End-to-end accommodation functionality for passengers of fully autonomous shared or taxi-service vehicles G Kamhi, A Degani, E Tzirkel-Hancock, CV Goldman-Shenhar US Patent App. 15/585,489, 2017 | 56 | 2017 |
| Systems to dynamically guide a user to an autonomous-driving vehicle pick-up location by augmented-reality walking directions G Kamhi, A Degani US Patent App. 15/606,410, 2017 | 54 | 2017 |
| Thermal monitoring in autonomous-driving vehicles A Telpaz, G Kamhi US Patent App. 15/499,388, 2017 | 51 | 2017 |
| A hybrid verification approach: Getting deep into the design S Hazelhurst, O Weissberg, G Kamhi, L Fix Proceedings of the 39th annual Design Automation Conference, 111-116, 2002 | 49 | 2002 |
| Timing advertisement breaks based on viewer attention level R Ferens, G Kamhi, A Moron, B Hurwitz US Patent App. 13/631,519, 2014 | 40 | 2014 |
| Prioritized traversal: Efficient reachability analysis for verification and falsification R Fraer, G Kamhi, B Ziv, MY Vardi, L Fix Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 40 | 2000 |
