Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
About
Help
Explore, Discover, Share
Search
Search Constraints
Start Over
Filtering by:
Advisor
Dougherty, Daniel J.
Remove constraint Advisor: Dougherty, Daniel J.
Year
2015
Remove constraint Year: 2015
1
-
4
of
4
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
20 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
A Formalization of Strand Spaces in Coq
Interactive Model Finding with Hominy
Scenarios for Description Logic
A Framework for Exploring Finite Models
Toggle facets
Limit your search
Collections
Major Qualifying Projects
3
PhD Dissertations
1
Year
2015
[remove]
4
Creator
Beal, Taymon Angus
1
Ford, Erica Danielle
1
Murray, Nicholas Daniel
1
Nguyen, Hai Hoang
1
Saghafi, Salman
1
Advisor
Dougherty, Daniel J.
[remove]
4
Contributor
Dougherty, Daniel J.
1
Guttman, Joshua
1
Heineman, George T.
1
Ramsdell, John D.
1
Major
Computer Science
1
Interdisciplinary
2
Mathematical Sciences
1
Unit
Computer Science
1
Publisher
Worcester Polytechnic Institute
4
Resource type
Major Qualifying Project
3
Dissertation
1
