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 | 427* | 2012 |
Touch-based user interfaces employing artificial neural networks for hdtp parameter and symbol derivation V Zaliva US Patent App. 13/038,365, 2012 | 206 | 2012 |
Heterogeneous tactile sensing via multiple sensor types LF Ludwig, V Zaliva US Patent 9,823,781, 2017 | 123 | 2017 |
3d finger posture detection and gesture recognition on touch surfaces V Zaliva US Patent App. 13/544,960, 2013 | 115 | 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 | 75 | 2019 |
Barometric and GPS altitude sensor fusion V Zaliva, F Franchetti 2014 IEEE International Conference on Acoustics, Speech and Signal …, 2014 | 54 | 2014 |
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 | 42 | 2021 |
USB HID device abstraction for HDTP user interfaces V Zaliva US Patent App. 13/356,578, 2012 | 42 | 2012 |
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 | 14 | 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 |
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 | 8 | 2020 |
Reification of shallow-embedded DSLs in Coq with automated verification V Zaliva, M Sozeau International Workshop on Coq for Programming Languages (CoqPL), 2019 | 8 | 2019 |
Hamake: A Data Flow Approach to Data Processing in Hadoop. V Zaliva, V Orlov CLOSER, 457-461, 2012 | 6 | 2012 |
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance V Zaliva, K Memarian, R Almeida, J Clarke, B Davis, A Richardson, ... Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 5* | 2024 |