University of Maryland
Department of Computer Science
Ph.D.  Alumni
The Info link on the right will take you to a more detailed page of Information about our alumni.
Note: To view this list by year, please click on "Year" at the bottom of your screen.
Year Last Name First Name Advisor Dissertation Title Information
1994 Abd-El-Hafiz Salwa Basili A Knowledge-Based Approach to Program Understanding info
1993 Abdel-Mottaleb Mohamed Rosenfeld,     Chellappa MAP Techniques for Motion, Stereo and Segmentation info
1999 Aboutabl Mohamed Agrawala Temporally-determinate disk access for real-time applications info
1986 Abrams Marc Agrawala Design of Direct Execution of JOVIAL Subroutine Call/Return Statements info
1996 Adali Sibel Subrahmanian Query Processing in Hetergenous Mediated Systems info
1996 Agrawal Gagan Saltz Interprocedural code placement techniques and their applications info
2002 Agrawal Motilal Davis Three dimensional reconstruction from multiple images info
1981 Agre Jonathan Agrawala info
2001 Ahn Sungjoon Shankar Adapting to Route-demand and Mobility (ARM) in ad hoc network routing info
1979 Ahuja Narendra Rosenfeld Connectedness Properties of Bombing Patterns info
2000 Aksoy Demet Franklin On-demand data broadcast for large-scale and dynamic applications info
1994 Akyurek Sedat Salem Adaptive disk management info
2003 Andrade Henrique Saltz Multiple Query Optimization Support for Data Analysis Applications info
1989 Ang Chuan Samet Analysis and Applications of Hierarchical Data Structures info
1987 Antoy Sergio Gannon Automatically provable specifications info
1999 Apostolopoulos George Tripathi Cost and performance trade-offs of quality of service routing info
1980 Ardis Mark Hamlet Data Abstraction Transformations info
1993 Aref Walid Samet Query processing and optimization in spatial databases info
2001 Arisha Khaled Miller Fault management in networks using passive testing info
1994 Armentrout Steven Reggia A Computational Treory of Map Reorganization info
1983 Arnold Robert Yeh On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Quality info
1995 Arya Sunil Mount Nearest neighbor searching and applications  info
1992 Atlee Joanne Purtilo Automated Analysis of Software Requirements info
1985 Bail William Zelkowitz Algorithm Structure Analysis Using Hierarchical Abstract Computers info
1992 Bailey John Basili A Component Factory for Software Source Code Re-Engineering and Reuse info
1985 Bane John Rieger Causal monitor generation for complex systems info
1991 Banerjee Saibal Rosenfeld Algorithmic Aspects of MAP Estimation info
2003 Banerjee Suman Agrawala,     Bhattacharjee A Cooperative Framework to Scale Multi-party Applications info
1991 Baral Chitta Minker Issues in Knowledge Representation: Semantics and Knowledge Combination info
1997 Baratoff Gregory Aloimonos Distortion of Stereoscopic Visual Space info
2002 Barbour Garth Hendler Program Modeling: A Machine Learning Approach to Intrusion Detection info
1980 Barth C. Basili The design of a high-level coroutine implementation for the production of quality software info
1990 Basu Anup Aloimonos Model-based visual navigation info
2002 Benabdelkader Chiraz Davis Gait as a biometric for person identification in video info
1990 Bennet Thomas Gannon Using control states for parallelism extraction info
1992 Benson Gary Amihood Amir Two-dimensional periodicity and matching algorithms info
2001 Beynon Michael Saltz Supporting Resource-Intensive Applications with Remote Data  Sources in a Grid Environment info
1995 Bhagwat Pravin Tripathi A framework for integrating mobile hosts within the Internet info
1993 Bhaskar Shivarajpur Samet Fixed permutation hashing schemes info
1998 Bhatia Randeep Khuller Approximation Algorithms for Scheduling Problems info
1989 Bhatnagar Raj Kanal Construction of preferred causal hypotheses for reasoning with uncertain knowledge info
2003 Bhowmik Anasua Franklin (ECE) A general compiler framework for speculative multithreaded processors info
1996 Blakemore William Tripathi Efficient analysis of Generalized Stochastic Petri Nets info
1991 Bolot Jean Shankar A least-squares approximation technique with an application to the M/M/1 queue info
2003 Bright Laura Raschid Improving Data Access in Mobile and Wide Area Environments info
1999 Brodsky Tomas Aloimonos The Video Yardstick info
1998 Bultan Tevfik Gerber Automated Static Analysis with Composite Symbolic Models info
1993 Callahan John Roussopoulos Software packaging info
1997 Candan Kasim Subrahmanian A framework for distributed multimedia collaborations info
1991 Canning John Rosenfeld Recognizing deformable objects-- : a set snake methodology info
1991 Cardenas-Garcia Sergio Zelkowitz A formal framework for evaluating multiattribute software specifications info
1976 Carmichael Arthur Basili Semantic classification of features of programming languages info
1995 Carr David Shneiderman A compact graphical representation of user interface interaction objects info
2003 Carver Jeffrey Basili The Impact of Background and Experience on Software Inspections info
2001 Cetintemel Ugur Keleher Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments info
1985 Chakravarthy Upendrana Minker Semantic Query Optimization in Deductive Databases info
2001 Chalidabhongse Thanarat Chellappa A real-time system for detecting and tracking people in video info
1989 Chandran Sharat Mount,              Davis Merging in parallel computational geometry info
2001 Chang Chialin Saltz Parallel aggregation on multi-dimensional scientific datasets info
1995 Chang Ya-Hui Dorr,              Raschid Interoperable query processing for relational and object-oriented databases: a mapping approach using canonical representations info
1996 Chechik Maria Gannon Automatic analysis of consistency between requirements and designs info
1982 Chen Bo-Shoe Yeh Event-based specification and verification of distributed systems info
1995 Chen Chen Purtilo Configuration-level programming of distributed applications using implicit invocation info
1995 Chen Chia-Mei Tripathi Scheduling issues in real-time systems info
1994 Chen Chungmin Roussopoulos Adaptive database systems based on query feedback and cached results info
1992 Chen Ling Davis Parallel processing of image contours info
1997 Chen Yinong Reggia A motor control model based on self-organizing feature maps info
1995 Cheng Sheng-Tzong Agrawala Scheduling and allocation in multiprocessor systems info
1996 Cheong Loong-Fah Aloimonos Distortion of space due to perceived motion info
1988 Chi Ping-Chung Nau In Search of Better Decision Making in Computer Game Playing  info
1992 Cho Sungzoon Reggia Learning Competition and Cooperation info
1997 Choi Seonho Agrawala Dynamic time-based scheduling for hard real-time systems info
2002 Chou Cheng-Fu Golubchik Scalable Designs for Continuous Media Servers and Wide-area Upload Applications info
1996 Chou Hui-Hsien Reggia Self-replicating structures in a cellular automata space info
1990 Chou Tsai-Chia Rosenfeld Correspondenceless techniques for computer vision info
1989 Chu Jiang-Hsing Knott An analysis of caching with an application to binary storage trees info
2002 Ciocoiu Mihai Nau Ontology-Based Translation info
1992 Cochrane Roberta Mark Issues in Integrating Active Rules Into Database Systems info
1974 Cook Craig Rosenfeld Grammatical inference by heuristic search.  info
1984 Coolahan James Roussopoulos The specification of timing requirements for real-time systems using timed Petri nets info
1996 Cucka Peter Rosenfeld Pattern classification methods in navigation and object recognition info
1989 Cui Qian Gannon Data-oriented exception handling info
2000 Cutler Ross Davis info
1988 Dasigi Venugopal Reggia Word sense disambiguation in descriptive text interpretation: a dual-route parsimonious covering model info
1998 Davis Cynthia Tripathi Supporting Intermittent Connectivity in Mobile Networks info
1976 Davis Larry Rosenfeld Shape representation and matching info
2000 Dekhtyar Alexander Subrahmanian Reasoning with Uncertainty and Time info
1987 Delatorre Pilar Gary Knott Analysis of tries info
1993 Delis Alexios Roussopoulos Client-server databases: architectures and performance analysis info
1991 Dickinson Sven Rosenfeld The recovery and recognition of three-dimensional objects using part-based aspect matching info
1988 Dillencourt Michael Samet Graph-theoretical properties of algorithms involving Delaunay triangulations info
1993 Doermann David Rosenfeld Document image understanding : integrating recovery and interpretation info
1979 Doszkocs Tamas AID: an associative interactive dictionary for online bibliographic searching info
1988 Drapkin Jennifer Perlis Step-logic : reasoning situated in time info
1990 Duggan Dominic Pugh A programming language and environment based on types as specifications info
1982 Dunlop Douglas Basili An investigation of functional correctness issues info
1985 Dunn Stanley Davis Recovering the orientation of textured surfaces info
1978 Dunsmore Hubert Gannon The influence of programming factors on programming complexity info
1995 Duric Zoran Rosenfeld Geometric methods in visual motion analysis info
1979 Dyer Charles Rosenfeld Augmented cellular automata for image analysis info
1990 Eastman Roger Davis Using disparity functionals for stereo correspondence and reconstruction info
2002 Elgammal Ahmed Davis Efficient nonparametric kernel density estimation for real time computer vision info
2001 Elsharkawy Sameh Agrawala Dynamic Real-Time Scheduling in Distributed Environment info
2003 Eom Hyeonsang Agrawala Improving link-state routing info
1995 Erol Kutluhan Nau,               Hendler Hierarchical Task-Network Planning Systems: Formalization, Analysis, and Implementation info
1995 Esperanca Claudio Samet Orthogonal objects and their application in spatial databases info
1994 Evett Matthew Hendler PARKA: A System for Massively Parallel Knowledge Representation info
1988 Fekete Gyorgy Davis Object recognition using property spheres info
1994 Fernandez Redonet Jose Minker Disjunctive Deductive Databases info
2001 Ferreira Renato Saltz Compiler Techniques for Data Parallel Applications using Very large Multi-Dimensional Datasets info
1996 Fischer Jeffrey Gerber Compositional verification by model checking for counter-examples info
1973 Fishman Daniel Minker Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search info
1993 Flake Gary Reggia Nonmonotonic activation functions in multilayer perceptrons info
1977 Ford Gary Edmundson An investigation of embeddings of cellular spaces for cellular automata info
1979 Forman Ira Mills On the decomposition of programs into primes info
1977 Frederickson Greg Hecht Approximation algorithms for NP-hard routing problems info
1993 Friedland Noah Rosenfeld Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects info
1990 Fujimura Kikuo Samet Motion planning in dynamic domains info
1992 Gaasterland Theresa Minker Generating Cooperative Answers in Deductive Databases info
1988 Gal Annie Minker Cooperative Responses in Deductive Databases info
2003 Gandhi Rajiv Khuller Broadcast Scheduling info
1996 Gavrila Dariu Davis Vision-based 3-D tracking of humans in action info
1998 Gharai Ladan Gerber Multi-Platform Performance Models for Digital Video Systems info
1994 Ghosh Subrata Nau Heuristic Search with Limited Resources info
1989 Ginat David Agrawala,      Shankar Adaptive ordering of contending processes in distributed systems info
1978 Gishen Jeffrey Noonan A method for the formal derivation of programs and its applicability to automatic program synthesis info
1990 Giuliano Mark Minker The Control and Execution of Parallel Logic Programs info
1998 Glenn James Gasarch Implementing WSIS via Finite Automata info
1999 Godfrey Parke Minker An Architecture and Implementation of a Cooperative Database System info
2002 Golmie Nada Shankar Coexistence of Bluetooth and 802.11 networks info
1999 Golub Evan Gasarch,        Kruskal Empirical Studies in Parallel Sorting info
2003 Good Lance Bederson Zoomable User Interfaces for the Authoring and Delivery of Slide Presentations info
1986 Gopalakrishnan Ponani Kanal,   Ramakrishnan Parellel Approximate Algorithms for Combinatorialy Hard Problems info
1990 Gordon Diana Perlis Active bias adjustment for incremental, supervised concept learning info
1981 Gordon Karen Agrwala On the construction of representative test workloads info
1992 Gray James Basili Multilevel security of probabilistic systems info
1980 Grinberg Milton Rieger A knowledge-based design environment for digital electronics info
1997 Gryz Jaroslaw Minker Syntactic and Semantic Optimization of Database Queries info
1992 Guimaraes Katia Gasarch The quality of queries info
1993 Gupta Naresh Kanal Recovering shape and motion from a sequence of images info
1980 Haar Robert Rosenfeld Representation and Manipulation of Spatial Relations info
2001 Han Hwansoo Tseng Locality transformations for adaptive irregular applications info
1999 Haritaoglu Ismail Davis A Real Time System for Detection and Tracking of People and Monitoring their Activities info
1984 Hartley Ralph Rosenfeld Multi-scale models in image analysis info
1979 Hayes Kenneth Rosenfeld Reading Handwritten Words info
2001 Heflin Jeffrey Hendler Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment info
1990 Hellstrom Benjamin Kanal Thermodynamic neural networks for the approximation of combinatorially hard packing problems info
1979 Herman Martin Rosenfeld Understanding body postures of human stick figures  info
1993 Herve Jean-Yves Aloimonos A theory of hand/eye coordination info
1977 Hill Eric Stewart Computer Solution of Large Dense Linear Problems info
2003 Hochheiser Harry Shneiderman Interactive Exploration of Time Series Data info
1993 Hofmeister Christine Purtilo,          Gannon Dynamic reconfiguration of distributed applications info
1994 Hong Seongsoo Gerber Compiler-assisted scheduling for real-time applications: a static alternative to low-level tuning info
1982 Hong Tsaihong Samet Pyramid methods in image analysis info
2003 Hourcade Juan-Pablo Bederson User interface technologies and guidelines to support children's creativity, collaboration, and learning info
1992 Huang Chiou-Ming O'Leary Preconditioning parallel multisplittings for solving systems of equations info
1993 Huang Liuqing Aloimonos Qualitative visuo-motor coordination info
1990 Huang Shie-Rei Davis Design and analysis of some high-performance heuristic search algorithms info
1989 Huang Yennun Tripathi Resource allocation with fault tolerance info
1990 Huang Yuangeng Kanal Dynamic scheduling problem solving info
1988 Hung Yubin Rosenfeld Processing geometric representations on SIMD computers info
1998 Hwang Eenjun Subrahmanian A Framework For Distributed Video-on-Demand Services info
1984 Hwang Shang-Sho Rosenfeld Evidence accumulation for spatial reasoning in aerial image understanding info
1998 Hwang Yuan-Shin Saltz Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems info
2001 Ji Lusheng Shankar Providing Datagram Multicasting Service to Large Mobile Ad hoc Network Syatems, --- A Framework info
1993 Johnson Brian Shneiderman Treemaps : visualizing hierarchical and catagorical data info
1999 Jonsson Bjorn Franklin Application-oriented buffering and caching techniques info
1990 Joo Bokgyu Basili Adaptation and composition of program components info
1989 Jou Emery Knot Inimal Energy Splines info
1989 Kambhampati Subbarao Hendler Flexible reuse and modification in hierarchical planning info
1994 Kamel Ibrahim Faloutsos High performance spatial indexing for parallel I/O and centralized architectures info
1998 Kandogan Eser Shneiderman Extending Spatial Organization, Manipulation and Access of Information in Windowing Systems info
1999 Kang Dong-In Hollingsworth Automated design techniques for distributed real-time embedded systems info
1987 Kang Hyunchul Roussopoulos On query processing in distributed database systems info
2003 Kang Hyunmo Shneiderman A Spatial Interface Supporting User-Defined Mental Models info
1992 Kao Chiung-Tung Samet Efficient/practical algorithms for geometric structures: convex hulls, Delaunay triangulations and Voronoi diagrams info
1990 Karinthi Raghu Nau An Algebraic Approach to Feature Interactions info
1984 Kasif Simon Minker Analysis of Parallelism in Logic Programs info
1995 Kettler Brian Hendler Case-based Planning with a High-Performance Parallel Memory info
1986 Kim Chee Agrawala Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications info
2001 Kim Jung-Min Porter Mechanisms Driving Costs and Benefits of Regression Test Selection Techniques info
1996 Kim Taehyeong Purtilo Toward optimizing distributed programs directed by configurations info
1982 Kitchen Leslie Rosenfeld Local consistency and constraint filtering for structure matching and image analysis info
1991 Ko Keng-Tai Tripathi On congestion control in high-speed wide-area networks info
2000 Kobla Vikrant Rosenfeld Automated Analysis of MPEG Compressed Video info
1987 Kohli Madhur Minker Controlling the Execution of Logic Programs info
1998 Kohout Robert Hendler Guaranteeing safety in the presence of moving obstacles info
1998 Korn Philip Faloutsos Indexing and Mining Medical Image and Multimedia Databases info
2000 Korpeoglu Ibrahim Tripathi Mobile and wireless networking for palmtop and laptop computers info
2000 Kotidis Ioannis Roussopoulos A Framework for Mangament and Efficient Maintenance of Materialized Data Warehouse Aggregates info
2001 Kuijt David Samet An Object-Oriented Approach to Parallel Spatial Indexing of Vector-Format Polygons info
1976 Kulkarni Ashok Kanal Optional and heuristic synthesis of hierarchical classifiers info
1982 Kumar Vipin Kanal A unified approach to problem solving search procedures info
1982 Kushner Todd Rosenfeld A theoretical model of interprocessor communication for parallel image processing info
2002 Labrinidis Alexandros Roussopoulos Online View Selection for the Web info
1986 Lakshman Tirunella Agrwala Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols info
1981 Larsen Ronald Agrawala Control of Multiple Exponential Servers with Applications to Computer Systems info
1983 Lee Chia-Hoang Rosenfeld The use of shading in image segmentation and surface orientation estimation info
1998 Lee Sung Agrawala Cyclone Technology info
1978 Lemkin Peter Rosenfeld Bone marrow smear image analysis info
1976 Lemmer John Kanal Algorithms for incompletely specified distributions in a generalized graph model for medical diagnosis info
1988 Levi Shem-Tov Agrawala A Methodology for Designing Distributed, Fault-Tolerant, and Reactive Real-Time Operating Systems info
1992 Liang De-Ron Tripathi Synchronization issues in modeling parallel computation info
1990 Lin Chih-Chen Timos Coupling production systems and database systems : a homogeneous approach info
1996 Lin Chih-Lung Chellappa Context based approaches for aerial image exploitation info
1996 Lin King-Ip Faloutsos Indexing Non-traditional and Multimedia Data Types info
1985 Lin Kwei-Jay Gannon Atomic remote procedure cal info
1992 Lin Zheng Minker A Distributed Fair Polling Scheme Applied to Or-Parallel Logic Batabases info
2003 Liu Haiying Chellappa Algorithms for Capturing Human Body Motion and Structure info
1996 Liu Hong Miller Automatic validation of multi-process communication protocols info
1990 Lobo Jose Minker Semantics for Normal Disjunctive Logic Programs info
1978 London Philip Reiger Dependency Networks as a Repgresentation for Modeling in General Problem Solvers info
2000 Lotem Amnon Nau GraphHTN: Combining Planning Graphs and HTN Planning info
1996 Lott Christopher Basili Measurement-based feedback in a process-centered software engineering environment info
1979 Lowe George Heuristic approaches to the decomposition of sparse matrices info
2000 Luke Sean Hendler Issues in Scaling Genetic Programming: Breeding Strategies, Tree Generation, and Code Bloat info
1984 Lyle James info
1992 Makarios Selene Samet Parallel Paradigms and Practices for Spatial Data info
2001 Maneewongvatana Songrit Mount Nearest Neighbor Searching in High Dimensional Spaces info
1989 Margalit Avraham Rosenfeld Efficient image matching info
1998 Matos Gilberto Purtilo Analysis and applications of receptive safety properties in concurrent systems info
1995 Matta Ibrahim Shankar Fast evaluation and dynamic control of integrated services networks info
1993 McFadden Frank Perlis Competitive learning and competitive activation in cortical map formation info
1976 McSkimin James Minker Techniques for Employing Semantic Information in Question-Answering Systems info
1997 Mendonca Manoel Basili An approach to improving existing measurement frameworks in software development organizations info
1973 Milgram David Rosenfeld Web automata info
1998 Miller Frank Tripathi Improving the Performance of Data Streaming for Multi-Media Systems info
1993 Miller Michael Perlis A view of one's past and other aspects of reasoned change in belief info
1991 Mintz Doron Rosenfeld Robustness by consensus info
1993 Mishra Partho info
1990 Mitchell Elizabeth Reggia A competitive activation mechanism for semantic inference info
2002 Mittal Anurag Davis Surveillance under Severe Occlusions info
1980 Mohr Jeffrey Agrawala On the characterization of computer systems' workloads info
2003 Montemayor Jaime Hendler,       Druin Physical Programming info
1996 Moon Bongki Saltz Data placement for high performance spatio-temporal databases info
1993 Moon Soo-Mook Agrawala Compile-time Parallelization of Non-numerical Code; VLIW and Superscalar info
1983 Morell Larry Hamlet A theory of error-based testing info
1981 Morgenthaler David Rosenfeld Three-dimensional digital image processing info
1997 Morimoto Carlos Chellappa Electronic digital image stabilization: design and evaluation, with applications info
1993 Mosse Daniel Agrawala A Framework for the Development and Deployment of Fault Tolerant Applications in Real-Time Systems info
1987 Motteler Howard Smith A mathematical model of static dataflow info
1993 Mukherjee Sarit Tripathi A Multiclass Preemptive Protocol for High Speed Local and Metropolitan Area Networks info
1986 Murphy Jack Edmundson Matrix computations by Monte Carlo optimization info
2001 Murphy Michael Mount Geometric Algorithms in Control-Volume Meshing info
1990 Murphy Sandra Shankar Service specification and protocol construction for a layered architecture info
1976 Nagel Roger Rosenfeld Computer detection of freehand forgeries info
1988 Nelson Randal Aloimonos Visual navigation info
1992 Netanyahu Nathan Mount,   Rosenfeld Computationally efficient algorithms for robust estimation info
1992 Ng Raymond Subrahmanian Reasoning with uncertainty in deductive databases and logic programs info
1992 Nirkhe Vivek Tripathi   info
1993 Noh Sam Agrawala Characterizing the Execution of Applications on Massively Parallel Systems info
2000 North Christopher Shneiderman A user interface for coordinating visualizations based on relational schemata: snap-together visualization info
1992 Ostertag Eduardo Hendler A Classification system for software reuse info
2001 Ozcan Fatma Subrahmanian Improving the Performance of Heterogeneous Data Sources and Agents info
1977 Parikh Josephine Rosenfeld Automatic cloud classification and segmentation info
1998 Park Jun-cheol Miller Automatic Synthesis of Time Dependent Communication Protocols info
1986 Pawagi Shaunak Ramakrishnan Incremental graph algorithms for parallel random access machines info
1988 Pearson Glenn Shneiderman Foot-operated cursor-position controls for computer workstations: design, implementation, and evaluation info
1979 Peleg Shmuel Rosenfeld Ambiguity reduction in probabilistic networks info
1985 Peng Yun Reggia A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference info
2000 Pless Robert Aloimonos Visual shape info
1990 Pleszkoch Mark Gasarch Machine learning with queries and oracles info
2000 Popescu Catalin Shankar Fast Evaluation of Intergrated-Services TCP/IP Networks info
2002 Postow Brian Smith Object based computation info
1999 Potter Richard Shneiderman Pixel Data Access: Interprocess Communication in the User Interface for End-User Programming and Graphical Macros info
2001 Pradhan Shekhar Minker Reasoning with conflicting information in artificial intelligence and database theory info
1998 Pu Fan-tao Mount Data Structures for Global Illumination Computation and Visibility Queries in 3-Space info
2001 Purang Khemdut Perlis Systems that detect and repair their own mistakes info
1989 Rajasekar Arcot Minker Semantics of Disjunctive Logic Programs info
1983 Ramakrishnan K. Agrawala The Design and Analysis of Resource Allocation Policies in Distributed Systems info
1993 Rappoport Kevin Kruskal Efficiency in parallel computation: algorithms, emulations, and VLSI pins info
1975 Rauscher Tomlinson Agrawala Dynamic Problem Oriented Redefinition of Computer Architecture  via Microprogramming info
2000 Ray Manjit Rosenfeld Model-based Object Recognition Using Three-dimesional Invariants info
1981 Reggia James Rieger Knowledge-Based Decision Support Systems: Development through KMS info
1995 Regli William Nau Geometric  Algorithms for the Recognition of Features from Solid Models  info
1979 Reiter Robert Basili A experimental investigation of computer program development approaches and computer programming metrics info
1980 Ricart Glenn Agrawala Efficient Synchronization Algorithms for Distributed Systems info
2001 Rivera Gabriel Tseng Compiler Optimizations for Avoiding Cache Conflict Misses info
1993 Rivlin Ehud Aloimonos Purposive recognition info
2003 Roberts Michael Khuller Detailed differential dynamic programming algorithm for bang-bang control problems info
2001 Rodriguez-Martinez Manuel Roussopoulos Automatic Deployment of Application-Specific Functionality in Database Middleware Systems info
1992 Romanik Kathleen Smith Approximate testing theory info
1998 Rosser Evan Pugh Fine-Grained Analysis for Generating Better Communication and Synchronization info
1996 Ruiz Carolina Minker Semantics of Knowledge Based Systems with Multiple Forms of Negation info
1981 Rutkowski Wallace Rosenfeld Shape segmentation and labeling info
1990 Ryu Kwan JaJa Efficient parallel algorithms on the network model info
2001 Ryu Kyungdong Hollingsworth Using Idle Resources from Networks of Workstations info
1993 Saalfeld Alan Samet Conflation : automated map compilation info
1995 Saha Debanjan Tripathi Supporting distributed multimedia applications on ATM networks info
1997 Sahinalp Suleyman Vishkin Locally consistent parsing for string processing info
1994 Saksena Manas Agrawala,   Gerber Parametric Scheduling for Hard Real-Time Systems info
1993 Sanghi Dheeraj Agrawala Flow Control in Computer Networks info
2004 Schulz Reiner Reggia One-Shot Multi-Winner Self-Organizing Maps info
1996 Seaman Carolyn Basili Organizational issues in software development : an empirical study of communication info
1993 Sears Andrew Shneiderman Layout appropiateness : guiding user interface design with simple task descriptions info
1985 Selby Richard Basili Evaluations of software technologies: testing, CLEANROOM, and metrics  info
1993 Setia Sanjeev Tripathi Scheduling on multiprogrammed, distributed memory parallel computers info
1978 Shaffer Jeffrey Hecht Automatic subroutine generation in an optimizing compiler info
1978 Shapiro Bruce Rosenfeld Shape description using boundary sequences info
1993 Sharma Rajeev Aloimonos Visual interception info
1992 Sher Chiao-Yung Rosenfeld Parallel and hierarchical segmentation of salient image primitives info
1987 Sherlekar Deepak Minker,          JaJa Graph Dissection Techniques for VLSI and Algorithms info
1993 Shim Kyuseok Timos Advanced query optimization techniques for relational database systems info
2000 Shin Christian Rosenfeld The Roles of Document Structure in Document Image Retrieval and Classification info
2001 Shkuro Yuri Reggia Functional Specialization in Redundant Modular Neural Networks info
1999 Shpeisman Tatiana Pugh Compiler Support for Sparse Matrix Computations info
1998 Shull  Forest info
1991 Shulman David Aloimonos A theory of discontinuous regularization info
2003 Silaghi Bujor-Dorin Keleher Replication Techniques for Peer-to-Peer Networks info
2002 Silberberg David Hendler Uniform and High-level intelligent Access to Heterogeneous Information Sources info
1985 Silberberg Teresa Davis Three dimensional object recognition using linear features and oriented model points info
1986 Singhal Mukesh Agrawala Concurrency Control Algorithms and their Performance in Replicated Database Systems info
1995 Sivan Ron Samet Surface modeling using quadtrees  info
1996 Siy Harvey Porter Identifying the mechanisms driving code inspection costs and benefits info
1980 Small Steven  Reiger info
1997 Smith Stephen Nau Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture info
1995 Soffer Aya Samet Retrieval by content in symbolic-image databases info
1986 Son Sang Agrawala On Reliability Mechanisms in Distributed Database Systems info
1997 Song Junehwa Miller Structured multimedia documents : design and presentation in a distributed environment info
2003 Song Zhexuan Roussopoulos Indexing Moving Objects info
1992 Spector Lee Hendler Supervenience in Dynamic World Planning info
1991 Spetsakis Minas Aloimonos The geometry and statistics of visual motion info
1983 Stanfill Craig Edmundson Form and function : the representation of machines info
1998 Stathatos Konstantinos Roussopoulos Adaptive Techniques for Hybrid Delivery info
1994 Stevenson Suzanne Reggia A Competitive Attachment Model for Resolving Syntactic Ambiguities in Natural Language Parsing info
1977 Stockman George Kanal A problem-reduction approach to the linguistic analysis of waveforms info
1986 Subbarao Muralidha Davis Interpretation of visual motion: a computational study info
2000 Subramani K. Agrawala Duality in the Parametric Polytype and its Application to a scheduling Problem info
1990 Sullins John Aloimonos Distributed learning: Motion in constraint space info
1991 Sun Xiaobai Stewart A unified analysis of numerical methods for nearly uncoupled Markov chains info
1999 Sussmann Yoram Khuller Approximation Algorithms for Facility Location Problems info
1992 Sutton Granger Reggia Competitive learning and map formation in artificial neural networks using competitive activation mechanisms info
1994 Tagamets Malle Reggia Self-organization of spatio-temporal behaviors in an oscillatory neural network info
2001 Tanin Egemen Shneiderman Browsing Large Online Data Using Exploratory Overviews info
1999 Taylor Merwyn Hendler Mining High-Level Discriminant Rules in Large Databases Using High Performance Techniques info
1993 Teng Yangpin Davis Parallel processing of geometric structures : visibility and triangulation algorithms info
1982 Thareja Ashok Agrawala Buffer Allocation Policies For Message Switching Networks info
2000 Thitikamol Kritchalach Keleher Dynamic Software DSM Systems info
1997 Thomas William Basili Evolutionary approaches for software engineering empirical modeling info
1994 Thompson Scott Rosenfeld Growth models for shapes info
1992 Tian Jianhui Zelkowitz Understanding and using program complexity to improve software development info
1983 Trigg Randall Rieger A network-based approach to text handling for the online scientific community info
1999 Tsuneto-Rager Reiko Hendler,         Nau Efficient Refinement Strategies for HTN Planning info
1977 Tung Immanuel Edmundson A language-acceptor type of probabilistic cellular automation info
2002 Tunpan Apinun Corson A long-term rate scheduling framework for bulk data multicast dissemination in hybrid heterogeneous satellite-terrestrial networks info
1976 Turner Albert Basili Iterative enhancement: a practical technique for software development info
1984 Upton Richard Tripathi A treatment analysis of computer communication networks info
2002 Urhan Tolga Franklin Reactive Query Processing for Coping with Delays on Wide-Area Environments info
1999 Uysal Mustafa Saltz Disk Placement in Multicomputer I/O Subsystems info
1977 Vanderbrug Gordon Rosenfeld Linear feature detection and mapping info
1989 Vanecek George Nau Set Operations on Polyhedra using Decomposition Methods  info
1986 Velauthapillai Mahendran Smith On the inductive inference of programs with anomalies info
2002 Voss Clare Dorr Interlingua-based machine translation of spatial expressions info
1989 Waclawsky John Agrawala Window dynamics info
1989 Waltzman Rand Rosenfeld Geometric problem solving by machine visualization info
1999 Wang Kuang-yeh Tripathi Improving Performance of Wireless Networks in the Internet info
1983 Webber Robert Samet info
1981 Weiss David Basili Evaluating software development by analysis of change data info
1998 Welch Donald Purtilo Building self-reconfiguring distributed virtual environments info
2001 Wexler Yonatan Chellappa Tensor methods for vision and graphics with applications to dynamic morphing info
1995 White Elizabeth Tripathi Control integration in heterogeneous distributed software applications info
1993 Wilson Anne Hendler Encapsulating Neural Networks info
1976 Wilson Gerald Minker A Description and Analysis of the PAR Technique - An Approach to Parallel Inference and Parallel Search in Problem Solving Systems info
1984 Wohn Kwangyoen Davis A contour-based approach to image flow info
1995 Wonnacott David Pugh Constraint-based array dependence analysis info
1982 Wood Richard Rieger Computer aided program synthesis info
1978 Wu Angela Rosenfeld Cellular Graph Automata
1994 Yacoob Yaser Davis Computing spatio-temporal representations of human faces info
2001 Yakimovich Daniil Basili A comprehensive reuse model for COTS software info
1994 Yang Jae-Heon Anderson Scalable synchronization in shared memory multiprocessing systems info
1975 Yeh Jeffry Zelkowitz Modelling of concurrent control structures and parallel processing info
2000 Yi Byoung-Kee Faloutsos Similarity search and data mining in time sequence databases info
1989 Yuan Shyan-Ming Agrawala An Efficient Communication Structure for Decentralized Algorithms with Fault Tolerance info
1991 Yuan Xiaoping Agrawala A Decomposition Approach to Real-Time Scheduling on a Single Resource info
1999 Zhang Zhijun Basili The Design and Empirical Studies of Perspective-Based Usability Inspection info
1999 Zhao Wei Chellappa Adaptive streaming of scalable multimedia over heterogeneous environments info
2002 Zotkin Dmitry Davis Algorithms for acquisition and rendering of sounds in perceptual user interfaces info