Timing diagram to Buchi automation translation

Theory Assistant 2

Theory assistant

Normalization for metadata

Model checking for role-based access control

Live score synchronization II

A Tactic For Setoid Congruence

Formal Verification of Boolean Unification Algorithms with Coq

Build and Release Optimization of the Structured Credit Desktop

BNP Paribas: Equity Smart Order Router

BNP Paribas: Systems Analysis and Concept Development

Global Credit Products Technology SPV Reporting Tool

Core Finding for Relational Structures

Data Generation, Distribution & Management

Generating Universal Models for Geometric Theories

Interactive Model Finding with Hominy

Modeling and Analyzing Security Requirements for Java

A Natural Language Interface Using First Order Logic

Privacy in Online Social Networks