PhD Alumni

Lastsort descending First Year Dissertation Advisor
Filimonov Denis 2011 Decision Tree-Based Syntactic Language Modeling Philip Resnik
Fischer Jeffrey 1996 Compositional verification by model checking for counter-examples Richard Gerber
Fishman Daniel 1973 Experiments with a Resolution-Based Deductive Question-Answering System and a Proposed Clause Representation for Parallel Search Jack Minker
Flake Gary 1993 Nonmonotonic activation functions in multilayer perceptrons James Reggia
Fonseca Guilherme 2007 Approximate Range Searching in the Absolute Error Model David Mount
Fontana Peter 2014 Towards A Unified Theory of Timed Automata Rance Cleaveland
Ford Gary 1977 An investigation of embeddings of cellular spaces for cellular automata Edmundson
Forman Ira 1979 On the decomposition of programs into primes Mills
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Frangiadakis Nikolaos 2012 Connectivity and Data Transmission over Wireless Mobile Systems Nicholas Roussopoulos
Frederickson Greg 1977 Approximation algorithms for NP-hard routing problems Matthew Hecht
Friedland Noah 1993 Utilizing energy function and description length minimization for integrated delineation, representation, and classification of objects Azriel Rosenfeld
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion David Mount
Fujimura Kikuo 1990 Motion planning in dynamic domains Hanan Samet
Furr Michael 2009 Combining Static and Dynamic Typing in Ruby Jeffrey Foster
Gaasterland Terry 1992 Generating Cooperative Answers in Deductive Databases Jack Minker
Gal Annie 1988 Cooperative Responses in Deductive Databases Jack Minker
Gandhi Rajiv 2003 Broadcast Scheduling Samir Khuller
Gavrila Dariu 1996 Vision-based 3-D tracking of humans in action Larry Davis
Ghanem Nagia 2007 Petri Net Models for Event Recognition in Surveillance Videos Larry Davis
Gharai Ladan 1998 Multi-Platform Performance Models for Digital Video Systems Richard Gerber
Ghodsi Mohammadreza 2012 Searching, Clustering and Evaluating Biological Sequences Mihai Pop
Ghosh Subrata 1994 Heuristic Search with Limited Resources Dana Nau
Ginat David 1989 Adaptive ordering of contending processes in distributed systems Shankar Agrawala
Gishen Jeffrey 1978 A method for the formal derivation of programs and its applicability to automatic program synthesis R.E. Noonan
Gittens Shaun 2006 Neural Network Generation of Temporal Sequences from Single Static Vector Inputs Using Varying Length Distal Target Sequences James Reggia
Giuliano Mark 1990 The Control and Execution of Parallel Logic Programs Jack Minker
Glenn James 1998 Implementing WSIS via Finite Automata William Gasarch
Gobioff Howard 1993
Godfrey Parke 1999 An Architecture and Implementation of a Cooperative Database System Jack Minker
Golbeck Jennifer 2005 Computing and Applying Trust in Web-Based Social Networks Hendler
Golmie Nada 2002 Coexistence of Bluetooth and 802.11 networks A. Udaya Shankar
Golub Evan 1999 Empirical Studies in Parallel Sorting William Gasarch
Gomaa Walid 2007 Model Theory and Complexity Theory William Gasarch
Good Lance 2003 Zoomable User Interfaces for the Authoring and Delivery of Slide Presentations Ben Bederson
Gopalakrishnan Ponani 1986 Parellel Approximate Algorithms for Combinatorialy Hard Problems Laveen Kanal
Gopalakrishnan Vijay 2006 System Support for Keyword-Based Search in Structured Peer-to-Peer Systems Bobby Bhattacharjee
Gordon Karen 1981 On the Construction of Representative Test Workloads Ashok Agrawala
Gordon Diana 1990 Active bias adjustment for incremental, supervised concept learning Don Perlis
Gordon Karen 1981 On the construction of representative test workloads Ashok Agrawala
Gordon Samuel 2010 Fairness in Secure Computation Jonathan Katz
Goyal Amit 2013 Streaming and Sketch Algorithms for Large Data NLP Hal Daumé III
Gray James 1992 Multilevel security of probabilistic systems Victor Basili
Green Rebecca 2004 Inducing Semantic Frames From Lexical Resources Bonnie Dorr
Grinberg Milton 1980 A knowledge-based design environment for digital electronics Rieger
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy Jonathan Katz
Grushin Alexander 2007 Adapting Swam Intelligence for the Self-Assembly of Prespecified Artificial Structures James Reggia
Gryz Jaroslaw 1997 Syntactic and Semantic Optimization of Database Queries Jack Minker
Guerra Gomez John 2013 Exploring Differences in Multivariate Datasets Using Hierarchies: An Interactive Information Visualization Approach Ben Shneiderman
Guerra-Filho Gutemberg 2007 A Sensory-Motor Linguistic Framework for Human Activity Understanding John Aloimonos