PhD Alumni

Last First Year Dissertation Advisor
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
Yang Changjiang 2005 Efficient Evaluation of Gaussian Sums with Applications in Vision and Learning
Chelaru Florin 2015 Epiviz: Integrated Visual Analysis Software for Genomics
Reisse Andrew 2001
Sawant Anshul 2016 Computational Analysis of Intelligent Agents: Social and Strategic Settings
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
Gomaa Walid 2007 Model Theory and Complexity Theory
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
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
Yang Jae-Heon 1994 Scalable synchronization in shared memory multiprocessing systems James H. Anderson
Kim Daehwan 2013 RNA-Sequencing Analysis: Read Alignment and Discovery Reconstruction of Fusion Transcripts Steven Salzberg