PhD Alumni
Search Alumni
Displaying 151 - 200 of 948
Last | First | Graduation Year | Dissertation | Advisor(s) |
---|---|---|---|---|
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 |
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 |
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 |
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 |