PhD Alumni

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