PhD Alumni
Search Alumni
Displaying 51 - 100 of 948
Last | First | Graduation Year | Dissertation | Advisor(s) |
---|---|---|---|---|
Rutkowski | Wallace | 1981 | Shape segmentation and labeling | 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 |
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 |
Woo | Nam | 1983 | A Pragmatic Parallel Computation Model and its Computer Architecture | Ashok Agrawala |
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 |
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 |
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 |
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 |
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 | |
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 |
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 |
Antoy | Sergio | 1987 | Automatically provable specifications | John D. Gannon |
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 | |
Drapkin | Jennifer | 1988 | Step-logic :2easoning situated in time | Don Perlis |