PhD Alumni

Last First Year Dissertation Advisorsort ascending
Lin Zheng 1992 A Distributed Fair Polling Scheme Applied to Or-Parallel Logic Batabases Jack Minker
Gal Annie 1988 Cooperative Responses in Deductive Databases 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
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
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
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation Atif Memon
Eaton Cyntrica 2007 A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications 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
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
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
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
Silaghi Bujor-Dorin 2003 Replication Techniques for Peer-to-Peer Networks Pete Keleher
Cetintemel Ugur 2001 Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments Pete Keleher
Thitikamol Kritchalach 2000 Dynamic Software DSM Systems Pete Keleher
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy Jonathan Katz
Malozemoff Alexis 2016 Efficient Secure Computation for Real-world Settings and Security Models Jonathan Katz
Miller Andrew 2016 Provable Security for Cryptocurrencies Jonathan Katz

Pages