Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Advisor
Dougherty, Daniel J.
Remove constraint Advisor: Dougherty, Daniel J.
1
-
48
of
48
Sort by date modified ▼
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
100 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
A Coq Formalization of Unification Modulo Exclusive-Or
Sales Training and Swaption Pricing under New Regulatory Environment
Information Sharing at Bank of America
Information Sharing at Bank of America
User Evaluation Framework for Model Finding Research
A Framework for Exploring Finite Models
Multi-Decision Policy and Policy Combinator Specifications
First-Order Models for Configuration Analysis
Noninterference in Concurrent Game Structures
Graph Decompositions and Monadic Second Order Logic
Formalization and Verification of Rewriting-Based Security Polices
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Privacy in Online Social Networks
BNP Paribas: Equity Smart Order Router
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
Generating Universal Models for Geometric Theories
Data Generation, Distribution & Management
Enterprise Architecture
Analysis of social networks using Facebook
Protocol Analysis via The Chase
Formal Verification of Boolean Unification Algorithms with Coq
Core Finding for Relational Structures
Theory assistant
Timing diagram to Buchi automation translation
Global Credit Products Technology SPV Reporting Tool
Build and Release Optimization of the Structured Credit Desktop
Changing Business Practices in a New Regulatory Environment
Towards a Transition System Semantics for Alloy
Translating Alloy to SMT-LIB
Wall Street Project
BNP Paribas: Systems Analysis and Concept Development
BNP Paribas: Enterprise Architecture
Modeling and Analyzing Security Requirements for Java
Risk Reporting Techniques
Interactive Model Finding with Hominy
Environment Cockpit
X2S
Live score synchronization II
Theory Assistant 2
Normalization for metadata
Trusted Execution Environments with Architectural Support: Foundations and Implementation
A Natural Language Interface Using First Order Logic
Model checking for role-based access control
A Tactic For Setoid Congruence
Scenarios for Description Logic
Environment Cockpit
A Formalization of Strand Spaces in Coq
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Toggle facets
Limit your search
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
Creator
Adler, Jonathan D
1
Adler, Jonathan D.
1
Andrews, Craig H.
1
Angulo, Marco V.
1
Antonatos, Spyridon
1
more
Creators
»
Advisor
Abraham, Jon P.
8
Brown, Donald R.
1
Christopher, Peter R.
1
Ciaraldi, Michael J.
2
Dougherty, Daniel J.
[remove]
48
more
Advisors
»
Contributor
Dougherty, Daniel J.
10
Fisler, Kathryn
1
Guttman, Joshua
2
Heineman, George T.
1
Krishnamurthi, Shriram
1
more
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
more
Majors
»
Unit (Department)
Computer Science
8
Mathematical Sciences
1
Publisher
Worcester Polytechnic Institute
48
Subject
Community
1
Computing
1
Resource type
Major Qualifying Project
37
Thesis
7
Dissertation
2
Interactive Qualifying Project
1
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1