Skip to Content
Toggle navigation
Casa
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Accesso
Explore, Discover, Share
Partire
Advanced search
Ricerca
Cancellare i filtri
Filtro per:
Committee
Dougherty, Daniel J.
Cancella il filtro Committee: Dougherty, Daniel J.
« Pagina precedente |
1
-
10
di
124
|
Pagina successiva »
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Lavoro in corso
Slideshow
Risultati della ricerca
A Coq Formalization of Unification Modulo Exclusive-Or
Creatore:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Parola chiave:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Creatore:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Parola chiave:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Creatore:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Parola chiave:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Creatore:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Noninterference in Concurrent Game Structures
Parola chiave:
Security
,
confidentiality
, and
noninterference
Creatore:
Mardziel, Piotr
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2007-05-02
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formalization and Verification of Rewriting-Based Security Polices
Parola chiave:
Access Control
,
Maude
, and
term rewriting
Creatore:
Veselinov, Roman Nikolov
Advisor:
Dougherty, Daniel J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2008-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Template-assisted fabrication of nano-biomaterials
Parola chiave:
nanorod
,
nanofabrication
,
Polymer
,
protein
,
biomaterial
, and
nanotube
Creatore:
Dougherty, Shelley A.
Advisor:
Liang, Jianyu
Editore:
Worcester Polytechnic Institute
data di creazione:
2009-08-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Materials Science & Engineering
Graph Decompositions and Monadic Second Order Logic
Parola chiave:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Creatore:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Editore:
Worcester Polytechnic Institute
data di creazione:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Daniels Hall Cornerstone Ceremony
Parola chiave:
Cornerstone
,
Buildings
, and
Daniels Hall
Creatore:
White Photo
Editore:
Worcester Polytechnic Institute
data di creazione:
1962
Resource Type:
Image
Daniels Hall Cornerstone Ceremony
Parola chiave:
Cornerstone
,
Buildings
, and
Daniels Hall
Creatore:
White Photo
Editore:
Worcester Polytechnic Institute
data di creazione:
1962
Resource Type:
Image
« Pagina precedente
Pagina successiva »
1
2
3
4
5
…
12
13
Toggle facets
Affina la ricerca
Collections
Interactive Qualifying Projects
39
Major Qualifying Projects
38
PhD Dissertations
17
Masters Theses
15
WPI Historical Images
12
altri
Collections
»
Year
Year range begin
–
Year range end
Current results range from
1962
to
2023
View distribution
Creatore
Abad, Brandon Richard
1
Abramovich, Daniel Nathan
1
Acito, Daniel
1
Adler, Jonathan D
1
Ahles, Daniel John
1
altri
Creatores
»
Advisor
Abel, Curtis Allen
1
Addison, W. A. Bland
1
Agu, Emmanuel O.
1
Albano, Leonard D.
1
Amante, Daniel J.
1
altri
Advisors
»
Contributor
Amante, Daniel J.
1
Ari, Ismail
1
Bajracharya, Adarsha S.
1
Blandino, John J.
2
Brown, Donald R.
1
altri
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
altri
Project Centers
»
Major
Aerospace Engineering
1
Bioinformatics & Computational Biology
1
Biomedical Engineering
1
Chemical Engineering
4
Chemistry
1
altri
Majors
»
Unit (Department)
Biology & Biotechnology
1
Computer Science
20
Electrical & Computer Engineering
2
Interactive Media and Game Development
1
Materials Science & Engineering
2
altri
Unit (Department)s
»
Editore
Worcester Polytechnic Institute
124
Soggetto
Community
19
Computing
12
Culture
14
Energy
3
Environment
5
altri
Soggettos
»
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
Tipo di risorsa
Interactive Qualifying Project
39
Major Qualifying Project
38
Dissertation
17
Thesis
15
Image
12
altri
Tipo di risorsas
»
License
https://creativecommons.org/licenses/by-nc/4.0/
14
https://creativecommons.org/licenses/by/4.0/
1
Award
Provost's MQP Award
1