Publications
2011. Blurring-invariant Riemannian metrics for comparing signals and images. 2011 IEEE International Conference on Computer Vision (ICCV). :1770-1775.
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
1998. Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
1992. Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
2005. Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
2007. Numerical Analysis of Plasmon Resonances in Nanoparticles Based on Fast Multipole Method. Magnetics, IEEE Transactions on. 43(4):1465-1468.
2005. Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
2010. Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
2003. The integrated CWB-NC/PIOAtool for functional verification and performance analysis of concurrent systems. Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems. :431-436.
2005. Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
2008. Extending sense-making models with ideas from cognition and learning theories. Proceedings of the American Society for Information Science and Technology. 45(1):23-23.
2008. Affinity Makes the Difference: Nonselective Interaction of the UBA Domain of Ubiquilin-1 with Monomeric Ubiquitin and Polyubiquitin Chains. Journal of Molecular Biology. 377(1):162-180.
2007. Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
2011. Boosting the scalability of botnet detection using adaptive traffic sampling. Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. :124-134.
2009. Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
2009. Modal expansion of HRTFs: Continuous representation in frequency-range-angle. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :285-288.
2000. Kronos: A software system for the processing and retrieval of large-scale AVHRR data sets. PE & RS- Photogrammetric Engineering and Remote Sensing. 66(9):1073-1082.
2007. GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 134(1):189-198.
2011. Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
2005. iSonic: interactive sonification for non-visual data exploration. Proceedings of the 7th international ACM SIGACCESS conference on Computers and accessibility. :194-195.
2005. Improving Accessibility and Usability of Geo-referenced Statistical Data (2003). Institute for Systems Research Technical Reports.
2009. Improving search effectiveness in the legal e-discovery process using relevance feedback. Proceedings of the global E-Discovery/E-Disclosure workshop on electronically stored information in discovery at the 12th international conference on artificial intelligence and law (ICAIL09 DESI Workshop). DESI Press, Barcelona.
2003. Performance of detection statistics under collusion attacks on independent multimedia fingerprints. Multimedia and Expo, 2003. ICME '03. Proceedings. 2003 International Conference on. 1:I-205-8vol.1-I-205-8vol.1.
2005. Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data. Institute for Systems Research Technical Reports.