PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| Sayeed | Asad | 2011 | A Distributional and Syntactic Approach to Fine-Grained Opinion Mining | Amy Weinberg |
| Simari | Gerardo | 2010 | Stochastic Reasoning with Action Probabilistic Logic Programs | V.S. Subrahmanian |
| Spector | Lee | 1992 | Supervenience in Dynamic World Planning | Hendler |
| Trapnell | Bruce | 2010 | Transcript Assembly and Abundance Estimation with High-Throughput RNA Sequencing | Steven Salzberg |
| Sanghi | Dheeraj | 1993 | ||
| 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 | ||
| Almazan | Christian | 2010 | Rover: Architectural Support for Exposing and Using Context | Ashok Agrawala |
| Elsharkawy | Sameh | 2001 | Dynamic Real-Time Scheduling in Distributed Environment | Ashok Agrawala |
| Gordon | Karen | 1981 | On the construction of representative test workloads | Ashok Agrawala |
| Waclawsky | John | 1989 | Window dynamics | Ashok Agrawala |
| Ismail | Heba | 2019 | Ubiquitous Accessibility Digital-Maps for Smart Cities: Principles and Realization | Ashok Agrawala |
| Lakshman | Tirunella | 1986 | Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols | Ashok Agrawala |
| Rauscher | Tomlinson | 1975 | Dynamic Problem Oriented Redefinition of Computer Architecture via Microprogramming | Ashok Agrawala |
| Tas | Nazif | 2010 | Link Adaptation in Wireless Networks: A Cross-Layer Approach | Ashok Agrawala |
| Eom | Hyeonsang | 2003 | Improving link-state routing | Ashok Agrawala |
| Mohr | Jeffrey | 1980 | On the characterization of computer systems' workloads | Ashok Agrawala |
| Nadeem | Tamer | 2006 | Efficient Cross Layer Designs for IEEE 802.11 | Ashok Agrawala |