Publications
Export 7148 results:
[ Author] Title Type Year Filters: New-year%E2%80%99s-resolutions-software-quality is [Clear All Filters]
1996. The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
1993. An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.
1990. A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1997. Challenges in sending large radiology images over military communications channels. Proceedings of SPIE. 3035:230-230.
1998. Genetic nomenclature for Trypanosoma and Leishmania.. Molecular and biochemical parasitology. 97(1-2):221-221.
1993. Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
2004. Selective refinement queries for volume visualization of unstructured tetrahedral meshes. Visualization and Computer Graphics, IEEE Transactions on. 10(1):29-45.
2003. Interactive Visualization of Large Tetrahedral Meshes through Selective Refinement. IEEE Transactions on Visualization and Computer Graphics.
2004. Multi-resolution modeling, visualization and streaming of volume meshes. Eurographics 2004, Tutorials 2: Multi-resolution Modeling, Visualization and Streaming of Volume Meshes.
2011. Designing Optimal Spectral Filters for Inverse Problems. SIAM Journal on Scientific Computing. 33(6)
2008. A Weighted GCV Method for Lanczos Hybrid Regularization. Electronic Transactions on Numerical Analysis. 28:149-167.
2011. Windowed Spectral Regularization of Inverse Problems. SIAM Journal on Scientific Computing. 33(6)
2004. Automated cluster-based Web service performance tuning. 13th IEEE International Symposium on High performance Distributed Computing, 2004. Proceedings. :36-44.
2009. Comparative genomics reveals mechanism for short-term and long-term clonal transitions in pandemic Vibrio cholerae. Proceedings of the National Academy of Sciences. 106(36):15442-15447.
2002. Analysis of 16S-23S rRNA intergenic spacer of Vibrio cholerae and Vibrio mimicus for detection of these species. METHODS IN MOLECULAR BIOLOGY. 179:171-178.
2009. Modeling and analysis of ordinal ranking in content fingerprinting. Information Forensics and Security, 2009. WIFS 2009. First IEEE International Workshop on. :116-120.