PhD Alumni
Search Alumni
Displaying 1 - 50 of 948
Last | First | Graduation Year | Dissertation | Advisor(s) |
---|---|---|---|---|
Akyurek | Sedat | 1994 | Adaptive disk management | Salem |
Chen | Nicholas | 2012 | The Use of Multiple Slate Devices to Support Active Reading Activities | François Guimbretière |
Fischer | Jeffrey | 1996 | Compositional verification by model checking for counter-examples | Richard Gerber |
Haar | Robert | 1980 | Representation and Manipulation of Spatial Relations | Azriel Rosenfeld |
Hung | Edward | 2005 | Managing Uncertainty and Ontologies in Databases | V.S. Subrahmanian |
Ko | Keng-Tai | 1991 | On congestion control in high-speed wide-area networks | Satish Kumar Tripathi |
Lemkin | Peter | 1978 | Bone marrow smear image analysis | Azriel Rosenfeld |
Motteler | Howard | 1987 | A mathematical model of static dataflow | Carl Herbert Smith |
Nirkhe | Vivek | 1992 | Satish Kumar Tripathi | |
Peleg | Shmuel | 1979 | Ambiguity reduction in probabilistic networks | Azriel Rosenfeld |
Romanik | Kathleen | 1992 | Approximate testing theory | Carl Herbert Smith |
Schatz | Michael | 2010 | High Performance Computing for DNA Sequence Alignment and Assembly | Steven Salzberg |
Sher | Chiao-Yung | 1992 | Parallel and hierarchical segmentation of salient image primitives | Azriel Rosenfeld |
Trigg | Randall | 1983 | A network-based approach to text handling for the online scientific community | Rieger |
Velauthapillai | Mahendran | 1986 | On the inductive inference of programs with anomalies | Carl Herbert Smith |
Wilson | Anne | 1993 | Encapsulating Neural Networks | James Hendler |
Regli | William | 1995 | ||
Cochrane | Roberta | 1992 | Issues in Integrating Active Rules Into Database Systems | Leo Mark |
Dickinson | Sven | 1991 | The recovery and recognition of three-dimensional objects using part-based aspect matching | Azriel Rosenfeld |
Hung | Yubin | 1988 | Processing geometric representations on SIMD computers | Azriel Rosenfeld |
Kobla | Vikrant | 2000 | Automated Analysis of MPEG Compressed Video | Azriel Rosenfeld |
Kushner | Todd | 1982 | A theoretical model of interprocessor communication for parallel image processing | Azriel Rosenfeld |
Mintz | Doron | 1991 | Robustness by consensus | Azriel Rosenfeld |
Mukherjee | Sarit | 1993 | A Multiclass Preemptive Protocol for High Speed Local and Metropolitan Area Networks | Satish Kumar Tripathi |
Peng | Feng | 2006 | High Performance Xpath Evaluation in XML Streams | Sudarshan S. Chawathe |
Sirin | Evren | 2006 | Combining Description Logic Reasoning with AI Planning for Composition of Web Services | Hendler |
Wilson | Gerald | 1976 | A Description and Analysis of the PAR Technique - An Approach to Parallel Inference and Parallel Search in Problem Solving Systems | Hendler |
Kim | Daehwan | 2013 | RNA-Sequencing Analysis: Read Alignment and Discovery Reconstruction of Fusion Transcripts | Steven Salzberg |
Salem | Mohammed | 2017 | ||
Cook | Craig | 1974 | Grammatical inference by heuristic search. | Azriel Rosenfeld |
Gharai | Ladan | 1998 | Multi-Platform Performance Models for Digital Video Systems | Richard Gerber |
Halaschek-Wiener | Christian | 2007 | Expressive Syndication on the Web Using a Description Logic Approach | Hendler |
Ruiz | Carolina | 1996 | Semantics of Knowledge Based Systems with Multiple Forms of Negation | Jack Minker |
Habash | Nizar | 2003 | ||
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 |