Publications

Katz J, Ostrovsky R. 2004. Round-optimal secure two-party computation. Advances in Cryptology–CRYPTO 2004. :3-34.

Froehlich J, Krumm J. 2008. Route prediction from trip observations. SAE SP. 2193

JaJa JF, Wu SA. 1989. On routing two-terminal nets in the presence of obstacles. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 8(5):563-570.

Banerjee S, Agarwal S, Kamel K, Kochut A, Kommareddy C, Nadeem T, Thakkar P, Trinh B, Youssef A, Youssef M et al.. 2002. Rover: scalable location-aware computing. Computer. 35(10):46-53.

Rosenzweig R, Bronner V, Zhang D, Fushman D, Glickman MH. 2012. Rpn1 and Rpn2 coordinate ubiquitin processing factors at the proteasome. Journal of Biological ChemistryJ. Biol. Chem..

Sellis T, Roussopoulos N, Faloutsos C. 1987. The R+-tree: A dynamic index for multi-dimensional data. Proceedings of VLDB 1987. :507-518.

Snover M, Schwartz R, Dorr BJ, Makhoul J. 2004. RT-S: Surface rich transcription scoring, methodology, and initial results. Proc. DARPA Rich Transcription Workshop.

Furr M, An J-hoon(D), Foster JS, Hicks MW. 2009. The ruby intermediate language. SIGPLAN Not.. 44(12):89-98.

Udrea O, Lumezanu C, Foster JS. 2008. Rule-based static analysis of network protocol implementations. Information and Computation. 206(2):130-157.

Weems SA, Winder RK, Bunting M, Reggia JA. 2009. Running memory span: A comparison of behavioral capacity limits with those of an attractor neural network. Cognitive Systems Research. 10(2):161-171.

Edjlali G, Agrawal G, Sussman A, Humphries J, Saltz J. 1997. Run-time and compiler support for programming in adaptive parallel environments. Scientific Programming. 6(2):215-227.

Reggia JA, Nau DS. 1983. S., Wang. PY, Diagnostic Expert Systems Based on a Set Covering Model. International Journal on Man-Machine studies. 19:437–46O-437–46O.

Nandi A, Ganjam A, Druschel P, Ng TSE, Stoica I, Zhang H, Bhattacharjee B. 2007. SAAR: A shared control plane for overlay multicast. Proceedings of 4th USENIX Symposium on Networked Systems Design & Implementation. :57-72.

Hicks MW, Morrisett G, Grossman D, Jim T. 2003. Safe and flexible memory management in Cyclone. Technical Reports from UMIACS.

Neamtiu I, Hicks MW. 2009. Safe and timely updates to multi-threaded programs. SIGPLAN Not.. 44(6):13-24.

Swamy N, Hicks MW, Morrisett G, Grossman D, Jim T. 2006. Safe manual memory management in Cyclone. Science of Computer Programming. 62(2):122-144.

Alexander S, Arbaugh WA, Keromytis AD, Smith JM. 1998. Safety and security of programmable network infrastructures. IEEE Communications Magazine. 36(10):84-92.

Patro R, Ip CY, Varshney A, Hagen H. 2010. Saliency Guided Summarization of Molecular Dynamics Simulations. Scientific Visualization: Advanced Concepts. 1:321-335.

Ip C Y, Varshney A. 2011. Saliency-Assisted Navigation of Very Large Landscape Images. Visualization and Computer Graphics, IEEE Transactions on. 17(12):1737-1746.

Kim Y, Varshney A. 2006. Saliency-guided Enhancement for Volume Visualization. Visualization and Computer Graphics, IEEE Transactions on. 12(5):925-932.

Lee CH, Kim Y, Varshney A. 2009. Saliency-guided lighting. IEICE TRANSACTIONS on Information and Systems. 2:369-73.

Kim Y, Patro R, Ip CY, O’Leary DP, Anishkin A, Sukharev S, Varshney A. 1998. Salient Frame Detection for Molecular Dynamics Simulations. Scientific Visualization: Interactions, Features, Metaphors. 2:160-175.

Cummings MP, Otto SP, Wakeley J. 1995. Sampling properties of DNA sequence data in phylogenetic analysis. Mol Biol Evol. 12(5):814-822.

Jutla A, Aldaach H, Billian H, Akanda A, Huq A, Colwell RR. 2015. Satellite Based Assessment of Hydroclimatic Conditions Related to Cholera in Zimbabwe. PLOS ONE. (9Suppl 1):e0137828.

King LM, Cummings MP. 1997. Satellite DNA repeat sequence variation is low in three species of burying beetles in the genus ıt Nicrophorus (Coleoptera: Silphidae). Mol Biol Evol. 14(11):1088-1095.

Pages

Publications