Search Constraints
Search Results
Select an image to start the slideshow
A Formalization of Strand Spaces in Coq
1 of 20
Environment Cockpit
2 of 20
Scenarios for Description Logic
3 of 20
A Tactic For Setoid Congruence
4 of 20
Model checking for role-based access control
5 of 20
A Natural Language Interface Using First Order Logic
6 of 20
Trusted Execution Environments with Architectural Support: Foundations and Implementation
7 of 20
Normalization for metadata
8 of 20
Theory Assistant 2
9 of 20
Live score synchronization II
10 of 20
X2S
11 of 20
Environment Cockpit
12 of 20
Interactive Model Finding with Hominy
13 of 20
Risk Reporting Techniques
14 of 20
Modeling and Analyzing Security Requirements for Java
15 of 20
BNP Paribas: Enterprise Architecture
16 of 20
BNP Paribas: Systems Analysis and Concept Development
17 of 20
Wall Street Project
18 of 20
Translating Alloy to SMT-LIB
19 of 20
Towards a Transition System Semantics for Alloy
20 of 20