PhD Alumni
Search Alumni
Displaying 101 - 150 of 1007
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| Doermann | David | 1993 | Document image understanding :)ntegrating recovery and interpretation |
Azriel Rosenfeld |
| Jou | Emery | 1989 | Minimal energy splines |
Gary Don Knott |
| Murphy | Jack | 1986 | Matrix computations by Monte Carlo optimization |
Edmundson |
| Stanfill | Craig | 1983 | Form and function :4he representation of machines |
Reiger |
| Tsuneto-Rager | Reiko | 1999 | Efficient Refinement Strategies for HTN Planning |
Hendler |
| Yang | Jae-Heon | 1994 | Scalable synchronization in shared memory multiprocessing systems |
James H. Anderson |
| 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 |
| Hong | Seongsoo | 1994 | Compiler-assisted scheduling for real-time applications :! static alternative to low-level tuning |
Richard Gerber |
| 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 |
| 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 |
| 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 |
| 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 |
| Srinivasan | Shravan | 2023 | Data Structures and Protocols for Scalability and Security of Distributed Consensus | |
| 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 |