PhD Alumni

Last First Year Dissertation Advisor
Sahinalp S. Cenk 1997 Locally consistent parsing for string processing Uzi Vishkin
Smith Stephen 1997 Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture Dana Nau
Song Junehwa 1997 Structured multimedia documents :$esign and presentation in a distributed environment Raymond Miller
Thomas William 1997 Evolutionary approaches for software engineering empirical modeling Victor Basili
Adali Sibel 1996 Query Processing in Hetergenous Mediated Systems
Agrawal Gagan 1996 Interprocedural code placement techniques and their applications Joel Saltz
Blakemore William 1996 Efficient analysis of Generalized Stochastic Petri Nets Satish Kumar Tripathi
Chechik Maria 1996 Automatic analysis of consistency between requirements and designs John D. Gannon
Cheong Loong-Fah 1996 Distortion of space due to perceived motion John Aloimonos
Chou Hui-Hsien 1996 Self-replicating structures in a cellular automata space James Reggia
Cucka Peter 1996 Pattern classification methods in navigation and object recognition Azriel Rosenfeld
Fischer Jeffrey 1996 Compositional verification by model checking for counter-examples Richard Gerber
Gavrila Dariu 1996 Vision-based 3-D tracking of humans in action Larry Davis
Kim Taehyeong 1996 Toward optimizing distributed programs directed by configurations James Purtilo
Lin Chih-Lung 1996 Context based approaches for aerial image exploitation Ramalingam Chellappa
Lin King-Ip 1996 Indexing Non-traditional and Multimedia Data Types Christos Faloutsos
Liu Hong 1996 Automatic validation of multi-process communication protocols Raymond Miller
Lott Christopher 1996 Measurement-based feedback in a process-centered software engineering environment Victor Basili
Moon Bongki 1996 Data placement for high performance spatio-temporal databases Joel Saltz
Ruiz Carolina 1996 Semantics of Knowledge Based Systems with Multiple Forms of Negation Jack Minker
Seaman Carolyn 1996 Organizational issues in software development :!n empirical study of communication Victor Basili
Siy Harvey 1996 Identifying the mechanisms driving code inspection costs and benefits Adam Porter
Arya Sunil 1995 Nearest neighbor searching and applications David Mount
Bhagwat Pravin 1995 A framework for integrating mobile hosts within the Internet Satish Kumar Tripathi
Carr David 1995 A compact graphical representation of user interface interaction objects Ben Shneiderman
Chang Ya-Hui 1995 Interoperable query processing for relational and object-oriented databases :! mapping approach using canonical representations Bonnie Dorr
Chen Chia-Mei 1995 Scheduling issues in real-time systems Satish Kumar Tripathi
Chen Chen 1995 Configuration-level programming of distributed applications using implicit invocation James Purtilo
Cheng Sheng-Tzong 1995 Scheduling and allocation in multiprocessor systems Ashok Agrawala
Duric Zoran 1995 Geometric methods in visual motion analysis Azriel Rosenfeld
Erol Kutluhan 1995 Hierarchical Task-Network Planning Systems: Formalization, Analysis, and Implementation Dana Nau
Esperanca Claudio 1995 Orthogonal objects and their application in spatial databases Hanan Samet
Hwang Shyh-In 1995 Time-Based Off-line Overload Scheduling for Hard Real-Time Systems Ashok Agrawala
Kettler Brian 1995 Case-based Planning with a High-Performance Parallel Memory Hendler
Matta Ibrahim 1995 Fast evaluation and dynamic control of integrated services networks A. Udaya Shankar
Regli William 1995 Geometric Algorithms for the Recognition of Features from Solid Models Dana Nau
Saha Debanjan 1995 Supporting distributed multimedia applications on ATM networks Satish Kumar Tripathi
Sivan Ron 1995 Surface modeling using quadtrees Hanan Samet
Soffer Aya 1995 Retrieval by content in symbolic-image databases Hanan Samet
White Elizabeth 1995 Control integration in heterogeneous distributed software applications James Purtilo
Wonnacott David 1995 Constraint-based array dependence analysis William Pugh
Abd-El-Hafiz Salwa 1994 A Knowledge-Based Approach to Program Understanding Victor Basili
Akyurek Sedat 1994 Adaptive disk management Salem
Armentrout Steven 1994 A Computational Treory of Map Reorganization James Reggia
Chen Chungmin 1994 Adaptive database systems based on query feedback and cached results Nicholas Roussopoulos
Evett Matthew 1994 PARKA: A System for Massively Parallel Knowledge Representation Hendler
Fernandez Redonet Jose 1994 Disjunctive Deductive Databases Jack Minker
Ghosh Subrata 1994 Heuristic Search with Limited Resources Dana Nau
Hong Seongsoo 1994 Compiler-assisted scheduling for real-time applications :! static alternative to low-level tuning Richard Gerber
Kamel Ibrahim 1994 High performance spatial indexing for parallel I/O and centralized architectures Christos Faloutsos

Pages