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