PhD Alumni
Search Alumni
Displaying 251 - 300 of 1008
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| 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 |
| Moon | Bongki | 1996 | Data placement for high performance spatio-temporal databases |
Joel Saltz |
| Chechik | Maria | 1996 | Automatic analysis of consistency between requirements and designs |
John D. Gannon |
| Agrawal | Gagan | 1996 | Interprocedural code placement techniques and their applications |
Joel Saltz |
| Lin | Chih-Lung | 1996 | Context based approaches for aerial image exploitation | |
| 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 |
| Blakemore | William | 1996 | Efficient analysis of Generalized Stochastic Petri Nets |
Satish Kumar Tripathi |
| 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 |
| Liu | Hong | 1996 | Automatic validation of multi-process communication protocols | |
| Kelly | Wayne | 1996 | Optimization within a Unified Transformation Framework | William Pugh |
| Cheong | Loong-Fah | 1996 | Distortion of space due to perceived motion | John Aloimonos |
| 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 |
| Smith | Stephen | 1997 | Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture | Dana Nau |
| Choi | Seonho | 1997 | Dynamic time-based scheduling for hard real-time systems | Ashok Agrawala |
| Thomas | William | 1997 | Evolutionary approaches for software engineering empirical modeling | Victor Basili |
| Gryz | Jaroslaw | 1997 | Syntactic and Semantic Optimization of Database Queries | |
| Candan | Kasim | 1997 | A framework for distributed multimedia collaborations | |
| Chen | Yinong | 1997 | A motor control model based on self-organizing feature maps | James Reggia |
| Sahinalp | S. Cenk | 1997 | Locally consistent parsing for string processing | Uzi Vishkin |
| Song | Junehwa | 1997 | Structured multimedia documents :$esign and presentation in a distributed environment | |
| Mendonca | Manoel | 1997 | An approach to improving existing measurement frameworks in software development organizations | Victor Basili |
| Morimoto | Carlos | 1997 | Electronic digital image stabilization :$esign and evaluation, with applications | |
| Baratoff | Gregory | 1997 | Distortion of Stereoscopic Visual Space | John Aloimonos |
| Kohout | Robert | 1998 | Guaranteeing safety in the presence of moving obstacles |
Hendler |
| Stathatos | Konstantinos | 1998 | Adaptive Techniques for Hybrid Delivery | Nicholas Roussopoulos |
| Hwang | Eenjun | 1998 | A Framework For Distributed Video-on-Demand Services | |
| Matos | Gilberto | 1998 | Analysis and applications of receptive safety properties in concurrent systems | James Purtilo |
| Bultan | Tevfik | 1998 | Automated Static Analysis with Composite Symbolic Models |
Richard Gerber |
| Hwang | Yuan-Shin | 1998 | Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems |
Joel Saltz |
| Glenn | James | 1998 | Implementing WSIS via Finite Automata | William Gasarch |
| Korn | Philip | 1998 | Indexing and Mining Medical Image and Multimedia Databases |
Christos Faloutsos |
| Park | Jun-cheol | 1998 | Automatic Synthesis of Time Dependent Communication Protocols | |
| Shull | Forrest | 1998 | Developing Techniques for Using Software Documents: A Series of Empirical Studies | Victor Basili |
| Bhatia | Randeep | 1998 | Approximation Algorithms for Scheduling Problems | Samir Khuller |
| Davis | Cynthia | 1998 | Supporting Intermittent Connectivity in Mobile Networks |
Satish Kumar Tripathi |
| Kandogan | Eser | 1998 | Extending Spatial Organization, Manipulation and Access of Information in Windowing Systems | Ben Shneiderman |
| Welch | Donald | 1998 | Building self-reconfiguring distributed virtual environments | James Purtilo |
| Lee | Sung | 1998 | A Study of Cyclone Technology | Ashok Agrawala |
| Pu | Fan-tao | 1998 | Data Structures for Global Illumination Computation and Visibility Queries in 3-Space | David Mount |
| Rosser | Evan | 1998 | Fine-Grained Analysis for Generating Better Communication and Synchronization | William Pugh |
| Gharai | Ladan | 1998 | Multi-Platform Performance Models for Digital Video Systems |
Richard Gerber |
| Zhang | Zhijun | 1999 | The Design and Empirical Studies of Perspective-Based Usability Inspection | Victor Basili |
| Aboutabl | Mohamed | 1999 | Temporally-determinate disk access for real-time applications | |
| Zhao | Wei | 1999 | Adaptive streaming of scalable multimedia over heterogeneous environments | |
| Haritaoglu | Ismail | 1999 | A Real Time System for Detection and Tracking of People and Monitoring their Activities | Larry Davis |
| Wang | Kuang-yeh | 1999 | Improving Performance of Wireless Networks in the Internet |
Satish Kumar Tripathi |