(Publications are listed alphabetically by title)
A comprehensive framework for testing graphical user interfaces. University of Pittsburgh; 2001.
A holistic approach to structure from motion. College Park, MD, USA: University of Maryland at College Park; 2006.
An architecture and implementation for a cooperative database system. University of Maryland at College Park; 1999.
Automated Manufacturability Analysis of Machined Parts. UNIVERSITY OF MARYLAND, COLLEGE PARK; 1995.
Controlled observations of the genetic algorithm in a changing environment: case studies using the shaky ladder hyperplane-defined functions. The University of Michigan; 2005.
Data parallel algorithms for the numerical modeling of semiconductor devices. Mayergoyz ID, editor. College Park, MD, USA: University of Maryland at College Park; 1993.
Document Image Understanding: Integrating Recovery and Interpretation. College Park, MD: University of Maryland, College Park; 1993.
Efficient Cryptographic Protocols Preventing “Man-in-the-Middle” Attacks. Columbia University; 2002.
Evaluating predicates over encrypted data. Carnegie Mellon University; 2008.
Handling estimation errors in database query processing. Berkeley, CA, USA: University of California at Berkeley; 2004.
Implementing On-line Software Upgrades in Java. University of Maryland, College Park; 2003.
Improving the Dependability of Distributed Systems Through Air Software Upgrades. Pittsburgh, PA, USA: Carnegie Mellon University; 2010.
Indexing and Retrieving Natural Language Using Ternary Expressions. MASSACHUSETTS INSTITUTE OF TECHNOLOGY; 2001.
Interacting with computers using images for search and automation. Cambridge, MA, USA: Massachusetts Institute of Technology; 2009.
Lexical conceptual structure and machine translation. Massachusetts Institute of Technology; 1990.
Linguistic Extensions of Topic Models. Princeton University; 2010.
Locality principles in syntax and in parsing. Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy; 1988.
Semantics of knowledge-based systems with multiple forms of negation. University of Maryland at College Park; 1996.
Shape Identification in Temporal Data Sets. Master’s thesis, University of Maryland; 2009.
The complexity of flow analysis in higher-order languages. BRANDEIS UNIVERSITY; 2009.
Transforming men into mice (a computational theory of genome rearrangements). The Pennsylvania State University; 1995.
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Teams THESIS. UNIVERSITY OF CALIFORNIA; 2004.