PhD Alumni

Lastsort descending First Year Dissertation Advisor
Khoo Yit Phang 2013 User-Centered Program Analysis Tools Michael Hicks, Jeffrey Foster
Khoo Yit Phang 2013 User-Centered Program Analysis Tools Michael Hicks, Jeffrey Foster
Khurana Udayan 2015 Historical Graph Data Management Amol Deshpande
Kim Youngmin 2008 Saliency-Guided Graphics and Visualization Amitabh Varshney
Kim Jik-Soo 2009 Decentralized and Scalable Resource Management for Desktop Grids Alan Sussman
Kim Daehwan 2013 RNA-Sequencing Analysis: Read Alignment and Discovery Reconstruction of Fusion Transcripts Steven Salzberg
Kim Kyungnam 2005 Algorithms and Evaluation for Object Dectection and Tracking in Computer Vision Larry Davis
Kim Yoo 2005 Algorithms for Data Migration Samir Khuller
Kim Taehyeong 1996 Toward optimizing distributed programs directed by configurations James Purtilo
Kim Chee 1986 Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications Ashok Agrawala
Kim Jung-Min 2001 Mechanisms Driving Costs and Benefits of Regression Test Selection Techniques Adam Porter
Kim Youngmin 2008 Saliency-Guided Graphics and Visualization Amitabh Varshney
Kirby Robert 1983 Iterative Parallel Labeling for Pattern Recognition Azriel Rosenfeld
Kitchen Leslie 1982 Local consistency and constraint filtering for structure matching and image analysis Azriel Rosenfeld
Ko Keng-Tai 1991 On congestion control in high-speed wide-area networks Satish Kumar Tripathi
Kobla Vikrant 2000 Automated Analysis of MPEG Compressed Video Azriel Rosenfeld
Kochut Andrzej 2005 Timestep Stochastic Sinulation of Computer Networks Using Diffusion Approximation A. Udaya Shankar
Kohli Madhur 1987 Controlling the Execution of Logic Programs Jack Minker
Kohout Robert 1998 Guaranteeing safety in the presence of moving obstacles Hendler
Kolak Okan 2005 Cross-Lingual Utilization of NLP Resources for New Languages James Reggia
Kolovski Vladimir 2008 Analyzing Web Access Control Policies using Description Logics Hendler
Koo Chiu Yuen 2007 Studies on Fault-Tolerant Broadcast and Secure Computation Jonathan Katz
Koren Sergey 2012 Genome Assembly: Novel Applications by Harnessing Emerging Sequencing Technologies and Graph Algorithms Mihai Pop
Korn Philip 1998 Indexing and Mining Medical Image and Multimedia Databases Christos Faloutsos
Korpeoglu Ibrahim 2000 Mobile and wireless networking for palmtop and laptop computers Satish Kumar Tripathi
Kotidis Ioannis 2000 A Framework for Mangament and Efficient Maintenance of Materialized Data Warehouse Aggregates Nicholas Roussopoulos
Krishnamoorthy Shivsubramani 2013 Rover – II: A Context-Aware Middleware for Pervasive Computing Environment Ashok Agrawala
Kuijt David 2001 An Object-Oriented Approach to Parallel Spatial Indexing of Vector-Format Polygons Hanan Samet
Kules William 2006 Supporting Exploratory Search with Meaningful and Stable Categorized Overviews Ben Shneiderman
Kulkarni Ashok 1976 Optional and heuristic synthesis of hierarchical classifiers Laveen Kanal
Kumar Vipin 1982 A unified approach to problem solving search procedures Laveen Kanal
Kumar Abhishek 2013 Learning with Multiple Similarities Hal Daumé III
Kumar Jayant 2013 Efficient Machine Learning Methods for Document Image Analysis Larry Davis
Kumar Srijan 2017 Characterization and Detection of Malicious Behavior on the Web
Kumaresan Ranjit 2012 Broadcast and Verifiable Secret Sharing: New Security Models and Round Optimal Constructions Jonathan Katz
Kushner Todd 1982 A theoretical model of interprocessor communication for parallel image processing Azriel Rosenfeld
Kuter Uger 2006 Planning Under Uncertainty: Moving Forward Dana Nau
Labrinidis Alexandros 2002 Online View Selection for the Web Nicholas Roussopoulos
Lakshman Tirunella 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Lakshman T.V. 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Lam Michael 2014 Automated Floating-Point Precision Analysis Jeffrey K. Hollingsworth
Lampton James 2015 Pig Squeal: Bridging Batch and Streaming Processing Using Incremental Updates Ashok Agrawala
Langmead Benjamin 2012 Algorithms and High Performance Computing Approaches for Sequencing-Based Comparative Genomics Steven Salzberg
Lapizco Encinas Grecia 2009 Cooperative Particle Swarm Optimization for Combinatorial Problems James Reggia
Larsen Ronald 1981 Control of Multiple Exponential Servers with Applications to Computer Systems Ashok Agrawala
Lee Chia-Hoang 1983 The use of shading in image segmentation and surface orientation estimation Azriel Rosenfeld
Lee Tak Yeon 2017 Toward Symbiotic Human-AI Interaction Focusing On Programming By Example
Lee Che-Rung 2006 Residual Arnoldi Methods: Theory, Package, ind Experiments G.W. (Pete) Stewart
Lee Sung 1998 A Study of Cyclone Technology Ashok Agrawala
Lee Woei-Jyh 2009 A Framework for Discovering Meaningful Associations in the Annotated Life Sciences Web Louiqa Raschid