Publications
1992. Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
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.
2009. Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
1998. An Empirical Study of Perspective-Based Usability Inspection. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 42(19):1346-1350.
1999. Perspective-based Usability Inspection: An Empirical Validation of Efficacy. Empirical Software Engineering. 4(1):43-69.
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.
2009. Together, Rpn10 and Dsk2 Can Serve as a Polyubiquitin Chain-Length Sensor. Molecular Cell. 36(6):1018-1033.
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
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.
2007. GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 134(1):189-198.
1998. Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
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.
2011. Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
2006. Numerical Analysis of Plasmon Resonances Based on Fast Multipole Method. Electromagnetic Field Computation, 2006 12th Biennial IEEE Conference on. :459-459.
2010. Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
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.
2002. Nonlinear collusion attacks on independent multimedia fingerprints. submitted to IEEE Trans. on Image Proc.
2008. Interactive auditory data exploration: A framework and evaluation with geo-referenced data sonification. ACM Transactions on Computer-Human Interaction.
2006. Event classification and relationship labeling in affiliation networks. Proceedings of the Workshop on Statistical Network Analysis (SNA) at the 23rd International Conference on Machine Learning (ICML).
2003. Image-based highly interactive Web mapping for geo-referenced data publishing. Technical Reports from UMIACS.