Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Major Computer Science Publisher Worcester Polytechnic Institute

« Previous | 1 - 20 of 25 | Next »

List Gallery Masonry Slideshow

M613mz968?file=thumbnail

Wall Street Project

Mw22v685r?file=thumbnail

Translating Alloy to SMT-LIB

Dn39x295w?file=thumbnail

Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading

Qj72p860c?file=thumbnail

Towards a Transition System Semantics for Alloy

Kw52j961h?file=thumbnail

Risk Reporting Techniques

G732db469?file=thumbnail

A Natural Language Interface Using First Order Logic

Xs55md590?file=thumbnail

Modeling and Analyzing Security Requirements for Java

D791sh83s?file=thumbnail

Interactive Model Finding with Hominy

Sb397976f?file=thumbnail

Generating Universal Models for Geometric Theories

Mg74qn67s?file=thumbnail

Data Generation, Distribution & Management

Wh246t72x?file=thumbnail

Core Finding for Relational Structures

5999n5165?file=thumbnail

Global Credit Products Technology SPV Reporting Tool

C247dt77j?file=thumbnail

BNP Paribas: Systems Analysis and Concept Development

3197xn69k?file=thumbnail

BNP Paribas: Equity Smart Order Router

Zg64tn33q?file=thumbnail

Build and Release Optimization of the Structured Credit Desktop

Qf85nd99j?file=thumbnail

Formal Verification of Boolean Unification Algorithms with Coq

H415pd50q?file=thumbnail

A Tactic For Setoid Congruence

Gm80hz58b?file=thumbnail

Live score synchronization II

T435gh39t?file=thumbnail

Model checking for role-based access control

Mp48sg88h?file=thumbnail

Normalization for metadata