PhD Alumni

Search Alumni

Select a year
Displaying 351 - 400 of 948
Last First Graduation Year Dissertation Advisor(s)
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
Broecheler Matthias 2011 Social Network Data Management  V.S. Subrahmanian
Kelley David 2011 Computational Methods to Improve Genome Assembly and Gene Prediction  Steven Salzberg
Li Jian 2011 Decision Making Under Uncertainty  Amol Deshpande
Martinez Maria Vanina 2011 Contributions to Personalizable Knowledge Integration  V.S. Subrahmanian
Sliva Amy 2011 Scalable Techniques for Behavioral Analysis and Forecasting  V.S. Subrahmanian
Monner Derek 2011 A Neurocomputational Model of Grounded Language Comprehension And Production at the Sentence Level  James Reggia
Yerukhimovich Arkady 2011 A Study of Separations in Cryptography: New Results and New Models  Jonathan Katz
Angiuoli Samuel 2011 Methods for High-Throughput Comparative Genomics and Distributed Sequence Analysis  Steven Salzberg
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
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
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
Shakarian Paulo 2011 Spatio-Temporal Reasoning About Agent Behavior  V.S. Subrahmanian
Siddiquie Behjat 2011 Image Retrieval based on Complex Descriptive Queries  Larry Davis
Weiss Kenneth 2011 Diamond-Based Models for Scientific Visualization  Leila De Floriani
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
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
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
Huang Zhongqiang 2011 Modeling Dependencies in Natural Languages with Latent Variables  Philip Resnik
Simari Gerardo 2010 Stochastic Reasoning with Action Probabilistic Logic Programs  V.S. Subrahmanian
Trapnell Bruce 2010 Transcript Assembly and Abundance Estimation with High-Throughput RNA Sequencing  Steven Salzberg
Schatz Michael 2010 High Performance Computing for DNA Sequence Alignment and Assembly  Steven Salzberg
Schwartz William 2010 Looking at People Using Partial Least Squares  Larry Davis
Srivastava Saurabh 2010 Satisfiability-Based Program Reasoning and Synthesis Jeffrey Foster
Almazan Christian 2010 Rover: Architectural Support for Exposing and Using Context  Ashok Agrawala
Bender Adam 2010 An Accountability Architecture for the Internet  Bobby Bhattacharjee
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
Tas Nazif 2010 Link Adaptation in Wireless Networks: A Cross-Layer Approach  Ashok Agrawala
Berlin Konstantin 2010 Protein-Protein Docking Using Long Range Nuclear Magnetic Resonance Constraints  Dianne O'Leary
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 
Seng Chuk 2010 Robust Trust Establishment in Decentralized Networks  William Arbaugh
Snover Matthew 2010 Improving Statistical Machine Translation Using Comparable Corpora  Bonnie Dorr
Wang Taowei 2010 Interactive Visualization Techniques for Searching Temporal Categorical Data  Ben Shneiderman
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion  David Mount
Morariu Vlad 2010 Analyzing Structured Scenarios by Tracking People and Their Limbs  Larry Davis
Navlaka Saket 2010 Algorithms to Explore the Structure and Evolution of Biological Networks  Carl Kingsford
Yoon Ilchul 2010 Compatibility Testing for Component-based Systems  Alan Sussman