PhD Alumni

Last First Yearsort ascending Dissertation Advisor
Cui Qian 1989 Data-oriented exception handling John D. Gannon
Huang Yennun 1989 Resource allocation with fault tolerance Satish Kumar Tripathi
Jou Emery 1989 Minimal energy splines Gary Don Knott
Margalit Avraham 1989 Efficient image matching Azriel Rosenfeld
Chu Jiang-Hsing 1989 An analysis of caching with an application to binary storage trees Gary Don Knott
Rajasekar Arcot 1989 Semantics of Disjunctive Logic Programs Jack Minker
Yuan Shyan-Ming 1989 An Efficient Communication Structure for Decentralized Algorithms with Fault Tolerance Ashok Agrawala
Hung Yubin 1988 Processing geometric representations on SIMD computers Azriel Rosenfeld
Drapkin Jennifer 1988 Step-logic :2easoning situated in time Don Perlis
Fekete Gyorgy 1988 Object recognition using property spheres Larry Davis
Pearson Glenn 1988 Foot-operated cursor-position controls for computer workstations :$esign, implementation, and evaluation Ben Shneiderman
Nelson Randal 1988 Visual navigation John Aloimonos
Levi Shem-Tov 1988 A Methodology for Designing Distributed, Fault-Tolerant, and Reactive Real-Time Operating Systems Ashok Agrawala
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
Chi Ping-Chung 1988 In Search of Better Decision Making in Computer Game Playing Dana Nau
Gal Annie 1988 Cooperative Responses in Deductive Databases Jack Minker
Delatorre Pilar 1987 Analysis of tries Gary Knott
Singh Jagdeep 1987
Sherlekar Deepak 1987 Graph Dissection Techniques for VLSI and Algorithms Jack Minker
Motteler Howard 1987 A mathematical model of static dataflow Carl Herbert Smith
Kang Hyunchul 1987 On query processing in distributed database systems Nicholas Roussopoulos
Kohli Madhur 1987 Controlling the Execution of Logic Programs Jack Minker
Antoy Sergio 1987 Automatically provable specifications John D. Gannon
Abrams Marc 1986 Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model
Pawagi Shaunak 1986 Incremental graph algorithms for parallel random access machines Ramakrishnan
Lakshman Tirunella 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Lakshman T.V. 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Son Sang 1986 On Reliability Mechanisms in Distributed Database Systems Ashok Agrawala
Gopalakrishnan Ponani 1986 Parellel Approximate Algorithms for Combinatorialy Hard Problems Laveen Kanal
Murphy Jack 1986 Matrix computations by Monte Carlo optimization Edmundson
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
Kim Chee 1986 Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications Ashok Agrawala
Subbarao Muralidha 1986 Interpretation of visual motion:! computational study Larry Davis
Bail William 1985 Algorithm Structure Analysis Using Hierarchical Abstract Computers Marvin Zelkowitz
Selby Richard 1985 Evaluations of software technologies :4esting, CLEANROOM, and metrics Victor Basili
Bane John 1985 Causal monitor generation for complex systems Rieger
Chakravarthy Upendrana 1985 Semantic Query Optimization in Deductive Databases Jack Minker
Dunn Stanley 1985 Recovering the orientation of textured surfaces Larry Davis
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
Lin Kwei-Jay 1985 Atomic remote procedure cal John D. Gannon
Upton Richard 1984 A treatment analysis of computer communication networks Satish Kumar Tripathi
Kasif Simon 1984 Analysis of Parallelism in Logic Programs Jack Minker
Coolahan James 1984 The specification of timing requirements for real-time systems using timed Petri nets Nicholas Roussopoulos
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
Lee Chia-Hoang 1983 The use of shading in image segmentation and surface orientation estimation Azriel Rosenfeld

Pages