PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| 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 |
| 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 |
| Thareja | Ashok | 1982 | Buffer Allocation Policies For Message Switching Networks | Ashok Agrawala |
| Hwang | Shyh-In | 1995 | Time-Based Off-line Overload Scheduling for Hard Real-Time Systems | Ashok Agrawala |
| 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 |
| Choi | Seonho | 1997 | Dynamic time-based scheduling for hard real-time systems | Ashok Agrawala |