Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Dougherty, Daniel J.

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