PhD Alumni

Last First Year Dissertation Advisorsort descending
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics Steven Salzberg
Reggia James 1981 Knowledge-Based Decision Support Systems: Development through KMS Rieger
Shin Ji Sun 2009 Enhancing Privacy in Cryptographic Protocols Virgil Gligor
Wang Kuang-yeh 1999 Improving Performance of Wireless Networks in the Internet Satish Kumar Tripathi
Wood Richard 1982 Computer aided program synthesis Rieger
Kumar Srijan 2017 Characterization and Detection of Malicious Behavior on the Web V.S. Subrahmanian
Abdel-Mottaleb Mohamed 1993 MAP Techniques for Motion, Stereo and Segmentation Azriel Rosenfeld
Bennet Thomas 1990 Using control states for parallelism extraction John D. Gannon
Broecheler Matthias 2011 Social Network Data Management
Chipman Leslie 2007 Collaborative Technology for Young Children's Outdoor Education
Ford Gary 1977 An investigation of embeddings of cellular spaces for cellular automata Edmundson
Kettler Brian 1995 Case-based Planning with a High-Performance Parallel Memory Hendler
Langmead Benjamin 2012 Algorithms and High Performance Computing Approaches for Sequencing-Based Comparative Genomics Steven Salzberg
London Philip 1978 Dependency Networks as a Representation for Modeling in General Problem Solvers Rieger
Nagel Roger 1976 Computer detection of freehand forgeries Azriel Rosenfeld
Saha Debanjan 1995 Supporting distributed multimedia applications on ATM networks Satish Kumar Tripathi
Udrea Octavian 2008 Scalable Ontology Systems
Wu Angela 1978 Cellular Graph Automata Azriel Rosenfeld
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
Moon Soo-Mook 1993 Compile-time Parallelization of Non-numerical Code VLIW and Superscalar Ashok Agrawala
Youssef Adel 2006 SALAM: A Scalable Anchor-Free Localization Algorithms for Wireless Sensor Networks Ashok Agrawala
Agre John 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Gordon Karen 1981 On the Construction of Representative Test Workloads Ashok Agrawala