PhD Alumni

Last First Yearsort descending Dissertation Advisor
White Elizabeth 1995 Control integration in heterogeneous distributed software applications James Purtilo
Siy Harvey 1996 Identifying the mechanisms driving code inspection costs and benefits Adam Porter
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
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 Chih-Lung 1996 Context based approaches for aerial image exploitation Ramalingam Chellappa
Ruiz Carolina 1996 Semantics of Knowledge Based Systems with Multiple Forms of Negation Jack Minker
Chou Hui-Hsien 1996 Self-replicating structures in a cellular automata space James Reggia
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
Cheong Loong-Fah 1996 Distortion of space due to perceived motion John Aloimonos
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
Chechik Maria 1996 Automatic analysis of consistency between requirements and designs John D. Gannon
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
Seaman Carolyn 1996 Organizational issues in software development :!n empirical study of communication Victor Basili
Adali Sibel 1996 Query Processing in Hetergenous Mediated Systems
Gryz Jaroslaw 1997 Syntactic and Semantic Optimization of Database Queries Jack Minker
Sahinalp S. Cenk 1997 Locally consistent parsing for string processing Uzi Vishkin
Candan Kasim 1997 A framework for distributed multimedia collaborations
Smith Stephen 1997 Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture Dana Nau
Mendonca Manoel 1997 An approach to improving existing measurement frameworks in software development organizations Victor Basili
Thomas William 1997 Evolutionary approaches for software engineering empirical modeling Victor Basili
Baratoff Gregory 1997 Distortion of Stereoscopic Visual Space John Aloimonos
Chen Yinong 1997 A motor control model based on self-organizing feature maps James Reggia
Song Junehwa 1997 Structured multimedia documents :$esign and presentation in a distributed environment Raymond Miller
Morimoto Carlos 1997 Electronic digital image stabilization :$esign and evaluation, with applications Ramalingam Chellappa
Choi Seonho 1997 Dynamic time-based scheduling for hard real-time systems Ashok Agrawala
Korn Philip 1998 Indexing and Mining Medical Image and Multimedia Databases Christos Faloutsos
Kandogan Eser 1998 Extending Spatial Organization, Manipulation and Access of Information in Windowing Systems Ben Shneiderman
Rosser Evan 1998 Fine-Grained Analysis for Generating Better Communication and Synchronization William Pugh
Hwang Eenjun 1998 A Framework For Distributed Video-on-Demand Services
Hwang Yuan-Shin 1998 Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems Joel Saltz
Park Jun-cheol 1998 Automatic Synthesis of Time Dependent Communication Protocols Raymond Miller
Stathatos Konstantinos 1998 Adaptive Techniques for Hybrid Delivery Nicholas Roussopoulos
Pu Fan-tao 1998 Data Structures for Global Illumination Computation and Visibility Queries in 3-Space David Mount
Glenn James 1998 Implementing WSIS via Finite Automata William Gasarch
Kohout Robert 1998 Guaranteeing safety in the presence of moving obstacles Hendler
Lee Sung 1998 A Study of Cyclone Technology Ashok Agrawala
Bhatia Randeep 1998 Approximation Algorithms for Scheduling Problems Samir Khuller
Davis Cynthia 1998 Supporting Intermittent Connectivity in Mobile Networks Satish Kumar Tripathi
Matos Gilberto 1998 Analysis and applications of receptive safety properties in concurrent systems James Purtilo
Welch Donald 1998 Building self-reconfiguring distributed virtual environments James Purtilo
Bultan Tevfik 1998 Automated Static Analysis with Composite Symbolic Models Richard Gerber
Gharai Ladan 1998 Multi-Platform Performance Models for Digital Video Systems Richard Gerber
Shull Forrest 1998 Developing Techniques for Using Software Documents: A Series of Empirical Studies Victor Basili
Jonsson Bjorn 1999 Application-oriented buffering and caching techniques Michael J. Franklin
Potter Richard 1999 Pixel Data Access: Interprocess Communication in the User Interface for End-User Programming and Graphical Macros Ben Shneiderman

Pages