Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Contributor
Guttman, Joshua
Remove constraint Contributor: Guttman, Joshua
1
-
5
of
5
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
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
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
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
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
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
Toggle facets
Limit your search
Collections
PhD Dissertations
5
Year
Year range begin
–
Year range end
Current results range from
2012
to
2015
View distribution
Creator
Cao, Ning
1
Nelson, Tim
1
Saghafi, Salman
1
Song, Fei
1
Yoo, Daniel
1
Advisor
Dougherty, Daniel J.
2
Fisler, Kathryn
2
Lou, Wenjing
1
Sarkozy, Gabor N
1
Contributor
Dougherty, Daniel J.
2
Fisler, Kathryn
2
Guttman, Joshua
[remove]
5
Gyarfas, Andras
1
Heineman, George T.
1
more
Contributors
»
Unit (Department)
Computer Science
4
Electrical & Computer Engineering
1
Publisher
Worcester Polytechnic Institute
5
Resource type
Dissertation
5