Follow
Vadim Zaliva
Title
Cited by
Cited by
Year
Sequential classification recognition of gesture primitives and window-based parameter smoothing for high dimensional touchpad (HDTP) user interfaces
US Patent 20,120,007,821, 0
377*
Touch-based user interfaces employing artificial neural networks for hdtp parameter and symbol derivation
V Zaliva
US Patent App. 13/038,365, 2012
1912012
Heterogeneous tactile sensing via multiple sensor types
LF Ludwig, V Zaliva
US Patent 9,823,781, 2017
1082017
3d finger posture detection and gesture recognition on touch surfaces
V Zaliva
US Patent App. 13/544,960, 2013
1052013
Curve-fitting approach to high definition touch pad (HDTP) parameter extraction
V Zavila
US Patent 10,146,427, 2018
1012018
Barometric and GPS altitude sensor fusion
V Zaliva, F Franchetti
2014 IEEE International Conference on Acoustics, Speech and Signal …, 2014
472014
USB HID device abstraction for HDTP user interfaces
V Zaliva
US Patent App. 13/356,578, 2012
422012
Firewall policy modeling, analysis and simulation: a survey
V Zaliva
Source-Forge, Tech. Rep, 2008
152008
Firewall builder
V Kurland, V Zaliva
White paper, 2003
152003
List entry selection for electronic devices
V Zaliva
US Patent 7,996,781, 2011
142011
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
92021
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
92018
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
92014
Reification of shallow-embedded DSLs in Coq with automated verification
V Zaliva, M Sozeau
International Workshop on Coq for Programming Languages (CoqPL), 2019
82019
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
82015
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
62019
Hamake: A Data Flow Approach to Data Processing in Hadoop.
V Zaliva, V Orlov
CLOSER, 457-461, 2012
62012
Verified translation between purely functional and imperative domain specific languages in HELIX
V Zaliva, I Zaichuk, F Franchetti
Software Verification, 33-49, 2020
52020
Enhanced “enclosures” support in RSS and ATOM Syndication
V Zaliva, A Sova
Retrieved at<>, Dec 15, 2004
52004
Platform-independent firewall policy representation
V Zaliva
arXiv preprint arXiv:0805.1886, 2008
42008
The system can't perform the operation now. Try again later.
Articles 1–20