| |
| 2005 | ||
|---|---|---|
| 3 | EE | Stephen Doxsee, William B. Gardner: Synthesis of C++ Software from Verifiable CSPm Specifications. ECBS 2005: 193-201 |
| 2 | EE | Stephen Doxsee, William B. Gardner: Synthesis of C++ software for automated teller from CSPm specifications. SAC 2005: 1565-1566 |
| 2004 | ||
| 1 | Charlie Obimbo, Stephen Doxsee: The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography. MSV/AMCS 2004: 423-426 | |
| 1 | William B. Gardner | [2] [3] |
| 2 | Charlie Obimbo | [1] |