PhD Alumni
Search Alumni
Displaying 51 - 100 of 1008
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| Gordon | Karen | 1981 | On the Construction of Representative Test Workloads | Ashok Agrawala |
| Chen | Bo-Shoe | 1982 | Event-based specification and verification of distributed systems |
Raymond T. Yeh |
| Kitchen | Leslie | 1982 | Local consistency and constraint filtering for structure matching and image analysis |
Azriel Rosenfeld |
| Kumar | Vipin | 1982 | A unified approach to problem solving search procedures | |
| Kushner | Todd | 1982 | A theoretical model of interprocessor communication for parallel image processing |
Azriel Rosenfeld |
| Hong | Tsaihong | 1982 | Pyramid methods in image analysis | Hanan Samet |
| Thareja | Ashok | 1982 | Buffer Allocation Policies For Message Switching Networks | Ashok Agrawala |
| Wood | Richard | 1982 | Computer aided program synthesis |
Rieger |
| Dunlop | Douglas | 1982 | An investigation of functional correctness issues | Victor Basili |
| Morell | Larry | 1983 | A theory of error-based testing |
Richard G. Hamlet |
| Lee | Chia-Hoang | 1983 | The use of shading in image segmentation and surface orientation estimation |
Azriel Rosenfeld |
| Arnold | Robert | 1983 | On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit |
Raymond T. Yeh |
| Kirby | Robert | 1983 | Iterative Parallel Labeling for Pattern Recognition |
Azriel Rosenfeld |
| Trigg | Randall | 1983 | A network-based approach to text handling for the online scientific community |
Rieger |
| Ramakrishnan | K. | 1983 | The Design and Analysis of Resource Allocation Policies in Distributed Systems | Ashok Agrawala |
| Hutchens | David | 1983 | Characterizing Software with Objective Measurements | Victor Basili |
| Stanfill | Craig | 1983 | Form and function :4he representation of machines |
Reiger |
| Woo | Nam | 1983 | A Pragmatic Parallel Computation Model and its Computer Architecture | Ashok Agrawala |
| Coolahan | James | 1984 | The specification of timing requirements for real-time systems using timed Petri nets | Nicholas Roussopoulos |
| Kasif | Simon | 1984 | Analysis of Parallelism in Logic Programs | |
| Wohn | Kwangyoen | 1984 | A contour-based approach to image flow | Larry Davis |
| Hwang | Shang-Sho | 1984 | Evidence accumulation for spatial reasoning in aerial image understanding |
Azriel Rosenfeld |
| Hartley | Ralph | 1984 | Multi-scale models in image analysis |
Azriel Rosenfeld |
| Upton | Richard | 1984 | A treatment analysis of computer communication networks |
Satish Kumar Tripathi |
| Lin | Kwei-Jay | 1985 | Atomic remote procedure cal |
John D. Gannon |
| Silberberg | Teresa | 1985 | Three dimensional object recognition using linear features and oriented model points | Larry Davis |
| Peng | Yun | 1985 | A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference | James Reggia |
| Chakravarthy | Upendrana | 1985 | Semantic Query Optimization in Deductive Databases | |
| Selby | Richard | 1985 | Evaluations of software technologies :4esting, CLEANROOM, and metrics | Victor Basili |
| Bail | William | 1985 | Algorithm Structure Analysis Using Hierarchical Abstract Computers | Marvin Zelkowitz |
| Bane | John | 1985 | Causal monitor generation for complex systems |
Rieger |
| Dunn | Stanley | 1985 | Recovering the orientation of textured surfaces | Larry Davis |
| Pawagi | Shaunak | 1986 | Incremental graph algorithms for parallel random access machines |
Ramakrishnan |
| Gopalakrishnan | Ponani | 1986 | Parellel Approximate Algorithms for Combinatorialy Hard Problems | |
| Singhal | Mukesh | 1986 | Concurrency Control Algorithms and their Performance in Replicated Database Systems | Ashok Agrawala |
| Velauthapillai | Mahendran | 1986 | On the inductive inference of programs with anomalies |
Carl Herbert Smith |
| Murphy | Jack | 1986 | Matrix computations by Monte Carlo optimization |
Edmundson |
| Lakshman | Tirunella | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
| Abrams | Marc | 1986 | Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model | |
| Lakshman | T.V. | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
| Subbarao | Muralidha | 1986 | Interpretation of visual motion:! computational study | Larry Davis |
| Kim | Chee | 1986 | Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications | Ashok Agrawala |
| Son | Sang | 1986 | On Reliability Mechanisms in Distributed Database Systems | Ashok Agrawala |
| Delatorre | Pilar | 1987 | Analysis of tries |
Gary Knott |
| Kang | Hyunchul | 1987 | On query processing in distributed database systems | Nicholas Roussopoulos |
| Motteler | Howard | 1987 | A mathematical model of static dataflow |
Carl Herbert Smith |
| Sherlekar | Deepak | 1987 | Graph Dissection Techniques for VLSI and Algorithms | |
| Kohli | Madhur | 1987 | Controlling the Execution of Logic Programs | |
| Antoy | Sergio | 1987 | Automatically provable specifications |
John D. Gannon |
| Fekete | Gyorgy | 1988 | Object recognition using property spheres | Larry Davis |