Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Anmeldung
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Committee
Dougherty, Daniel J.
Entfernen Zwang Committee: Dougherty, Daniel J.
« Vorig |
1
-
10
von
124
|
Nächste »
Ordnen bei relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Anschauen Ergebnisse als:
Liste
Gallery
Masonry
Slideshow
Download search results to .CSV file
Suchergebnisse
Add to Category
Remove From Category
A Coq Formalization of Unification Modulo Exclusive-Or
Schöpfer:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Stichwort:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Schöpfer:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Stichwort:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Schöpfer:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Stichwort:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Schöpfer:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Noninterference in Concurrent Game Structures
Stichwort:
Security
,
confidentiality
, and
noninterference
Schöpfer:
Mardziel, Piotr
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2007-05-02
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formalization and Verification of Rewriting-Based Security Polices
Stichwort:
Access Control
,
Maude
, and
term rewriting
Schöpfer:
Veselinov, Roman Nikolov
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2008-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Template-assisted fabrication of nano-biomaterials
Stichwort:
nanorod
,
nanofabrication
,
Polymer
,
protein
,
biomaterial
, and
nanotube
Schöpfer:
Dougherty, Shelley A.
Advisor:
Liang, Jianyu
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2009-08-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Materials Science & Engineering
Graph Decompositions and Monadic Second Order Logic
Stichwort:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Schöpfer:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Schöpfer:
Veloz Baez, Freddy
Advisor:
Dougherty, Daniel J.
and
Shue, Craig A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2022-04-27
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Daniels Hall Cornerstone Ceremony
Stichwort:
Cornerstone
,
Buildings
, and
Daniels Hall
Schöpfer:
White Photo
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
1962
Resource Type:
Image
« Vorig
Nächste »
1
2
3
4
5
…
12
13
Toggle facets
Beschränken dein Suche
Collections
Interactive Qualifying Projects
39
Major Qualifying Projects
38
PhD Dissertations
17
Masters Theses
15
WPI Historical Images
12
mehr
Collections
»
Year
Year range begin
–
Year range end
Current results range from
1962
to
2023
View distribution
Schöpfer
Abad, Brandon Richard
1
Abramovich, Daniel Nathan
1
Acito, Daniel
1
Adler, Jonathan D
1
Ahles, Daniel John
1
mehr
Schöpfers
»
Advisor
Abel, Curtis Allen
1
Addison, W. A. Bland
1
Agu, Emmanuel O.
1
Albano, Leonard D.
1
Amante, Daniel J.
1
mehr
Advisors
»
Contributor
Amante, Daniel J.
1
Ari, Ismail
1
Bajracharya, Adarsha S.
1
Blandino, John J.
2
Brown, Donald R.
1
mehr
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
mehr
Project Centers
»
Major
Aerospace Engineering
1
Bioinformatics & Computational Biology
1
Biomedical Engineering
1
Chemical Engineering
4
Chemistry
1
mehr
Majors
»
Unit (Department)
Biology & Biotechnology
1
Computer Science
20
Electrical & Computer Engineering
2
Interactive Media and Game Development
1
Materials Science & Engineering
2
mehr
Unit (Department)s
»
Herausgeber
Worcester Polytechnic Institute
124
Fach
Community
19
Computing
12
Culture
14
Energy
3
Environment
5
mehr
Faches
»
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
Ressourcentyp
Interactive Qualifying Project
39
Major Qualifying Project
38
Dissertation
17
Thesis
15
Image
12
mehr
Ressourcentyps
»
License
https://creativecommons.org/licenses/by-nc/4.0/
14
https://creativecommons.org/licenses/by/4.0/
1
Award
Provost's MQP Award
1
