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 | 31 - 40 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

Scenarios for Description Logic

Creator:

Ford, Erica Danielle and Murray, Nicholas Daniel

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Major Qualifying Project
Towards a Transition System Semantics for Alloy

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-03-16

Resource Type:

Major Qualifying Project
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading

Creator:

Williams, Maurice, Guizado, Olga Lorena, Sucre, Andres Eugenio, and Ossa, Daniel

Advisor:

Gerstenfeld, Arthur and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-01-14

Resource Type:

Major Qualifying Project
Translating Alloy to SMT-LIB

Creator:

Cinelli, Forrest C and McCormick, Kyle D

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-03-23

Resource Type:

Major Qualifying Project
Trusted Execution Environments with Architectural Support: Foundations and Implementation

Creator:

Biletch, Barry David

Advisor:

Dougherty, Daniel J. and Lauer, Hugh C

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-09-07

Resource Type:

Major Qualifying Project
Wall Street Project

Creator:

Doherty, Jessica Lynn, Wei, Xing, and Madan, Tanvir Singh

Advisor:

Dougherty, Daniel J., Brown, Donald R., and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-01-13

Resource Type:

Major Qualifying Project
Analysis of social networks using Facebook

Keyword:

Mathematical models, Social networks, and Internet--Social aspects

Creator:

Roy, Christian A. and Adler, Jonathan D.

Advisor:

Selkow, Stanley M. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-01-01

Resource Type:

Interactive Qualifying Project
User Evaluation Framework for Model Finding Research

Keyword:

user studies, model finding, user evaluation, logic, Verification, Case Studies, formal methods, and model finders

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
A Framework for Exploring Finite Models

Keyword:

Geometric Logic, Aluminum, Chase, Razor, finite model-finding, exploration, first-order logic, and provenance information

Creator:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
First-Order Models for Configuration Analysis

Keyword:

static analysis, logic, firewalls, Security, model finding, scenarios, and configuration

Creator:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science

« Previous
Next »
1
2
3
4
5

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