PhD Alumni

Last First Year Dissertation Advisorsort ascending
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
Baral Chitta 1991 Issues in Knowledge Representation: Semantics and Knowledge Combination Jack Minker
Fernandez Redonet Jose 1994 Disjunctive Deductive Databases Jack Minker
Gaasterland Terry 1992 Generating Cooperative Answers in 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
Liu Hong 1996 Automatic validation of multi-process communication protocols Raymond Miller
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
Eaton Cyntrica 2007 A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications 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
Banerjee Ishan 2016 Event-Code Interaction Directed Test Cases Atif Memon
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases Atif Memon
Strecker Jaymie 2009 Accounting for Defect Characteristics in Emprical Studies of Software Testing Atif Memon
Elsaka Ethar 2016 Automated Software Debugging Using Hybrid Static/Dynamic Analysis Atif Memon
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction Atif Memon
Nguyen Bao 2013 Testing GUI-Based Software with Undetermined Input Spaces Atif Memon
Milton Leslie 2016 User Behavioral Modeling of Web-based Systems for Continuous User Authentication Atif Memon
Xie Qing 2006 Developing Cost-Effective Model-Based Techniques for GUI Testing Atif Memon
Wang Lidan 2012 Learning to Efficiently Rank
Asadi Nima 2013 Multi-Stage Search Architectures for Streaming Documents
Ture Ferhan 2013 Searching to Translate and Translating to Search: When Information Retrieval Meets Machine Translation
Sze Tsz Wo 2007 On Solving Univariate Polynomial Equations over Finite Fields and Some Related Problems Clyde Kruskal
Rappoport Kevin 1993 Efficiency in parallel computation :!lgorithms, emulations, and VLSI pins Clyde Kruskal
Gandhi Rajiv 2003 Broadcast Scheduling Samir Khuller
Malekian Azarakhsh 2009 Combinatorial Optimization and Electronic Commerce Samir Khuller
Alaei Saeed 2012 Mechanism Design with General Utilities Samir Khuller
Kashyap Srinivas 2007 Algorithms for Data Placement, Reconfiguration and Monitoring in Storage Networks Samir Khuller
Wan Yung 2005 Algorithms for Data Dissemination and Collection Samir Khuller
Kim Yoo 2005 Algorithms for Data Migration Samir Khuller
Saha Barna 2011 Approximation Algorithms for Resources Allocation Samir Khuller
Mukherjee Koyel 2013 Algorithmic Approaches to Reducing Resource Costs in Data Centers Samir Khuller
Bhatia Randeep 1998 Approximation Algorithms for Scheduling Problems Samir Khuller
Roberts Michael 2003 Detailed differential dynamic programming algorithm for bang-bang control problems Samir Khuller
Sussmann Yoram 1999 Approximation Algorithms for Facility Location Problems Samir Khuller
Mestre Julian 2007 Primal-Dual Algorithms for Combinatorial Optimization Problems Samir Khuller
Sarpatwar Kanthi Kiran 2015 Allocation Algorithms for Networks with Scarce Resources Samir Khuller
Purohit Manish 2016 Data-Aware Scheduling in Datacenters Samir Khuller
Cetintemel Ugur 2001 Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments Pete Keleher
Thitikamol Kritchalach 2000 Dynamic Software DSM Systems Pete Keleher
Silaghi Bujor-Dorin 2003 Replication Techniques for Peer-to-Peer Networks Pete Keleher
Kumaresan Ranjit 2012 Broadcast and Verifiable Secret Sharing: New Security Models and Round Optimal Constructions Jonathan Katz
Gordon Samuel 2010 Fairness in Secure Computation Jonathan Katz
Yerukhimovich Arkady 2011 A Study of Separations in Cryptography: New Results and New Models Jonathan Katz