| 2005 | ISMB | Automatic detection of subsystem/pathway variants in genome analysis. | Yuzhen Ye, Andrei Osterman, Ross A. Overbeek, Adam Godzik |
| 1998 | SSDBM | Metabolic Pathway Interface to Molecular Biology Databases. | Barry Zeeberg, Kevin Watanabe, Susumu Goto, Ross A. Overbeek, Larry Kerschberg, George Michaels |
| 1994 | ICS | Fast phylogenetic analysis on a massively parallel machine. | Hideo Matsuda, Gary J. Olsen, Ross A. Overbeek, Yukio Kaneda |
| 1992 | ICLP | Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. | Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Pter Szeredi |
| 1992 | ICLP | Logic Programming and Genetic Sequence Analysis: a Tutorial. | Ross A. Overbeek |
| 1990 | CADE | A High-Performance Parallel Theorem Prover. | Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek |
| 1990 | CADE | Automated Reasoning Contributed to Mathematics and Logic. | Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler |
| 1988 | ICLP | Scheduling OR-Parallelism: An Argonne Perspective. | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |
| 1988 | ICLP | A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. | Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek |
| 1987 | ICLP | Experiments with OR-Parallel Logic Programs. | Terry Disz, Ewing L. Lusk, Ross A. Overbeek |
| 1986 | CADE | Paths to High-Performance Automated Theorem Proving. | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | CADE | ITP at Argonne National Laboratory. | Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | ICLP | Parallel Logic Programming for Numeric Applications. | Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1984 | CADE | A Portable Environment for Research in Automated Reasoning. | Ewing L. Lusk, Ross A. Overbeek |
| 1983 | ER | Data Management: A Practical View (Panel). | Paul K. Blackwell, Dan Kapp, Ross A. Overbeek, H. J. Spencer, Gio Wiederhold, Stanley B. Zdonik |
| 1983 | ER | Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. | G. Margrave, Ewing L. Lusk, Ross A. Overbeek |
| 1982 | CADE | Logic Machine Architecture: Kernel Funtions. | Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1982 | CADE | Logic Machine Architecture: Inference Mechanisms. | Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1981 | ER | Item Tracking Entity-Relationship Models. | Ewing L. Lusk, Gene Petrie, Ross A. Overbeek |
| 1980 | CADE | Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. | Ross A. Overbeek, Ewing L. Lusk |
| 1980 | CADE | Hyperparamodulation: A Refinement of Paramodulation. | Larry Wos, Ross A. Overbeek, Lawrence J. Henschen |
| 1980 | SIGMOD | A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. | Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello |
| 1979 | ER | A DML for Entity-Relationship Models. | Ewing L. Lusk, Ross A. Overbeek |