Biblio
Filters: First Letter Of Last Name is V [Clear All Filters]
.
2014. Refinement calculus of reactive systems. 2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014. :2:1–2:10.
.
2016. Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016. :768–777.
.
2017. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. :194–209.
.
2016. Guest Editorial Inference and Learning over Networks. {IEEE} Trans. Signal and Information Processing over Networks. 2:423–425.
.
2017. FiDO: A Community-based Web Browsing Agent and CDN for Challenged Network Environments. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.. 1:108:1–108:25.
.
2011. A Token Based Algorithm to Distributed Computation in Sensor Networks. CoRR. abs/1103.2289
.
2011. A Token-Based Approach for Distributed Computation in Sensor Networks. J. Sel. Topics Signal Processing. 5:817–832.
.
2012. Local Anomaly Detection. Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2012, La Palma, Canary Islands, April 21-23, 2012. 22:969–983.
.
2012. Video anomaly detection based on local statistical aggregates. 2012 {IEEE} Conference on Computer Vision and Pattern Recognition, Providence, RI, USA, June 16-21, 2012. :2112–2119.
.
2012. Aperiodic Sequences With Uniformly Decaying Correlations With Applications to Compressed Sensing and System Identification. {IEEE} Trans. Information Theory. 58:6023–6036.
.
2013. Introduction to the issue on anomalous pattern discovery for spatial, temporal, networked, and high-dimensional signals. J. Sel. Topics Signal Processing. 7:1–3.
.
2010. Video Anomaly Identification. {IEEE} Signal Process. Mag.. 27:18–33.
.
2009. Compressed Blind De-convolution. CoRR. abs/0910.0239
.
2011. Thresholded Basis Pursuit: LP Algorithm for Order-Wise Optimal Support Recovery for Sparse and Approximately Sparse Signals From Noisy Random Measurements. {IEEE} Trans. Information Theory. 57:1567–1586.
.
2006. Reliable Tracking With Intermittent Communications. 2006 {IEEE} International Conference on Acoustics Speech and Signal Processing, {ICASSP} 2006, Toulouse, France, May 14-19, 2006. :1141–1144.
.
2006. On the macroscopic effects of local interactions in multi-hop wireless networks. 4th International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks (WiOpt 2006), 3-6 April 2006, Boston, Massachusetts, {USA}. :161–168.
.
2004. Necessary and sufficient conditions for robust identification of uncertain LTI systems. Systems {&} Control Letters. 53:117–125.
.
2004. Performance guarantees in sensor networks. 2004 {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2004, Montreal, Quebec, Canada, May 17-21, 2004. :269–272.
.
2012. Security and Interoperable-Medical-Device Systems, Part 1. IEEE Security and Privacy. 10:61–63.
.
2012. Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences and Classifications.. IEEE Security and Privacy. 10:70–73.
.
2011. An Alternative Pavement Management System Approach for Local Governments. Transportation Research Board 90th Annual Meeting.
.
2010. Practice Proven Pavement Management System for Local Governments. Transportation Research Board 89th Annual Meeting.
.
2017. Cycling Trip Purpose Inference and Route Choice Using GPS Data. under submission.