Publications
(1997).
(2012).
(2003).
Valency Issues in FrameNet.
128-160.
(2007).
(2008).
(2009).
(1993).
(1994).
(2000). A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979). Variations in Color Naming Within and Across Populations.
Behavioral and Brain Sciences. 28(4), 512-513.
(2005). Variations in Normal Color Vision. IV. Binary Hues and Hue Scaling.
Journal of the Optical Society of America A. 22(10), 2154-2168.
(2005). Variations on the Theme of "Twenty Questions".
Proceedings of the 1998 IEEE International Symposium on Information Theory. 3.
(1998). Varieties of Conditional Sentences.
Proceedings of the Third Eastern States Conference on Linguistics. 163-182.
(1986). VAST: A Unified Platform for Interactive Network Forensics.
Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
(2016).
(1989).
(1991).
(1995).
(1998).
(1991). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).
(2009). Very Fast Containment of Scanning Worms.
Proceedings of the 13th USENIX Security Symposium. 29-44.
(2004).