PhD Alumni
Search Alumni
Displaying 951 - 1000 of 1008
| Last | First | Graduation Year | Dissertation | Advisor(s) |
|---|---|---|---|---|
| Kumar | Vipin | 1982 | A unified approach to problem solving search procedures | |
| Kushner | Todd | 1982 | A theoretical model of interprocessor communication for parallel image processing |
Azriel Rosenfeld |
| Hong | Tsaihong | 1982 | Pyramid methods in image analysis | Hanan Samet |
| Thareja | Ashok | 1982 | Buffer Allocation Policies For Message Switching Networks | Ashok Agrawala |
| Wood | Richard | 1982 | Computer aided program synthesis |
Rieger |
| Dunlop | Douglas | 1982 | An investigation of functional correctness issues | Victor Basili |
| Chen | Bo-Shoe | 1982 | Event-based specification and verification of distributed systems |
Raymond T. Yeh |
| Gordon | Karen | 1981 | On the construction of representative test workloads | Ashok Agrawala |
| Rutkowski | Wallace | 1981 | Shape segmentation and labeling |
Azriel Rosenfeld |
| Larsen | Ronald | 1981 | Control of Multiple Exponential Servers with Applications to Computer Systems | Ashok Agrawala |
| Reggia | James | 1981 | Knowledge-Based Decision Support Systems: Development through KMS |
Rieger |
| Agre | Jon | 1981 | Approximate Solutions to Queuing Networks with State Dependent Parameters | Ashok Agrawala |
| Weiss | David | 1981 | Evaluating software development by analysis of change data | Victor Basili |
| Agre | John | 1981 | Approximate Solutions to Queuing Networks with State Dependent Parameters | Ashok Agrawala |
| Gordon | Karen | 1981 | On the Construction of Representative Test Workloads | Ashok Agrawala |
| Morgenthaler | David | 1981 | Three-dimensional digital image processing |
Azriel Rosenfeld |
| 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 |
| Mohr | Jeffrey | 1980 | On the characterization of computer systems' workloads | Ashok Agrawala |
| Grinberg | Milton | 1980 | A knowledge-based design environment for digital electronics |
Rieger |
| Ricart | Glenn | 1980 | Efficient Synchronization Algorithms for Distributed Systems | Ashok Agrawala |
| Ahuja | Narendra | 1979 | Connectedness Properties of Bombing Patterns |
Azriel Rosenfeld |
| Herman | Martin | 1979 | Understanding body postures of human stick figures |
Azriel Rosenfeld |
| Peleg | Shmuel | 1979 | Ambiguity reduction in probabilistic networks |
Azriel Rosenfeld |
| Doszkocs | Tamas | 1979 | AID :!n associative interactive dictionary for online bibliographic searching | |
| Forman | Ira | 1979 | On the decomposition of programs into primes |
Mills |
| Lowe | George | 1979 | Heuristic approaches to the decomposition of sparse matrices |
Werner C. Rheinboldt |
| Reiter | Robert | 1979 | A experimental investigation of computer program development approaches and computer programming metrics | Victor Basili |
| Underwood | William | 1979 | ||
| Hayes | Kenneth | 1979 | Reading handwritten Words |
Azriel Rosenfeld |
| Dyer | Charles | 1979 | Augmented cellular automata for image analysis |
Azriel Rosenfeld |
| Lemkin | Peter | 1978 | Bone marrow smear image analysis |
Azriel Rosenfeld |
| London | Philip | 1978 | Dependency Networks as a Representation for Modeling in General Problem Solvers |
Rieger |
| Gishen | Jeffrey | 1978 | A method for the formal derivation of programs and its applicability to automatic program synthesis |
R.E. Noonan |
| Wu | Angela | 1978 | Cellular Graph Automata |
Azriel Rosenfeld |
| Shaffer | Jeffrey | 1978 | Automatic subroutine generation in an optimizing compiler |
Matthew Hecht |
| Dunsmore | Hubert | 1978 | The influence of programming factors on programming complexity |
John D. Gannon |
| Shapiro | Bruce | 1978 | Shape description using boundary sequences |
Azriel Rosenfeld |
| Hill | Eric | 1977 | Computer Solution of Large Dense Linear Problems | G.W. (Pete) Stewart |
| Ford | Gary | 1977 | An investigation of embeddings of cellular spaces for cellular automata |
Edmundson |
| Tung | Immanuel | 1977 | A language-acceptor type of probabilistic cellular automation |
Edmundson |
| Stockman | George | 1977 | A problem-reduction approach to the linguistic analysis of waveforms | |
| Frederickson | Greg | 1977 | Approximation algorithms for NP-hard routing problems |
Matthew Hecht |
| Parikh | Josephine | 1977 | Automatic cloud classification and segmentation |
Azriel Rosenfeld |
| Vanderbrug | Gordon | 1977 | Linear feature detection and mapping |
Azriel Rosenfeld |
| Carmichael | Arthur | 1976 | Semantic classification of features of programming languages | Victor Basili |
| Kulkarni | Ashok | 1976 | Optional and heuristic synthesis of hierarchical classifiers | |
| Lemmer | John | 1976 | Algorithms for incompletely specified distributions in a generalized graph model for medical diagnosis | |
| Wilson | Gerald | 1976 | A Description and Analysis of the PAR Technique - An Approach to Parallel Inference and Parallel Search in Problem Solving Systems |
Hendler |
| Nagel | Roger | 1976 | Computer detection of freehand forgeries |
Azriel Rosenfeld |