PhD Alumni

Displaying 201 - 250 of 806
Last First Graduation Year Dissertation Advisor
Namata Galileo 2012 Identifying Graphs from Noisy Observational Data  Lise Getoor
Lee Jaehwan 2012 Decentralized Resource Orchestration for Heterogeneous Grids  Alan Sussman
Han Bo 2012 Improving Wireless Efficiency: MAC and Above Aravind Srinivasan
Huynh Thuan 2012 Extracting Symbolic Representations Learned by Neural Networks  James Reggia
Langmead Benjamin 2012 Algorithms and High Performance Computing Approaches for Sequencing-Based Comparative Genomics  Steven Salzberg
Chen Nicholas 2012 The Use of Multiple Slate Devices to Support Active Reading Activities  François Guimbretière
Siddiquie Behjat 2011 Image Retrieval based on Complex Descriptive Queries  Larry Davis
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
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
Filimonov Denis 2011 Decision Tree-Based Syntactic Language Modeling  Philip Resnik
Mah Matthew 2011 Time-Based Location Techniques Using Inexpensive, Unsynchronized Clocks in Wireless Networks  Ashok Agrawala
Sliva Amy 2011 Scalable Techniques for Behavioral Analysis and Forecasting  V.S. Subrahmanian
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