Publications
]
2000. Snap-together visualization: can users construct and operate coordinated visualizations? International Journal of Human-Computer Studies. 53(5):715-739.
2009. Smooth projective hashing and password-based authenticated key exchange from lattices. Advances in Cryptology–ASIACRYPT 2009. :636-652.
1983. Small Ribonucleoproteins from Eukaryotes: Structures and Roles in RNA Biogenesis. Cold Spring Harbor Symposia on Quantitative BiologyCold Spring Harb Symp Quant Biol. 47:893-900.
1994. Slipped-strand mispairing in a plastid gene: ıt rpoC2 in grasses (Poaceae). Mol Biol Evol. 11(1):1-8.
2007. Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
1990. Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
2012. SITS: A Hierarchical Nonparametric Model using Speaker Identity for Topic Segmentation in Multiparty Conversations. Association for Computational Linguistics.
2010. Sites Inferred by Metabolic Background Assertion Labeling (SIMBAL): adapting the Partial Phylogenetic Profiling algorithm to scan sequences for signatures that predict protein function.. BMC Bioinformatics. 11:52.
1999. SIPR: A new framework for generating efficient code for sparse matrix computations. Languages and Compilers for Parallel Computing. :213-229.
2008. Single-document and multi-document summarization techniques for email threads using sentence compression. Information Processing & Management. 44(4):1600-1610.
1994. A simulation-based study on the concurrent execution of rules in a database environment. Journal of Parallel and Distributed computing. 20(1):20-42.
2001. Simulation revisited. Tools and Algorithms for the Construction and Analysis of Systems. :480-495.
1994. Simulation of the transient characteristics of partially- and fully-depleted SOI MOSFETs. Solid-State Electronics. 37(7):1387-1394.
1996. Simulation of the logic switching characteristics of hot-carrier-degraded ultra-thin SOI CMOS inverters. Solid-State Electronics. 39(11):1669-1674.
2005. Simulation and Secure Computation-Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs. Lecture Notes in Computer Science. 3378:128-149.
2005. A simulation and data analysis system for large-scale, data-driven oil reservoir simulation studies. Concurrency and Computation: Practice and Experience. 17(11):1441-1467.
1994. Simplifying polynomial constraints over integers to make dependence analysis more precise. Parallel Processing: CONPAR 94—VAPP VI. :737-748.
2011. Simplex and Diamond Hierarchies: Models and Applications. Computer Graphics Forum. 30(8):2127-2155.
2004. Simple statistical models predict C-to-U edited sites in plant mitochondrial RNA. BMC Bioinformatics. 5:132-132.
1995. A simple randomized sieve algorithm for the closest-pair problem. Information and Computation. 118(1):34-37.
2002. Simple Procedure for Rapid Identification of Vibrio Cholerae from the Aquatic Environment. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 68(2):995-998.
2007. A simple entropy-based algorithm for planar point location. ACM Transactions on Algorithms (TALG). 3(2)