Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Advisor
Dougherty, Daniel J.
Supprimer la restriction Advisor: Dougherty, Daniel J.
« Précédente
|
11
-
20
sur
48
|
Suivante »
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
Model checking for role-based access control
Créateur:
Griffel, Eric Michael
and
Sader, Paul M.
Advisor:
Martin, William J.
and
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2007-01-01
Resource Type:
Major Qualifying Project
Live score synchronization II
Créateur:
Jordan, Diane Rosalie
and
Johnson, Mark Daniel
Advisor:
Dougherty, Daniel J.
and
Ciaraldi, Michael J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2003-01-01
Resource Type:
Major Qualifying Project
A Tactic For Setoid Congruence
Créateur:
Ehrlich, Kyle
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2021-05-05
Resource Type:
Major Qualifying Project
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Mot-clé:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Créateur:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formal Verification of Boolean Unification Algorithms with Coq
Créateur:
McDonald, Matthew Joseph
,
Antonatos, Spyridon
,
St. Pierre, Joseph Keenan
, and
Richardson, Dylan
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2019-04-24
Resource Type:
Major Qualifying Project
A Formalization of Strand Spaces in Coq
Créateur:
Nguyen, Hai Hoang
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2015-04-30
Resource Type:
Major Qualifying Project
Build and Release Optimization of the Structured Credit Desktop
Créateur:
Li, Han
,
Rodriguez, Byron E
, and
Mehta, Jaymin Rajen
Advisor:
Dougherty, Daniel J.
and
Gerstenfeld, Arthur
Éditeur:
Worcester Polytechnic Institute
date créée:
2011-01-12
Resource Type:
Major Qualifying Project
BNP Paribas: Equity Smart Order Router
Créateur:
Lai, Huan Tu
and
Wang, Xiaoyun
Advisor:
Dougherty, Daniel J.
,
Abraham, Jon P.
, and
Gerstenfeld, Arthur
Éditeur:
Worcester Polytechnic Institute
date créée:
2010-11-29
Resource Type:
Major Qualifying Project
BNP Paribas: Enterprise Architecture
Créateur:
Servi, Joseph Franklin
and
He, Zhen
Advisor:
Dougherty, Daniel J.
,
Gerstenfeld, Arthur
, and
Abraham, Jon P.
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-01-13
Resource Type:
Major Qualifying Project
BNP Paribas: Systems Analysis and Concept Development
Créateur:
Scarborough, Aubrey Marie
,
Sherrerd, Timothy Scott
, and
Dean, Brendan Padraic
Advisor:
Gerstenfeld, Arthur
and
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-12-16
Resource Type:
Major Qualifying Project
« Précédente
Suivante »
1
2
3
4
5
Toggle facets
Limiter votre recherche
Collections
Major Qualifying Projects
37
Masters Theses
7
PhD Dissertations
2
Interactive Qualifying Projects
1
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2003
to
2023
View distribution
Créateur
Adler, Jonathan D
1
Adler, Jonathan D.
1
Andrews, Craig H.
1
Angulo, Marco V.
1
Antonatos, Spyridon
1
plus
Créateurs
»
Advisor
Abraham, Jon P.
8
Brown, Donald R.
1
Christopher, Peter R.
1
Ciaraldi, Michael J.
2
Dougherty, Daniel J.
[remove]
48
plus
Advisors
»
Contributor
Dougherty, Daniel J.
10
Fisler, Kathryn
1
Guttman, Joshua
2
Heineman, George T.
1
Krishnamurthi, Shriram
1
plus
Contributors
»
Project Center
MITRE-Bedford, Massachusetts Project Center - MQP
1
Silicon Valley, California Project Center - MQP
1
Wall Street-FinTech Project Center (Boston or New York) - MQP
13
Wall Street-FinTech Project Center (London) - MQP
3
Major
Actuarial Mathematics
4
Computer Science
27
Electrical & Computer Engineering
2
Industrial Engineering
2
Interdisciplinary
9
plus
Majors
»
Unit (Department)
Computer Science
8
Mathematical Sciences
1
Éditeur
Worcester Polytechnic Institute
48
Assujettir
Community
1
Computing
1
Type de ressource
Major Qualifying Project
37
Thesis
7
Dissertation
2
Interactive Qualifying Project
1
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1