PhD Alumni

Last First Yearsort ascending Dissertation Advisor
Wohn Kwangyoen 1984 A contour-based approach to image flow Larry Davis
Coolahan James 1984 The specification of timing requirements for real-time systems using timed Petri nets Nicholas Roussopoulos
Kasif Simon 1984 Analysis of Parallelism in Logic Programs Jack Minker
Trigg Randall 1983 A network-based approach to text handling for the online scientific community Rieger
Stanfill Craig 1983 Form and function :4he representation of machines Reiger
Woo Nam 1983 A Pragmatic Parallel Computation Model and its Computer Architecture Ashok Agrawala
Morell Larry 1983 A theory of error-based testing Richard G. Hamlet
Ramakrishnan K. 1983 The Design and Analysis of Resource Allocation Policies in Distributed Systems Ashok Agrawala
Lee Chia-Hoang 1983 The use of shading in image segmentation and surface orientation estimation Azriel Rosenfeld
Hutchens David 1983 Characterizing Software with Objective Measurements Victor Basili
Arnold Robert 1983 On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit Raymond T. Yeh
Kirby Robert 1983 Iterative Parallel Labeling for Pattern Recognition Azriel Rosenfeld
Dunlop Douglas 1982 An investigation of functional correctness issues Victor Basili
Kitchen Leslie 1982 Local consistency and constraint filtering for structure matching and image analysis Azriel Rosenfeld
Thareja Ashok 1982 Buffer Allocation Policies For Message Switching Networks Ashok Agrawala
Kumar Vipin 1982 A unified approach to problem solving search procedures Laveen Kanal
Hong Tsaihong 1982 Pyramid methods in image analysis Hanan Samet
Wood Richard 1982 Computer aided program synthesis Rieger
Kushner Todd 1982 A theoretical model of interprocessor communication for parallel image processing Azriel Rosenfeld
Chen Bo-Shoe 1982 Event-based specification and verification of distributed systems Raymond T. Yeh
Agre John 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Reggia James 1981 Knowledge-Based Decision Support Systems: Development through KMS Rieger
Larsen Ronald 1981 Control of Multiple Exponential Servers with Applications to Computer Systems Ashok Agrawala
Gordon Karen 1981 On the construction of representative test workloads Ashok Agrawala
Rutkowski Wallace 1981 Shape segmentation and labeling Azriel Rosenfeld
Weiss David 1981 Evaluating software development by analysis of change data Victor Basili
Agre Jon 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Morgenthaler David 1981 Three-dimensional digital image processing Azriel Rosenfeld
Gordon Karen 1981 On the Construction of Representative Test Workloads Ashok Agrawala
Mohr Jeffrey 1980 On the characterization of computer systems' workloads Ashok Agrawala
Ricart Glenn 1980 Efficient Synchronization Algorithms for Distributed Systems Ashok Agrawala
Barth C. 1980 The design of a high-level coroutine implementation for the production of quality software Victor Basili
Haar Robert 1980 Representation and Manipulation of Spatial Relations Azriel Rosenfeld
Grinberg Milton 1980 A knowledge-based design environment for digital electronics Rieger
Peleg Shmuel 1979 Ambiguity reduction in probabilistic networks Azriel Rosenfeld
Dyer Charles 1979 Augmented cellular automata for image analysis Azriel Rosenfeld
Reiter Robert 1979 A experimental investigation of computer program development approaches and computer programming metrics Victor Basili
Ahuja Narendra 1979 Connectedness Properties of Bombing Patterns Azriel Rosenfeld
Lowe George 1979 Heuristic approaches to the decomposition of sparse matrices Werner C. Rheinboldt
Doszkocs Tamas 1979 AID :!n associative interactive dictionary for online bibliographic searching
Forman Ira 1979 On the decomposition of programs into primes Mills
Hayes Kenneth 1979 Reading handwritten Words Azriel Rosenfeld
Underwood William 1979 Laveen Kanal
Herman Martin 1979 Understanding body postures of human stick figures Azriel Rosenfeld
London Philip 1978 Dependency Networks as a Representation for Modeling in General Problem Solvers Rieger
Lemkin Peter 1978 Bone marrow smear image analysis Azriel Rosenfeld
Dunsmore Hubert 1978 The influence of programming factors on programming complexity John D. Gannon
Gishen Jeffrey 1978 A method for the formal derivation of programs and its applicability to automatic program synthesis R.E. Noonan
Shaffer Jeffrey 1978 Automatic subroutine generation in an optimizing compiler Matthew Hecht
Shapiro Bruce 1978 Shape description using boundary sequences Azriel Rosenfeld

Pages