PhD Alumni

Lastsort descending First Year Dissertation Advisor
Mardziel Piotr 2015 Modeling, Quantifying, and Limiting Adversary Knowledge Michael Hicks
Margalit Avraham 1989 Efficient image matching Azriel Rosenfeld
Martinez Maria Vanina 2011 Contributions to Personalizable Knowledge Integration V.S. Subrahmanian
Matos Gilberto 1998 Analysis and applications of receptive safety properties in concurrent systems James Purtilo
Matta Ibrahim 1995 Fast evaluation and dynamic control of integrated services networks A. Udaya Shankar
McCann Justin 2012 Automating Performance Diagnosis in Networked Systems Michael Hicks
McFadden Frank 1993 Competitive learning and competitive activation in cortical map formation
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction Atif Memon
McSkimin James 1976 Techniques for Employing Semantic Information in Question-Answering Systems Jack Minker
Memarsadeghi Nargess 2007 Efficient Algorithms for Clustering and Interpolation of Large Spatial Data Sets David Mount
Mendonca Manoel 1997 An approach to improving existing measurement frameworks in software development organizations Victor Basili
Mestre Julian 2007 Primal-Dual Algorithms for Combinatorial Optimization Problems Samir Khuller
Micinski Kristopher 2017 Interaction-Based Privacy Policies for Mobile Apps
Milgram David 1973 Web automata Azriel Rosenfeld
Miller Andrew 2016 Provable Security for Cryptocurrencies Jonathan Katz
Miller Michael 1993 A view of one's past and other aspects of reasoned change in belief Don Perlis
Milton Leslie 2016 User Behavioral Modeling of Web-based Systems for Continuous User Authentication Atif Memon
Mintz Doron 1991 Robustness by consensus Azriel Rosenfeld
Mirrashed Fatemeh 2013 Domain Adaptive Object Recognition and Detection Larry Davis
Mishra Arunesh 2005 Supporting Secure and Transparent Mobility in Wireless-Local-Area Networks William Arbaugh
Mitchell Elizabeth 1990 A competitive activation mechanism for semantic inference James Reggia
Mittal Anurag 2002 Surveillance under Severe Occlusions Larry Davis
Mohr Jeffrey 1980 On the characterization of computer systems' workloads Ashok Agrawala
Mondal Jayanta 2016 Real-Time Querying and Analytics on Large Dynamic Graphs Amol Deshpande
Monner Derek 2011 A Neurocomputational Model of Grounded Language Comprehension And Production at the Sentence Level James Reggia
Monroe Megan 2014 Interactive Event Sequence Query and Transformation Ben Shneiderman
Montemayor Jaime 2003 Physical Programming Hendler
Moon Bongki 1996 Data placement for high performance spatio-temporal databases Joel Saltz
Moon Soo-Mook 1993 Compile-time Parallelization of Non-numerical Code VLIW and Superscalar Ashok Agrawala
Morariu Vlad 2010 Analyzing Structured Scenarios by Tracking People and Their Limbs Larry Davis
Morell Larry 1983 A theory of error-based testing Richard G. Hamlet
Morgenthaler David 1981 Three-dimensional digital image processing Azriel Rosenfeld
Morimoto Carlos 1997 Electronic digital image stabilization :$esign and evaluation, with applications Ramalingam Chellappa
Morselli Ruggero 2006 Lookup Protocols and Techniques for Anonymity Jonathan Katz
Mosse Daniel 1993 A Framework for the Development and Deployment of Fault Tolerant Applications in Real-Time Systems Ashok Agrawala
Motteler Howard 1987 A mathematical model of static dataflow Carl Herbert Smith
Moustafa Walaa El-Din 2013 Declarative Cleaning, Analysis, and Querying of Graph-structured Data Amol Deshpande
Mukherjee Sarit 1993 A Multiclass Preemptive Protocol for High Speed Local and Metropolitan Area Networks Satish Kumar Tripathi
Mukherjee Koyel 2013 Algorithmic Approaches to Reducing Resource Costs in Data Centers Samir Khuller
Murphy Sandra 1990 Service specification and protocol construction for a layered architecture A. Udaya Shankar
Murphy Jack 1986 Matrix computations by Monte Carlo optimization Edmundson
Murphy Michael 2001 Geometric Algorithms in Control-Volume Meshing David Mount
Myers Austin 2017 From Form to Function: Detecting the Affordance of Tool Parts using Geometric Features and Material Cues
Nadeem Tamer 2006 Efficient Cross Layer Designs for IEEE 802.11 Ashok Agrawala
Nagaraja Varun 2016 Context Models for Understanding Images and Videos Larry Davis
Nagel Roger 1976 Computer detection of freehand forgeries Azriel Rosenfeld
Nakamura Taiga 2007 Recurring Software Defects in High End Computing Victor Basili
Nam Beomseok 2007 Distributed Multidimensional Indexing for Scientific Data Analysis Applications Alan Sussman
Namata Galileo 2012 Identifying Graphs from Noisy Observational Data Lise Getoor
Nandy Kaustav 2015 Segmentation and Informatics in Multi-Dimensional Fluorescence Optical Microscopy Images Ramalingam Chellappa