Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Contributor
Dougherty, Daniel J.
Remove constraint Contributor: Dougherty, Daniel J.
« Previous |
1
-
10
of
24
|
Next »
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 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
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Development of a Data-Grounded Theory of Program Design in HTDP
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Event stream analytics
User Evaluation Framework for Model Finding Research
Similarity Reasoning over Semantic Context-Graphs
A Framework for Exploring Finite Models
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
Extending Complex Event Processing for Advanced Applications
« Previous
Next »
1
2
3
Toggle facets
Limit your search
Collections
PhD Dissertations
16
Masters Theses
7
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2004
to
2023
View distribution
Creator
Adler, Jonathan D
1
Boteanu, Adrian
1
Castro, Francisco Enrique Vi G.
1
Chen, Li
1
Danas, Ryan
1
more
Creators
»
Advisor
Brown, Donald R.
1
Chernova, Sonia
1
Claypool, Mark L.
1
Dougherty, Daniel J.
10
Fisler, Kathryn
2
more
Advisors
»
Contributor
Ari, Ismail
1
Brown, Donald R.
1
Chandramouli, Badrish
1
Chernova, Sonia
1
Claypool, Mark L.
1
more
Contributors
»
Unit (Department)
Computer Science
20
Electrical & Computer Engineering
2
Mathematical Sciences
1
Publisher
Worcester Polytechnic Institute
24
Resource type
Dissertation
16
Thesis
7
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1