Stephen Doxsee

According to our database, Stephen Doxsee authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2005

Synthesis of C++ software for automated teller from CSPm specifications.

Stephen Doxsee, William B. Gardner

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Synthesis of C₊₊ Software from Verifiable CSPm Specifications.

Stephen Doxsee, William B. Gardner

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography.

Charlie Obimbo, Stephen Doxsee

Proceedings of the International Conference on Modeling, 2004