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:
Committee
Dougherty, Daniel J.
Remove constraint Committee: Dougherty, Daniel J.
« Previous |
1
-
10
of
124
|
Next »
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
Download search results to .CSV file
Search Results
Add to Category
Remove From Category
A Coq Formalization of Unification Modulo Exclusive-Or
Creator:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Keyword:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Creator:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Keyword:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Creator:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Keyword:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Creator:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Noninterference in Concurrent Game Structures
Keyword:
Security
,
confidentiality
, and
noninterference
Creator:
Mardziel, Piotr
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2007-05-02
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formalization and Verification of Rewriting-Based Security Polices
Keyword:
Access Control
,
Maude
, and
term rewriting
Creator:
Veselinov, Roman Nikolov
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Template-assisted fabrication of nano-biomaterials
Keyword:
nanorod
,
nanofabrication
,
Polymer
,
protein
,
biomaterial
, and
nanotube
Creator:
Dougherty, Shelley A.
Advisor:
Liang, Jianyu
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-08-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Materials Science & Engineering
Graph Decompositions and Monadic Second Order Logic
Keyword:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Creator:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Daniels Hall Cornerstone Ceremony
Keyword:
Cornerstone
,
Buildings
, and
Daniels Hall
Creator:
White Photo
Publisher:
Worcester Polytechnic Institute
Date Created:
1962
Resource Type:
Image
Daniels Hall Cornerstone Ceremony
Keyword:
Cornerstone
,
Buildings
, and
Daniels Hall
Creator:
White Photo
Publisher:
Worcester Polytechnic Institute
Date Created:
1962
Resource Type:
Image
« Previous
Next »
1
2
3
4
5
…
12
13
Toggle facets
Limit your search
Collections
Interactive Qualifying Projects
39
Major Qualifying Projects
38
PhD Dissertations
17
Masters Theses
15
WPI Historical Images
12
more
Collections
»
Year
Year range begin
–
Year range end
Current results range from
1962
to
2023
View distribution
Creator
Abad, Brandon Richard
1
Abramovich, Daniel Nathan
1
Acito, Daniel
1
Adler, Jonathan D
1
Ahles, Daniel John
1
more
Creators
»
Advisor
Abel, Curtis Allen
1
Addison, W. A. Bland
1
Agu, Emmanuel O.
1
Albano, Leonard D.
1
Amante, Daniel J.
1
more
Advisors
»
Contributor
Amante, Daniel J.
1
Ari, Ismail
1
Bajracharya, Adarsha S.
1
Blandino, John J.
2
Brown, Donald R.
1
more
Contributors
»
Project Center
Acadia National Park, Maine Project Center - IQP
1
Bangkok, Thailand Project Center - IQP
3
Boston, Massachusetts Project Center - IQP
1
Copenhagen, Denmark Project Center - IQP
1
Hangzhou, China Project Center - IQP
1
more
Project Centers
»
Major
Aerospace Engineering
1
Bioinformatics & Computational Biology
1
Biomedical Engineering
1
Chemical Engineering
4
Chemistry
1
more
Majors
»
Unit (Department)
Biology & Biotechnology
1
Computer Science
20
Electrical & Computer Engineering
2
Interactive Media and Game Development
1
Materials Science & Engineering
2
more
Unit (Department)s
»
Publisher
Worcester Polytechnic Institute
124
Subject
Community
19
Computing
12
Culture
14
Energy
3
Environment
5
more
Subjects
»
UN SDG
3 - Good Health and Well-being
3
4 - Quality Education
1
5 - Gender Equality
1
7 - Affordable and Clean Energy
1
8 - Decent Work and Economic Growth
1
10 - Reducing Inequality
1
11 - Sustainable Cities and Communities
1
13 - Climate Action
1
15 - Life On Land
1
16 - Peace, Justice, and Strong Institutions
1
Resource type
Interactive Qualifying Project
39
Major Qualifying Project
38
Dissertation
17
Thesis
15
Image
12
more
Resource types
»
License
https://creativecommons.org/licenses/by-nc/4.0/
14
https://creativecommons.org/licenses/by/4.0/
1
Award
Provost's MQP Award
1