Published Books
| Automatic Differentiation: Applications, Theory, and Implementations | M. Bucker, G. Corliss, P. Hovland, U. Naumann, and B. Norris, eds. | Springer, 2006 |
| Grid Resource Management | Jarek Nabrzyski, Jennifer M. Schopf, and Jan Weglarz, eds. | Kluwer, 2003 |
| High-Order Methods for Incompressible Fluid Flow | M. O. Deville, P. F. Fischer, and E. H. Mund | Cambridge University Press, 2002 |
| Collected Works of Larry Wos (2 vols.) | Larry Wos with Gail W. Pieper | World Scientific, 2000 |
| Using MPI, 2nd edition | William Gropp, Ewing Lusk, and Anthony Skjellum | MIT Press, 1999 |
| Using MPI-2 | William Gropp, Ewing Lusk, and Rajeev Thakur | MIT Press, 1999 |
| A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning |
Larry Wos with Gail W. Pieper | World Scientific, 1999 |
| MPI:
The Complete Reference - 2nd Edition Volume 2 - The MPI-2 Extensions |
William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, Bill Nitzberg, William Saphir, and Marc Snir | MIT Press, 1998 |
| Automated Deduction -- CADE-14 Lecture Notes in Artificial Intelligence, Vol. 1249 |
Edited by William McCune | Springer Verlag, Berlin, 1997 |
| Primal-Dual Interior-Point Methods | Stephen J. Wright | SIAM, 1996 |
| Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations | Barry Smith, Petter Bjorstad, and William Gropp | Cambridge Univ. Press, 1996 |
| Automated Deduction in Equational Logic and Cubic Curves | William McCune and R. Padmanabhan | Springer-Verlag, 1996 |
| The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial | Larry Wos | Academic Press, 1996 |
| Designing and Building Parallel Program: Concepts and Tools for Parallel Software Engineering | Ian Foster | Addison-Wesley Publishing Co., 1995 |
| Using MPI: Portable Parallel Programming with the Message Passing Interface | William Gropp, Ewing Lusk, and Anthony Skjellum | MIT Press, 1994 |
| Optimization Software Guide | Jorge J. More' and Stephen J. Wright | Frontiers in Applied Mathematics, SIAM, 1993 |
| Automated Reasoning: Introduction and Applications, 2nd ed. | Larry Wos, Ross Overbeek, Rusty Lusk, and Jim Boyle | McGraw-Hill, 1992 |
