| Sequential classification recognition of gesture primitives and window-based parameter smoothing for high dimensional touchpad (HDTP) user interfaces US Patent 20,120,007,821, 2012 | 420* | 2012 |
| Touch-based user interfaces employing artificial neural networks for hdtp parameter and symbol derivation V Zaliva US Patent App. 13/038,365, 2012 | 204 | 2012 |
| Heterogeneous tactile sensing via multiple sensor types LF Ludwig, V Zaliva US Patent 9,823,781, 2017 | 118 | 2017 |
| 3d finger posture detection and gesture recognition on touch surfaces V Zaliva US Patent App. 13/544,960, 2013 | 114 | 2013 |
| Curve-fitting approach to high definition touch pad (HDTP) parameter extraction V Zavila US Patent 10,146,427, 2018 | 107 | 2018 |
| Gesteme (gesture primitive) recognition for advanced touch user interfaces LF Ludwig, V Zaliva US Patent 10,430,066, 2019 | 74 | 2019 |
| Barometric and GPS altitude sensor fusion V Zaliva, F Franchetti 2014 IEEE International Conference on Acoustics, Speech and Signal …, 2014 | 53 | 2014 |
| USB HID device abstraction for HDTP user interfaces V Zaliva US Patent App. 13/356,578, 2012 | 42 | 2012 |
| Modular, compositional, and executable formal semantics for LLVM IR Y Zakowski, C Beck, I Yoon, I Zaichuk, V Zaliva, S Zdancewic Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 33 | 2021 |
| Firewall builder V Kurland, V Zaliva White paper, 2003 | 17 | 2003 |
| List entry selection for electronic devices V Zaliva US Patent 7,996,781, 2011 | 15 | 2011 |
| Firewall policy modeling, analysis and simulation: a survey V Zaliva Source-Forge, Tech. Rep, 2008 | 15 | 2008 |
| Passive user identification using sequential analysis of proximity information in touchscreen usage patterns V Zaliva, W Melicher, S Saha, J Zhang 2015 Eighth International Conference on Mobile Computing and Ubiquitous …, 2015 | 13 | 2015 |
| Where’s the rock: using convolutional neural networks to improve land cover classification H Petliak, C Cerovski-Darriau, V Zaliva, J Stock Remote Sensing 11 (19), 2211, 2019 | 10 | 2019 |
| HELIX: a case study of a formal verification of high performance program generation V Zaliva, F Franchetti Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High …, 2018 | 10 | 2018 |
| Human user interfaces utilizing interruption of the execution of a first recognized gesture with the execution of a recognized second gesture V Zaliva US Patent 8,797,288, 2014 | 9 | 2014 |
| Reification of shallow-embedded DSLs in Coq with automated verification V Zaliva, M Sozeau International Workshop on Coq for Programming Languages (CoqPL), 2019 | 7 | 2019 |
| Hamake: A Data Flow Approach to Data Processing in Hadoop. V Zaliva, V Orlov CLOSER, 457-461, 2012 | 6 | 2012 |
| Verified translation between purely functional and imperative domain specific languages in HELIX V Zaliva, I Zaichuk, F Franchetti International Workshop on Numerical Software Verification, 33-49, 2020 | 5 | 2020 |
| Enhanced “enclosures” support in RSS and ATOM Syndication V Zaliva, A Sova Retrieved at<>, Dec 15, 2004 | 5 | 2004 |
Franz FranchettiCarnegie Mellon UniversityVerified email at ece.cmu.edu
