PhD Alumni

Displaying 1 - 50 of 794
Last First Year Dissertation Advisor
Silberberg David 2002 Uniform and High-level intelligent Access to Heterogeneous Information Sources Hendler
Vanderbrug Gordon 1977 Linear feature detection and mapping Azriel Rosenfeld
Bhowmik Anasua 2003 A general compiler framework for speculative multithreaded processors Michael J. Franklin
Chen Bo-Shoe 1982 Event-based specification and verification of distributed systems Raymond T. Yeh
Chu Jiang-Hsing 1989 An analysis of caching with an application to binary storage trees Gary Don Knott
Dyer Charles 1979 Augmented cellular automata for image analysis Azriel Rosenfeld
Huang Yennun 1989 Resource allocation with fault tolerance Satish Kumar Tripathi
Lin Kwei-Jay 1985 Atomic remote procedure cal John D. Gannon
Patro Robert 2012 Computationally Comparing Biological Networks and Reconstructing Their Evolution  Carl Kingsford
Salem Mohammed 2017
Ahuja Narendra 1979 Connectedness Properties of Bombing Patterns Azriel Rosenfeld
Arnold Robert 1983 On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit Raymond T. Yeh
Chen Chia-Mei 1995 Scheduling issues in real-time systems Satish Kumar Tripathi
Ferreira Renato 2001 Compiler Techniques for Data Parallel Applications using Very large Multi-Dimensional Datasets Joel Saltz
Herman Martin 1979 Understanding body postures of human stick figures Azriel Rosenfeld
Kirby Robert 1983 Iterative Parallel Labeling for Pattern Recognition Azriel Rosenfeld
Pawagi Shaunak 1986 Incremental graph algorithms for parallel random access machines Ramakrishnan
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
Aksoy Demet 2000 On-demand data broadcast for large-scale and dynamic applications Michael J. Franklin
Barbour Garth 2002 Program Modeling: A Machine Learning Approach to Intrusion Detection Hendler
Blakemore William 1996 Efficient analysis of Generalized Stochastic Petri Nets Satish Kumar Tripathi
Jonsson Bjorn 1999 Application-oriented buffering and caching techniques Michael J. Franklin
Karagol-Ayan Burcu 2007 Resource Generation from Structured Documents for Low-Density Languages  Amy Weinberg
Kitchen Leslie 1982 Local consistency and constraint filtering for structure matching and image analysis Azriel Rosenfeld
Milgram David 1973 Web automata 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
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
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
Kang Chanhyun 2015 Diffusion, Infection and Social (Information) Network Database  V.S. Subrahmanian
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