PhD Alumni
Search Alumni
Displaying 901 - 950 of 1008
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| Dasigi | Venugopal | 1988 | Word sense disambiguation in descriptive text interpretation :! dual-route parsimonious covering model | James Reggia |
| Dillencourt | Michael | 1988 | Graph-theoretical properties of algorithms involving Delaunay triangulations | Hanan Samet |
| Drapkin | Jennifer | 1988 | Step-logic :2easoning situated in time | Don Perlis |
| Fekete | Gyorgy | 1988 | Object recognition using property spheres | Larry Davis |
| Gal | Annie | 1988 | Cooperative Responses in Deductive Databases | |
| Hung | Yubin | 1988 | Processing geometric representations on SIMD computers |
Azriel Rosenfeld |
| Levi | Shem-Tov | 1988 | A Methodology for Designing Distributed, Fault-Tolerant, and Reactive Real-Time Operating Systems | Ashok Agrawala |
| Nelson | Randal | 1988 | Visual navigation | John Aloimonos |
| Pearson | Glenn | 1988 | Foot-operated cursor-position controls for computer workstations :$esign, implementation, and evaluation | Ben Shneiderman |
| 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 |
| Kohli | Madhur | 1987 | Controlling the Execution of Logic Programs | |
| Motteler | Howard | 1987 | A mathematical model of static dataflow |
Carl Herbert Smith |
| Sherlekar | Deepak | 1987 | Graph Dissection Techniques for VLSI and Algorithms | |
| Abrams | Marc | 1986 | Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model | |
| Gopalakrishnan | Ponani | 1986 | Parellel Approximate Algorithms for Combinatorialy Hard Problems | |
| Kim | Chee | 1986 | Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications | Ashok Agrawala |
| Lakshman | T.V. | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
| Lakshman | Tirunella | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
| Murphy | Jack | 1986 | Matrix computations by Monte Carlo optimization |
Edmundson |
| Pawagi | Shaunak | 1986 | Incremental graph algorithms for parallel random access machines |
Ramakrishnan |
| Singhal | Mukesh | 1986 | Concurrency Control Algorithms and their Performance in Replicated Database Systems | Ashok Agrawala |
| Son | Sang | 1986 | On Reliability Mechanisms in Distributed Database Systems | Ashok Agrawala |
| Subbarao | Muralidha | 1986 | Interpretation of visual motion:! computational study | Larry Davis |
| Velauthapillai | Mahendran | 1986 | On the inductive inference of programs with anomalies |
Carl Herbert Smith |
| Bail | William | 1985 | Algorithm Structure Analysis Using Hierarchical Abstract Computers | Marvin Zelkowitz |
| Bane | John | 1985 | Causal monitor generation for complex systems |
Rieger |
| Chakravarthy | Upendrana | 1985 | Semantic Query Optimization in Deductive Databases | |
| Dunn | Stanley | 1985 | Recovering the orientation of textured surfaces | Larry Davis |
| Lin | Kwei-Jay | 1985 | Atomic remote procedure cal |
John D. Gannon |
| Peng | Yun | 1985 | A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference | James Reggia |
| Selby | Richard | 1985 | Evaluations of software technologies :4esting, CLEANROOM, and metrics | Victor Basili |
| Silberberg | Teresa | 1985 | Three dimensional object recognition using linear features and oriented model points | Larry Davis |
| Coolahan | James | 1984 | The specification of timing requirements for real-time systems using timed Petri nets | Nicholas Roussopoulos |
| Hartley | Ralph | 1984 | Multi-scale models in image analysis |
Azriel Rosenfeld |
| Hwang | Shang-Sho | 1984 | Evidence accumulation for spatial reasoning in aerial image understanding |
Azriel Rosenfeld |
| Kasif | Simon | 1984 | Analysis of Parallelism in Logic Programs | |
| Upton | Richard | 1984 | A treatment analysis of computer communication networks |
Satish Kumar Tripathi |
| Wohn | Kwangyoen | 1984 | A contour-based approach to image flow | Larry Davis |
| Arnold | Robert | 1983 | On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit |
Raymond T. Yeh |
| Hutchens | David | 1983 | Characterizing Software with Objective Measurements | Victor Basili |
| Kirby | Robert | 1983 | Iterative Parallel Labeling for Pattern Recognition |
Azriel Rosenfeld |
| Lee | Chia-Hoang | 1983 | The use of shading in image segmentation and surface orientation estimation |
Azriel Rosenfeld |
| Morell | Larry | 1983 | A theory of error-based testing |
Richard G. Hamlet |
| Ramakrishnan | K. | 1983 | The Design and Analysis of Resource Allocation Policies in Distributed Systems | Ashok Agrawala |
| Stanfill | Craig | 1983 | Form and function :4he representation of machines |
Reiger |
| Trigg | Randall | 1983 | A network-based approach to text handling for the online scientific community |
Rieger |
| Woo | Nam | 1983 | A Pragmatic Parallel Computation Model and its Computer Architecture | Ashok Agrawala |
| Chen | Bo-Shoe | 1982 | Event-based specification and verification of distributed systems |
Raymond T. Yeh |