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., 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