Index Catalog // Digital WPI

Skip to Content

Digitalwpilogo 2019

Home
Browse
- Browse by Collection
- Browse by Project Center
About
Help

Explore, Discover, Share

Search Constraints

Start Over

Filtering by: Advisor Dougherty, Daniel J. Remove constraint Advisor: Dougherty, Daniel J.

« Previous | 1 - 20 of 44 | Next »

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

Creator:

Veloz Baez, Freddy

Advisor:

Dougherty, Daniel J. and Shue, Craig

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-04-27

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
X2S

Creator:

Nordin, Richard J.

Advisor:

Dougherty, Daniel J. and Mani, Murali

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project
Timing diagram to Buchi automation translation

Creator:

Schudy, Warren J. and Cooper, Peter Sidney

Advisor:

Fisler, Kathryn and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
Theory Assistant 2

Creator:

Johnson, Nathan Aaron

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
Theory assistant

Creator:

Landry, Adam Michael, Chadwick, Zachary, and McKay, Kerry Ann

Advisor:

Dougherty, Daniel J. and Ciaraldi, Michael J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
Normalization for metadata

Creator:

Shahu Doku, Ermelinda, Susco, David James, and Keay, David A.

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2005-01-01

Resource Type:

Major Qualifying Project
Model checking for role-based access control

Creator:

Sader, Paul M. and Griffel, Eric Michael

Advisor:

Dougherty, Daniel J. and Martin, William J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-01-01

Resource Type:

Major Qualifying Project
Live score synchronization II

Creator:

Jordan, Diane Rosalie and Johnson, Mark Daniel

Advisor:

Dougherty, Daniel J. and Ciaraldi, Michael J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2003-01-01

Resource Type:

Major Qualifying Project
A Tactic For Setoid Congruence

Creator:

Ehrlich, Kyle

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2021-05-05

Resource Type:

Major Qualifying Project
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal verification, Formal modeling, Alloy, 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:

Computer Science
Formal Verification of Boolean Unification Algorithms with Coq

Creator:

Antonatos, Spyridon, McDonald, Matthew Joseph, Richardson, Dylan, and St. Pierre, Joseph Keenan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2019-04-24

Resource Type:

Major Qualifying Project
A Formalization of Strand Spaces in Coq

Creator:

Nguyen, Hai Hoang

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Major Qualifying Project
Build and Release Optimization of the Structured Credit Desktop

Creator:

Mehta, Jaymin Rajen, Rodriguez, Byron E, and Li, Han

Advisor:

Dougherty, Daniel J. and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2011-01-12

Resource Type:

Major Qualifying Project
BNP Paribas: Equity Smart Order Router

Creator:

Lai, Huan Tu and Wang, Xiaoyun

Advisor:

Gerstenfeld, Arthur, Dougherty, Daniel J., and Abraham, Jon P.

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-11-29

Resource Type:

Major Qualifying Project
BNP Paribas: Enterprise Architecture

Creator:

He, Zhen and Servi, Joseph Franklin

Advisor:

Gerstenfeld, Arthur, Dougherty, Daniel J., and Abraham, Jon P.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-01-13

Resource Type:

Major Qualifying Project
BNP Paribas: Systems Analysis and Concept Development

Creator:

Scarborough, Aubrey Marie, Sherrerd, Timothy Scott, and Dean, Brendan Padraic

Advisor:

Gerstenfeld, Arthur and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-16

Resource Type:

Major Qualifying Project
Global Credit Products Technology SPV Reporting Tool

Creator:

Hilario, Ekaterina V. and Encarnacion, Jenny

Advisor:

Gerstenfeld, Arthur, Dougherty, Daniel J., and Abraham, Jon P.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-18

Resource Type:

Major Qualifying Project
Changing Business Practices in a New Regulatory Environment

Creator:

Wang, Boya and Dickson, James Benton

Advisor:

Gerstenfeld, Arthur and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-17

Resource Type:

Major Qualifying Project
Core Finding for Relational Structures

Creator:

Pataranutaporn, Visit

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2014-05-01

Resource Type:

Major Qualifying Project
Data Generation, Distribution & Management

Creator:

Herreros-Alvarez, Claudio and Kildea, Jotham Alexander

Advisor:

Gerstenfeld, Arthur and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2011-03-30

Resource Type:

Major Qualifying Project

« Previous
Next »
1
2
3

Limit your search

Collections

Major Qualifying Projects34
Masters Theses6
PhD Dissertations2
Interactive Qualifying Projects1
Masters Reports1

Year

20034
20041
20052
20073
20082
more Years »

Creator

Adler, Jonathan D1
Adler, Jonathan D.1
Andrews, Craig H.1
Antonatos, Spyridon1
Beal, Taymon Angus1
more Creators »

Advisor

Abraham, Jon P.6
Brown, Donald R.1
Christopher, Peter R.1
Ciaraldi, Michael J.2
Dougherty, Daniel J.[remove]44
more Advisors »

Contributor

Dougherty, Daniel2
Dougherty, Daniel J.7
Fisler, Kathryn1
Guttman, Joshua2
Heineman, George T.1
more Contributors »

Project Center

MITRE-Bedford, Massachusetts Project Center - MQP1
Silicon Valley, California Project Center - MQP1
Wall Street-FinTech Project Center (Boston or New York) - MQP11
Wall Street-FinTech Project Center (London) - MQP2

Major

Actuarial Mathematics3
Computer Science25
Electrical & Computer Engineering2
Industrial Engineering2
Interdisciplinary8
more Majors »

Unit

Computer Science8
Mathematical Sciences1

Publisher

Worcester Polytechnic Institute44

Subject

Community1
Computing1

Resource type

Major Qualifying Project34
Thesis6
Dissertation2
Interactive Qualifying Project1
Report1

A service of Samvera.

Digital WPI v2.5.0

Switch language English
- Switch language
- Deutsch
- English
- Español
- Français
- Italiano
- Português do Brasil
- 中文
Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0