PhD Alumni

Last First Year Dissertation Advisorsort descending
Aboutabl Mohamed 1999 Temporally-determinate disk access for real-time applications
Andrade Henrique 2003 Multiple Query Optimization Support for Data Analysis Applications Joel Saltz
Benson Gary 1992 Two-dimensional periodicity and matching algorithms Amihood Amir
Cucka Peter 1996 Pattern classification methods in navigation and object recognition Azriel Rosenfeld
Doszkocs Tamas 1979 AID :!n associative interactive dictionary for online bibliographic searching
Forman Ira 1979 On the decomposition of programs into primes Mills
Ginat David 1989 Adaptive ordering of contending processes in distributed systems Shankar Agrawala
Horvitz David Omer 2007 Expressiveness of Definitions and Efficiency of Constructions in Computational Cryptography Virgil Gligor
Kolovski Vladimir 2008 Analyzing Web Access Control Policies using Description Logics Hendler
Liang De-Ron 1992 Synchronization issues in modeling parallel computation Satish Kumar Tripathi
Montemayor Jaime 2003 Physical Programming Hendler
Setia Sanjeev 1993 Scheduling on multiprogrammed, distributed memory parallel computers Satish Kumar Tripathi
Wu Xue 2008 Improving the Performance and Precision of Bioinformatics Algorithms
Baggett David 1992
Gobioff Howard 1993
Abrams Marc 1986 Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model
Cui Qian 1989 Data-oriented exception handling John D. Gannon
Gishen Jeffrey 1978 A method for the formal derivation of programs and its applicability to automatic program synthesis R.E. Noonan
Hwang Shang-Sho 1984 Evidence accumulation for spatial reasoning in aerial image understanding Azriel Rosenfeld
Kambhampati Subbarao 1989 Flexible reuse and modification in hierarchical planning Hendler
Liao Chunyuan 2008 "PapierCraft": A New Paper-Based Interface to Support Interaction with Digital Documents
Moon Bongki 1996 Data placement for high performance spatio-temporal databases Joel Saltz
Parikh Josephine 1977 Automatic cloud classification and segmentation Azriel Rosenfeld
Shaffer Jeffrey 1978 Automatic subroutine generation in an optimizing compiler Matthew Hecht
Thompson Scott 1994 Growth models for shapes Azriel Rosenfeld
Upton Richard 1984 A treatment analysis of computer communication networks Satish Kumar Tripathi
Brin Sergey 1993
Kang Chanhyun 2015 Diffusion, Infection and Social (Information) Network Database
Angiuoli Samuel 2011 Methods for High-Throughput Comparative Genomics and Distributed Sequence Analysis Steven Salzberg
Beynon Michael 2001 Supporting Resource-Intensive Applications with Remote Data Sources in a Grid Environment Joel Saltz
Bultan Tevfik 1998 Automated Static Analysis with Composite Symbolic Models Richard Gerber
Chang Chialin 2001 Parallel aggregation on multi-dimensional scientific datasets Joel Saltz
Grinberg Milton 1980 A knowledge-based design environment for digital electronics Rieger
Hwang Yuan-Shin 1998 Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems Joel Saltz
Kamel Ibrahim 1994 High performance spatial indexing for parallel I/O and centralized architectures Christos Faloutsos
McFadden Frank 1993 Competitive learning and competitive activation in cortical map formation
Postow Brian 2002 Object based computation Carl Herbert Smith
Saksena Manas 1994 Parametric Scheduling for Hard Real-Time Systems Gerber Agrawala
Shakarian Paulo 2011 Spatio-Temporal Reasoning About Agent Behavior
Urhan Tolga 2002 Reactive Query Processing for Coping with Delays on Wide-Area Environments Michael J. Franklin
Antoy Sergio 1987 Automatically provable specifications John D. Gannon
Bhagwat Pravin 1995 A framework for integrating mobile hosts within the Internet Satish Kumar Tripathi
Byun Do-Jun 2007 Congestion Control in Satellite Networks John S. Baras
Evett Matthew 1994 PARKA: A System for Massively Parallel Knowledge Representation Hendler
Frederickson Greg 1977 Approximation algorithms for NP-hard routing problems Matthew Hecht
Hartley Ralph 1984 Multi-scale models in image analysis Azriel Rosenfeld
Korn Philip 1998 Indexing and Mining Medical Image and Multimedia Databases Christos Faloutsos
Lowe George 1979 Heuristic approaches to the decomposition of sparse matrices Werner C. Rheinboldt
Navlaka Saket 2010 Algorithms to Explore the Structure and Evolution of Biological Networks Carl Kingsford
Shapiro Bruce 1978 Shape description using boundary sequences Azriel Rosenfeld