Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Guttman, Joshua

1. A Framework for Exploring Finite Models

Keyword:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
Creator:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. First-Order Models for Configuration Analysis

Keyword:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Creator:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

3. Practical and Theoretical Applications of the Regularity Lemma

Keyword:: regularity lemma; combinatorics and Data Mining
Creator:: Song, Fei
Advisor:: Sarkozy, Gabor N
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-22
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

4. Secure and Reliable Data Outsourcing in Cloud Computing

Keyword:: data reliability, cloud storage, keyword search, Cloud Computing, data availability, graph query, ranked search, Security, and Privacy Preserving
Creator:: Cao, Ning
Advisor:: Lou, Wenjing
Publisher:: Worcester Polytechnic Institute
Date Created:: 2012-07-31
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Electrical & Computer Engineering

5. Building Web Based Programming Environments for Functional Programming

Keyword:: compilation, web, javascript, programming environments, and Education
Creator:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science