Publications

Found 45 results
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is V  [Clear All Filters]
2019
Sap, D., & Shapiro V. (2019).  On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties. Computer-Aided Design. 115, 256-266.
Pan, X., Chakraborty R., & Yu S. X. (2019).  Visual Similarity from Optimizing Feature and Memory On A Hypersphere. Proceedings of IEEE Conference on Computer Vision and Pattern Recognition .
2017
Panda, A., Sagiv M., & Shenker S. J. (2017).  Verification in the Age of Microservices. Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
Panda, A., Lahav O., Argyraki K. J., Sagiv M., & Shenker S. J. (2017).  Verifying Reachability in Networks with Mutable Datapaths. Proceedings of NSDI '17.
Amann, J., & Sommer R. (2017).   Viable Protection of High-Performance Networks through Hardware/Software Co-Design. Proceedings of ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization.
2016
Vallentin, M., Paxson V., & Sommer R. (2016).  VAST: A Unified Platform for Interactive Network Forensics. Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
2007
Fillmore, C. J. (2007).  Valency Issues in FrameNet. 128-160.
Weaver, N., Staniford S., & Paxson V. (2007).  Very Fast Containment of Scanning Worms, Revisited. 113-145.
Lüning, A.., Friedland G., Knipping L., & Rojas R. (2007).  Visualizing Large-Screen Electronic Chalkboard Content on Handheld Devices. Proceedings of the Second IEEE International Workshop on Multimedia Technologies for E-Learning at 9th IEEE Symposium on Multimedia. 369-375.
2005
Kay, P., & Webster M. A. (2005).  Variations in Color Naming Within and Across Populations. Behavioral and Brain Sciences. 28(4), 512-513.
Malkoc, G., Kay P., & Webster M. A. (2005).  Variations in Normal Color Vision. IV. Binary Hues and Hue Scaling. Journal of the Optical Society of America A. 22(10), 2154-2168.
Rayner, M., Hockey B. Ann, Chatzichrisafis N., Farrell K., & Renders J-M. (2005).  A Voice-Enabled Procedure Browser for the International Space Station. Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics (ACL 2005). 29-32.

Pages