PhD Alumni

Displaying 201 - 250 of 793
Last First Year Dissertation Advisor
Yerukhimovich Arkady 2011 A Study of Separations in Cryptography: New Results and New Models  Jonathan Katz
Srinivasan Balaji Vasan 2011 Scalable Learning for Geostatistics and Speaker Recognition  Ramani Duraiswami
Agrawal Mudit 2011 Adaptive Algorithms for Automated Processing of Document Images  Larry Davis
Caragea George 2011 Optimizing for a Many-Core Architecture without Compromising Ease-of-Programming  Uzi Vishkin
Angiuoli Samuel 2011 Methods for High-Throughput Comparative Genomics and Distributed Sequence Analysis  Steven Salzberg
Wilson Shomir 2011 A Computational Theory of the Use-Mention Distinction in Natural Language  Don Perlis
Rutar Nickolas 2011 Foo's to Blame: Techniques for Mapping Performance Data to Program Variables  Jeffrey K. Hollingsworth
Huang Zhongqiang 2011 Modeling Dependencies in Natural Languages with Latent Variables  Philip Resnik
Broecheler Matthias 2011 Social Network Data Management  V.S. Subrahmanian
Sayeed Asad 2011 A Distributional and Syntactic Approach to Fine-Grained Opinion Mining  Amy Weinberg
Farrell Ryan 2011 Learning Visual Patterns: Imposing Order on Objects, Trajectories and Networks  Larry Davis
Park Sungwoo 2011 Matrix Reduction in Numerical Optimization  Dianne O'Leary
Li Jian 2011 Decision Making Under Uncertainty  Amol Deshpande
Martinez Maria Vanina 2011 Contributions to Personalizable Knowledge Integration  V.S. Subrahmanian
Shakarian Paulo 2011 Spatio-Temporal Reasoning About Agent Behavior  V.S. Subrahmanian
Weiss Kenneth 2011 Diamond-Based Models for Scientific Visualization  Leila De Floriani
Haidarian Shahri Hamid 2011 On the Foundations of Data Interoperability and Semantic Search on the Web  Don Perlis
Ma Kin Keung 2011 Improving Program Testing and Understanding via Symbolic Execution  Jeffrey Foster, Michael Hicks
Song Charles 2011 Understanding, Discovering and Leveraging a Software System’s Effective Configuration Space  Adam Porter
DuBois Thomas 2011 Using and Manipulating Probabilistic Connectivity in Social Networks  Aravind Srinivasan
Zheleva Elena 2011 Prediction, Evolution and Privacy in Social and Affiliation Networks  Lise Getoor
Ma Kin Keung 2011 Improving Program Testing and Understanding via Symbolic Execution  Jeffrey Foster, Michael Hicks
Tiwari Ananta 2011 Turning Parallel Applications in Parallel  Jeffrey K. Hollingsworth
Kanagal Bhargav 2011 Scalable Statistical Modeling and Query Processing Over Large-Scale Uncertain Databases  Amol Deshpande
Saha Barna 2011 Approximation Algorithms for Resources Allocation  Samir Khuller
Kelley David 2011 Computational Methods to Improve Genome Assembly and Gene Prediction  Steven Salzberg
Trapnell Bruce 2010 Transcript Assembly and Abundance Estimation with High-Throughput RNA Sequencing  Steven Salzberg
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion  David Mount
Navlaka Saket 2010 Algorithms to Explore the Structure and Evolution of Biological Networks  Carl Kingsford
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
Cho Minkyoung 2010 Approximation Algorithms for Point Pattern Matching and Searching  David Mount
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics  Steven Salzberg
Ackermann Christopher 2010 Behavioral Reflexion Models for Software  Rance Cleaveland
Schwartz William 2010 Looking at People Using Partial Least Squares  Larry Davis
Almazan Christian 2010 Rover: Architectural Support for Exposing and Using Context  Ashok Agrawala
Bender Adam 2010 An Accountability Architecture for the Internet  Bobby Bhattacharjee
Bilgic Mustafa 2010 Cost-Sensitive Information Acquisition in Structured Domains  Lise Getoor