PhD Alumni

Last First Year Dissertation Advisorsort descending
Milton Leslie 2016 User Behavioral Modeling of Web-based Systems for Continuous User Authentication Atif Memon
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction Atif Memon
Xie Qing 2006 Developing Cost-Effective Model-Based Techniques for GUI Testing Atif Memon
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation Atif Memon
Robbins Bryan 2016 A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests Atif Memon
Eaton Cyntrica 2007 A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications Atif Memon
Banerjee Ishan 2016 Event-Code Interaction Directed Test Cases Atif Memon
Elsaka Ethar 2016 Automated Software Debugging Using Hybrid Static/Dynamic Analysis Atif Memon
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases Atif Memon
Park Jun-cheol 1998 Automatic Synthesis of Time Dependent Communication Protocols Raymond Miller
Song Junehwa 1997 Structured multimedia documents :$esign and presentation in a distributed environment Raymond Miller
Arisha Khaled 2001 Fault management in networks using passive testing Raymond Miller
Liu Hong 1996 Automatic validation of multi-process communication protocols Raymond Miller
Giuliano Mark 1990 The Control and Execution of Parallel Logic Programs Jack Minker
Augustson J. Gary 1969 Experiments with Graph Theoretical Clustering Techniques Jack Minker
Gryz Jaroslaw 1997 Syntactic and Semantic Optimization of Database Queries Jack Minker
Godfrey Parke 1999 An Architecture and Implementation of a Cooperative Database System Jack Minker
McSkimin James 1976 Techniques for Employing Semantic Information in Question-Answering Systems Jack Minker
Pradhan Shekhar 2001 Reasoning with conflicting information in artificial intelligence and database theory Jack Minker
Gaasterland Terry 1992 Generating Cooperative Answers in Deductive Databases Jack Minker
Baral Chitta 1991 Issues in Knowledge Representation: Semantics and Knowledge Combination Jack Minker
Fernandez Redonet Jose 1994 Disjunctive Deductive Databases Jack Minker
Gal Annie 1988 Cooperative Responses in Deductive Databases Jack Minker
Lin Zheng 1992 A Distributed Fair Polling Scheme Applied to Or-Parallel Logic Batabases Jack Minker
Rajasekar Arcot 1989 Semantics of Disjunctive Logic Programs Jack Minker
Sherlekar Deepak 1987 Graph Dissection Techniques for VLSI and Algorithms Jack Minker
Ruiz Carolina 1996 Semantics of Knowledge Based Systems with Multiple Forms of Negation Jack Minker
Fishman Daniel 1973 Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search Jack Minker
Kasif Simon 1984 Analysis of Parallelism in Logic Programs Jack Minker
Kohli Madhur 1987 Controlling the Execution of Logic Programs Jack Minker
Lobo Jose 1990 Semantics for Normal Disjunctive Logic Programs Jack Minker
Chakravarthy Upendrana 1985 Semantic Query Optimization in Deductive Databases Jack Minker
Chandran Sharat 1989 Merging in parallel computational geometry David Mount
Cho Minkyoung 2010 Approximation Algorithms for Point Pattern Matching and Searching David Mount
Park Eunhui 2013 Dynamic Data Structures for Geometric Search and Retrieval David Mount
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion David Mount
Memarsadeghi Nargess 2007 Efficient Algorithms for Clustering and Interpolation of Large Spatial Data Sets David Mount
Netanyahu Nathan 1992 Computationally efficient algorithms for robust estimation David Mount, Azriel Rosenfeld
Pu Fan-tao 1998 Data Structures for Global Illumination Computation and Visibility Queries in 3-Space David Mount
Arya Sunil 1995 Nearest neighbor searching and applications David Mount
Atalay-Satoglu Fatma 2004 Spatial Decompositions for Geometric Interpolation and Efficient Rendering David Mount
Maneewongvatana Songrit 2001 Nearest Neighbor Searching in High Dimensional Spaces David Mount
Celik Cengiz 2006 New Approaches to Similarity Searching in Metric Spaces David Mount
Murphy Michael 2001 Geometric Algorithms in Control-Volume Meshing David Mount
Fonseca Guilherme 2007 Approximate Range Searching in the Absolute Error Model David Mount
Cheng Kan Leung 2014 Agent Modeling in Repeated Stochastic Games Dana Nau
Erol Kutluhan 1995 Hierarchical Task-Network Planning Systems: Formalization, Analysis, and Implementation Dana Nau
Lotem Amnon 2000 GraphHTN: Combining Planning Graphs and HTN Planning Dana Nau
Regli William 1995 Geometric Algorithms for the Recognition of Features from Solid Models Dana Nau
Alford Ronald 2014 Search Complexities for HTN Planning Dana Nau

Pages