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
345*
Touch-based user interfaces employing artificial neural networks for hdtp parameter and symbol derivation
V Zaliva
US Patent App. 13/038,365, 2012
1852012
Heterogeneous tactile sensing via multiple sensor types
LF Ludwig, V Zaliva
US Patent 9,823,781, 2017
1012017
Curve-fitting approach to high definition touch pad (HDTP) parameter extraction
V Zavila
US Patent 10,146,427, 2018
962018
3d finger posture detection and gesture recognition on touch surfaces
V Zaliva
US Patent App. 13/544,960, 2013
962013
Gesteme (gesture primitive) recognition for advanced touch user interfaces
LF Ludwig, V Zaliva
US Patent 10,430,066, 2019
462019
USB HID device abstraction for HDTP user interfaces
V Zaliva
US Patent App. 13/356,578, 2012
412012
Barometric and GPS altitude sensor fusion
V Zaliva, F Franchetti
2014 IEEE International Conference on Acoustics, Speech and Signal …, 2014
362014
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
Stereoscopic display system and method
V Berstis
US Patent App. 10/042,479, 2003
142003
Firewall policy modeling, analysis and simulation: a survey
V Zaliva
Source-Forge, Tech. Rep, 2008
122008
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
82014
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
72018
Hamake: A Data Flow Approach to Data Processing in Hadoop.
V Zaliva, V Orlov
CLOSER, 457-461, 2012
62012
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
52015
Enhanced “enclosures” support in RSS and ATOM Syndication
V Zaliva, A Sova
Retrieved at<>, Dec 15, 2004
52004
Reification of shallow-embedded DSLs in Coq with automated verification
V Zaliva, M Sozeau
CoqPL, Cascais, Portugal. http://www. crocodile. org/lord/vzaliva-CoqPL19. pdf, 2019
42019
Platform-independent firewall policy representation
V Zaliva
arXiv preprint arXiv:0805.1886, 2008
42008
Verified translation between purely functional and imperative domain specific languages in HELIX
V Zaliva, I Zaichuk, F Franchetti
Software Verification, 33-49, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20