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