Guidance and control for cooperative search. - Dale Enns; Dan Bugajski; Steve Pratt (ACC, 2002)

Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. - Samar Dajani-Brown; Darren D. Cofer; Gary Hartmann; Steve Pratt (SPIN, 2003)

Multi-axis Mechanical Simulator for Epidural Needle Insertion. - John Magill; Bruce D. Anderson; Gina B. Anderson; Phillip Hess; Steve Pratt (ISMS, 2004)

Performance evaluation of linux file systems for data warehousing workloads. - Peter Wai Yee Wong; Ric Hendrickson; Haider Rizvi; Steve Pratt (Infoscale, 2006)