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