Search Constraints
Search Results
Select an image to start the slideshow
Wall Street Project
1 of 25
Translating Alloy to SMT-LIB
2 of 25
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
3 of 25
Towards a Transition System Semantics for Alloy
4 of 25
Risk Reporting Techniques
5 of 25
A Natural Language Interface Using First Order Logic
6 of 25
Modeling and Analyzing Security Requirements for Java
7 of 25
Interactive Model Finding with Hominy
8 of 25
Generating Universal Models for Geometric Theories
9 of 25
Data Generation, Distribution & Management
10 of 25
Core Finding for Relational Structures
11 of 25
Global Credit Products Technology SPV Reporting Tool
12 of 25
BNP Paribas: Systems Analysis and Concept Development
13 of 25
BNP Paribas: Equity Smart Order Router
14 of 25
Build and Release Optimization of the Structured Credit Desktop
15 of 25
Formal Verification of Boolean Unification Algorithms with Coq
16 of 25
A Tactic For Setoid Congruence
17 of 25
Live score synchronization II
18 of 25
Model checking for role-based access control
19 of 25
Normalization for metadata
20 of 25
Theory assistant
21 of 25
Theory Assistant 2
22 of 25
Timing diagram to Buchi automation translation
23 of 25
X2S
24 of 25
Privacy in Online Social Networks
25 of 25
