PhD Alumni

Displaying 251 - 300 of 806
Last First Graduation Year Dissertation Advisor(s)
Berlin Konstantin 2010 Protein-Protein Docking Using Long Range Nuclear Magnetic Resonance Constraints  Dianne O'Leary
Seng Chuk 2010 Robust Trust Establishment in Decentralized Networks  William Arbaugh
Snover Matthew 2010 Improving Statistical Machine Translation Using Comparable Corpora  Bonnie Dorr
Srivastava Saurabh 2010 Satisfiability-Based Program Reasoning and Synthesis Jeffrey Foster
Wang Taowei 2010 Interactive Visualization Techniques for Searching Temporal Categorical Data  Ben Shneiderman
Levin David 2010 Systems-Compatible Incentives  Bobby Bhattacharjee
Zazworka Nico 2010 Process Conformance Testing: A Methodology to Identify and Understand Process Violations in Enactment of Software Processes  Victor Basili
Ayewah Nathaniel 2010 Static Analysis in Practice  William Pugh
Gordon Samuel 2010 Fairness in Secure Computation  Jonathan Katz
Simari Gerardo 2010 Stochastic Reasoning with Action Probabilistic Logic Programs  V.S. Subrahmanian
Morariu Vlad 2010 Analyzing Structured Scenarios by Tracking People and Their Limbs  Larry Davis
Yoon Ilchul 2010 Compatibility Testing for Component-based Systems  Alan Sussman
Schatz Michael 2010 High Performance Computing for DNA Sequence Alignment and Assembly  Steven Salzberg
Lumezanu Cristian 2009 Using Internet Geometry to Improve End-End Communication Performance  Neil Spring
Shin Ji Sun 2009 Enhancing Privacy in Cryptographic Protocols  Virgil Gligor
Strecker Jaymie 2009 Accounting for Defect Characteristics in Emprical Studies of Software Testing
Elsayed Tamer 2009 Identity Resolution in Email Collections  Doug Oard
Hussein Mohamed 2009 Algorithmic Issues in Visual Object Recognition 
Kim Jik-Soo 2009 Decentralized and Scalable Resource Management for Desktop Grids  Alan Sussman
Lee Woei-Jyh 2009 A Framework for Discovering Meaningful Associations in the Annotated Life Sciences Web  Louiqa Raschid
Wu Yao 2009 Computing Customized Ranking  Louiqa Raschid
Lapizco Encinas Grecia 2009 Cooperative Particle Swarm Optimization for Combinatorial Problems  James Reggia
Sen Prithviraj 2009 Representing and Querying Uncertain Data  Lise Getoor
Malekian Azarakhsh 2009 Combinatorial Optimization and Electronic Commerce  Samir Khuller
Furr Michael 2009 Combining Static and Dynamic Typing in Ruby  Jeffrey Foster
Gupta Abnihav 2009 Beyond Nouns and Verbs  Larry Davis
Fails Jerry 2009 Mobile Collaboration for Young Children  Allison Druin
Domke Justin 2009 Tractable Learning and Inference in High Treewidth Graphical Models  John Aloimonos
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases 
El-Alfy Hazem 2009 Techniques for Video Surveillance: Automatic Video Editing and Target Tracking  Larry Davis
Aris Aleks 2008 Visualizing and Exploring Networks Using Semantic Substrates  Ben Shneiderman
Kim Youngmin 2008 Saliency-Guided Graphics and Visualization  Amitabh Varshney
Parker Austin 2008 Spatial Probabilistic Temporal Databases  Dana NauV.S. Subrahmanian
Kolovski Vladimir 2008 Analyzing Web Access Control Policies using Description Logics  Hendler
Kim Youngmin 2008 Saliency-Guided Graphics and Visualization  Amitabh Varshney
Liao Chunyuan 2008 "PapierCraft": A New Paper-Based Interface to Support Interaction with Digital Documents  François Guimbretière
Liu Xu 2008 Computer Vision and Image Processing Techniques for Mobile Applications  Larry Davis
Tahmoush David 2008 Similarity Classification and Retrieval in Cancer Images and Informatics  Hanan Samet
Udrea Octavian 2008 Scalable Ontology Systems  V.S. Subrahmanian
Tran Son 2008 Robust Techniques for Visual Surveillance  Larry Davis
Aggarwal Gaurav 2008 Recognizing Human Faces: Physical Modeling and Pattern Classification  Ramalingam Chellappa
Wu Xue 2008 Improving the Performance and Precision of Bioinformatics Algorithms  Chau-Wen Tseng
Andersen Carl 2008 Using Join Networks to Compute Satisfiability  William Gasarch
Sheorey Sameer 2008 Recognition and Matching in the Presence of Deformation and Lighting Change  David Jacobs
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction 
Neamtiu Iulian 2008 Practical Dynamic Software Updating  Michael Hicks
Wu Shang-Chieh 2008 Flexible and Efficient Control of Data Transfers for Loosely Coupled Components  Alan Sussman
Lopez Adam 2008 Machine Translation by Pattern Matching  Philip Resnik
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation 
Au Tsz-Chiu 2008 Synthesis of Strategies for Non-Zero-Sum Repeated Games  Dana Nau