Paul Mountcastle

Embedded second-order cone programming with radar applications

Richard Lethin, Thomas Henretty, Paul Mountcastle, 2015, 2015 IEEE High Performance Extreme Computing Conference (HPEC).

How appropriate is the balanced scorecard as an internal reporting framework? / Paul Mountcastle and Noel Yahanpath

Noel Yahanpath, Paul Mountcastle, Noel Yahanpath, 2015 .

A unified Coq framework for verifying C programs with floating-point computations

Tahina Ramananandro, Richard Lethin, Paul Mountcastle, 2016, CPP.