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