PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
Last | First | Graduation Year | Dissertation | Advisor(s) |
---|---|---|---|---|
Kelley | David | 2011 | Computational Methods to Improve Genome Assembly and Gene Prediction | Steven Salzberg |
Kohout | Robert | 1998 | Guaranteeing safety in the presence of moving obstacles | Hendler |
Margalit | Avraham | 1989 | Efficient image matching | Azriel Rosenfeld |
Ostertag | Eduardo | 1992 | A Classification system for software reuse | Hendler |
Rutkowski | Wallace | 1981 | Shape segmentation and labeling | Azriel Rosenfeld |
Shim | Kyuseok | 1993 | Advanced query optimization techniques for relational database systems | Timos Sellis |
Tung | Immanuel | 1977 | A language-acceptor type of probabilistic cellular automation | Edmundson |
Waltzman | Rand | 1989 | Geometric problem solving by machine visualization | Azriel Rosenfeld |
Kang | Chanhyun | 2015 | Diffusion, Infection and Social (Information) Network Database | 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 | V.S. Subrahmanian |
Chipman | Leslie | 2007 | Collaborative Technology for Young Children's Outdoor Education | Allison Druin |
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 |
Martinez | Maria Vanina | 2011 | Contributions to Personalizable Knowledge Integration | V.S. Subrahmanian |
Ray | Manjit | 2000 | Model-based Object Recognition Using Three-dimesional Invariants | Azriel Rosenfeld |
Shin | Christian | 2000 | The Roles of Document Structure in Document Image Retrieval and Classification | Azriel Rosenfeld |
Sliva | Amy | 2011 | Scalable Techniques for Behavioral Analysis and Forecasting | V.S. Subrahmanian |
Tunpan | Apinun | 2002 | A long-term rate scheduling framework for bulk data multicast dissemination in hybrid heterogeneous satellite-terrestrial networks | M. Scott Corson |
Wang | Yulu | 2018 | Selective Search Architectures and Brute Force Scan Techniques for Summarizing Social Media Posts | Jimmy Lin |
Maynord | Michael | 2023 | ||
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 |
Nagel | Roger | 1976 | Computer detection of freehand forgeries | Azriel Rosenfeld |
Phillippy | Adam | 2010 | Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics | Steven Salzberg |
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 |
Larsen | Ronald | 1981 | Control of Multiple Exponential Servers with Applications to Computer Systems | Ashok Agrawala |
Lakshman | T.V. | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
Woo | Nam | 1983 | A Pragmatic Parallel Computation Model and its Computer Architecture | Ashok Agrawala |
Katz | Moshe Matanya | 2023 | Software-Defined Software | Ashok Agrawala |
Choi | Seonho | 1997 | Dynamic time-based scheduling for hard real-time systems | Ashok Agrawala |
Kim | Chee | 1986 | Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications | Ashok Agrawala |
Moon | Soo-Mook | 1993 | Compile-time Parallelization of Non-numerical Code VLIW and Superscalar | Ashok Agrawala |
Son | Sang | 1986 | On Reliability Mechanisms in Distributed Database Systems | Ashok Agrawala |
Subramani | K. | 2000 | Duality in the Parametric Polytype and its Application to a scheduling Problem | Ashok Agrawala |
Agre | Jon | 1981 | Approximate Solutions to Queuing Networks with State Dependent Parameters | Ashok Agrawala |
Ricart | Glenn | 1980 | Efficient Synchronization Algorithms for Distributed Systems | Ashok Agrawala |