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.
« Previous
|
21
-
40
of
48
|
Next »
Sort by date modified ▼
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
20 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
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
« Previous
Next »
1
2
3
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