PhD Alumni

Last First Year Dissertation Advisorsort descending
Regli William 1995 Geometric Algorithms for the Recognition of Features from Solid Models Dana Nau
Cheng Kan Leung 2014 Agent Modeling in Repeated Stochastic Games Dana Nau
Alford Ronald 2014 Search Complexities for HTN Planning Dana Nau
Raboin Eric 2015 Model-Predictive Strategy Generation for Multi-Agent Pursuit-Evasion Games Dana Nau
Vanecek George 1989 Set Operations on Polyhedra using Decomposition Methods Dana Nau
Carr James Ryan 2013 Generation and Analysis of Strategies in an Evolutionary Social Learning Game Dana Nau
Ciocoiu Mihai 2002 Ontology-Based Translation Dana Nau
Yaman Fusun 2006 Declarative Reasoning about Moving Objects Dana Nau, V.S. Subrahmanian
Shivashankar Vikas 2015 Hierarchical Goal Networks: Formalisms and Algorithms for Learning and Acting Dana Nau
Karinthi Raghu 1990 An Algebraic Approach to Feature Interactions Dana Nau
Au Tsz-Chiu 2008 Synthesis of Strategies for Non-Zero-Sum Repeated Games Dana Nau
Kuter Uger 2006 Planning Under Uncertainty: Moving Forward Dana Nau
Chi Ping-Chung 1988 In Search of Better Decision Making in Computer Game Playing Dana Nau
Yang Qiang 1989 Improving the Efficiency of Planning Dana Nau
Ghosh Subrata 1994 Heuristic Search with Limited Resources Dana Nau
Smith Stephen 1997 Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture Dana Nau
Roos Patrick 2013 Evolutionary Game Theoretic Modeling of Decision-Making and Culture Dana Nau
Berlin Konstantin 2010 Protein-Protein Docking Using Long Range Nuclear Magnetic Resonance Constraints Dianne O'Leary
Zotenko Elena 2007 Computational Methods in Protein Structure Comparison and Analysis of Protein Interaction Networks Dianne O'Leary
Huang Chiou-Ming 1992 Preconditioning parallel multisplittings for solving systems of equations Dianne O'Leary
Park Sungwoo 2011 Matrix Reduction in Numerical Optimization Dianne O'Leary
Jung Jin Hyuk 2008 Adaptive Constraint Reduction for Convex Quadratic Programming and Training Support Vector Machine Dianne O'Leary
Demner-Fushman Dina 2006 Complex Question Answering Based on Semantic Domain Model of Clinical Medicine Doug Oard
Elsayed Tamer 2009 Identity Resolution in Email Collections Doug Oard
Drapkin Jennifer 1988 Step-logic :2easoning situated in time Don Perlis
Thomas Scott 2007 On an Apparent Limit to Verb Idiosyncrasy, given a Mapping between Argument Realization and Polysemy (or Argument Optionality) Don Perlis
Chong Wai-Yian 2006 Reflection Reasoning Don Perlis
Miller Michael 1993 A view of one's past and other aspects of reasoned change in belief Don Perlis
Purang Khemdut 2001 Systems that detect and repair their own mistakes Don Perlis
Haidarian Shahri Hamid 2011 On the Foundations of Data Interoperability and Semantic Search on the Web Don Perlis
Wilson Shomir 2011 A Computational Theory of the Use-Mention Distinction in Natural Language Don Perlis
Gordon Diana 1990 Active bias adjustment for incremental, supervised concept learning Don Perlis
Josyula Darsana 2005 A Unified Theory of Acting and Agency for A Universal Interfacing Agent Don Perlis
Koren Sergey 2012 Genome Assembly: Novel Applications by Harnessing Emerging Sequencing Technologies and Graph Algorithms Mihai Pop
Ghodsi Mohammadreza 2012 Searching, Clustering and Evaluating Biological Sequences Mihai Pop
Liu Bo 2012 Computational Metagenomics: Network, Classification and Assembly Mihai Pop
Hill Christopher 2015 Novel Methods for Comparing andEvaluating Single and Metagenomic Assemblies Mihai Pop
Wood Derrick 2014 Comparative and Computational Methods for Microbial Genomics Mihai Pop
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Yilmaz Cemal 2005 Distributed Continuous Quality Assurance Adam Porter
Kim Jung-Min 2001 Mechanisms Driving Costs and Benefits of Regression Test Selection Techniques Adam Porter
Song Charles 2011 Understanding, Discovering and Leveraging a Software System's Effective Configuration Space Adam Porter
Siy Harvey 1996 Identifying the mechanisms driving code inspection costs and benefits Adam Porter
Duggan Dominic 1990 A programming language and environment based on types as specifications William Pugh
Hovemeyer David 2005 Simple and Effective Static Analysis to Find Bugs William Pugh
Spacco Jaime 2006 Marmoset: a Programming Project Assignment Framework to Improve the Feedback Cycle for Students, Faculty and Researchers William Pugh
Rosser Evan 1998 Fine-Grained Analysis for Generating Better Communication and Synchronization William Pugh
Manson Jeremy 2004 The Java Memory Model William Pugh
Ayewah Nathaniel 2010 Static Analysis in Practice William Pugh
Wonnacott David 1995 Constraint-based array dependence analysis William Pugh