Publications
On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017).
(1991).
(1998).
(1995).
(1991).
(1989). VAST: A Unified Platform for Interactive Network Forensics.
Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
(2016). Varieties of Conditional Sentences.
Proceedings of the Third Eastern States Conference on Linguistics. 163-182.
(1986). Variations on the Theme of "Twenty Questions".
Proceedings of the 1998 IEEE International Symposium on Information Theory. 3.
(1998). 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 in Color Naming Within and Across Populations.
Behavioral and Brain Sciences. 28(4), 512-513.
(2005). A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979).
(2000).
(1994).
(1993).
(2009).
(2008). Valency Issues in FrameNet.
128-160.
(2007).
(2003).
(2012).
(1997).
Using Symbolic Prominence to Help Design Feature Subsets for Topic Classification and Clustering of Natural Human-Human Conversations.
Proceedings of the 9th European Conference on Speech Communication and Technology (Interspeech 2005-Eurospeech 2005).
(2005).
(2010).
(2008).