Index Catalog // Digital WPI

Graph Decompositions and Monadic Second Order Logic

1 of 10

Multi-Decision Policy and Policy Combinator Specifications

2 of 10

A Coq Formalization of Unification Modulo Exclusive-Or

3 of 10

Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

4 of 10

Privacy in Online Social Networks

5 of 10

X2S

6 of 10

Timing diagram to Buchi automation translation

7 of 10

Theory Assistant 2

8 of 10

Theory assistant

9 of 10

Normalization for metadata

10 of 10

Limit your search