PhD Alumni

Search Alumni

Select a year
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