Publications
2005. Forensic analysis of nonlinear collusion attacks for multimedia fingerprinting. Image Processing, IEEE Transactions on. 14(5):646-661.
2006. Flow-insensitive type qualifiers. ACM Transactions on Programming Languages and Systems (TOPLAS). 28(6):1035-1087.
2001. Flexible support for multiple access control policies. ACM Trans. Database Syst.. 26(2):214-260.
2007. Flexible and Optimal Design of Spherical Microphone Arrays for Beamforming. Audio, Speech, and Language Processing, IEEE Transactions on. 15(2):702-714.
1993. A first-pass approach for evaluating machine translation systems. Machine Translation. 8(1):49-58.
2004. Finite-element computation of nonlinear magnetic diffusion and its effects when coupled to electrical, mechanical, and hydraulic systems. Magnetics, IEEE Transactions on. 40(2):537-540.
2010. Finishing genomes with limited resources: lessons from an ensemble of microbial genomes. BMC Genomics. 11(1):242-242.
2009. Fingerprinting Compressed Multimedia Signals. Information Forensics and Security, IEEE Transactions on. 4(3):330-345.
1991. On finding the minimum bandwidth of interval graphs. Information and Computation. 95(2):218-224.
1981. Finding the maximum, merging, and sorting in a parallel computation model. Journal of Algorithms. 2(1):88-102.
2007. Finding most probable worlds of probabilistic logic programs. Scalable Uncertainty Management. :45-59.
2004. Finding Governmental Statistical Data on the Web: Three Empirical Studies of the FedStats Topics Page. Journal of the American Society for Information Science and Technology. 55:1008-1015.
2004. Finding governmental statistical data on the Web: A study of categorically organized links for the FedStats topics page. Journal of the American Society for Information Science and Technology. 55(11):1008-1015.
1993. Finding facts vs. browsing knowledge in hypertext systems. Sparks of innovation in human-computer interaction. :103-103.