PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| 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 |
| 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 | ||
| 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 |
| 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 |
| 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 | Shang-Sho | 1984 | Evidence accumulation for spatial reasoning in aerial image understanding | Azriel Rosenfeld |
| Kambhampati | Subbarao | 1989 | Flexible reuse and modification in hierarchical planning | James Hendler |
| Liao | Chunyuan | 2008 | "PapierCraft": A New Paper-Based Interface to Support Interaction with Digital Documents | François Guimbretière |
| Montemayor | Jaime | 2003 | Physical Programming | Hendler |
| 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 |
| Yi | Byoung-Kee | 2000 | Similarity search and data mining in time sequence databases | Christos Faloutsos |
| He | Hua | 2018 | Architecture, Models, and Algorithms for Textual Similarity | Jimmy Lin |
| Srinivasan | Shravan | 2023 | Data Structures and Protocols for Scalability and Security of Distributed Consensus | |
| Choi | Seonho | 1997 | Dynamic time-based scheduling for hard real-time systems | 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 |
| 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 |
| 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 |