| PySMO: Python Shared Memory Objects | 0 | 0.34 | 2010 |
| A Bilingual Theorem Prover for Evaluating HPC Systems | 0 | 0.34 | 2007 |
| The ProcessManagement Component of a Scalable Systems Software Environment | 3 | 0.53 | 2003 |
| A Scalable Process-Management Environment for Parallel Programs | 23 | 3.08 | 2000 |
| Monitors, messages, and clusters: the p4 parallel programming system | 87 | 45.09 | 1994 |
| A high-performance parallel theorem prover | 1 | 0.37 | 1990 |
| Scheduling OR-Parallelism: An Argonne Perspective | 27 | 2.20 | 1988 |
| Exploitation of Parallelism in Prototypical Deduction Problems | 4 | 3.21 | 1988 |
