Extended subject access to hypertext online documentation, Parts I and II: The search-support and maintenance problems. - T. R. Girill; Thomas D. Griffin; Robert B. Jones (J. Am. Soc. Inf. Sci., 1991)

Efficient validity checking for processor verification. - Robert B. Jones; David L. Dill; Jerry R. Burch (ICCAD, 1995)

Self-Consistency Checking. - Robert B. Jones; Carl-Johan H. Seger; David L. Dill (FMCAD, 1996)

Formal Verification of Out-of-Order Execution Using Incremental Flushing. - Jens U. Skakkebæk; Robert B. Jones; David L. Dill (CAV, 1998)

Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. - Mark D. Aagaard; Robert B. Jones; Carl-Johan H. Seger (DAC, 1998)

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. - Robert B. Jones; Jens U. Skakkebæk; David L. Dill (FMCAD, 1998)

Parametric Representations of Boolean Constraints. - Mark D. Aagaard; Robert B. Jones; Carl-Johan H. Seger (DAC, 1999)

Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. - Mark D. Aagaard; Robert B. Jones; Carl-Johan H. Seger (TPHOLs, 1999)

Formal verification of iterative algorithms in microprocessors. - Mark D. Aagaard; Robert B. Jones; Roope Kaivola; Katherine R. Kohatsu; Carl-Johan H. Seger (DAC, 2000)

A Methodology for Large-Scale Hardware Verification. - Mark D. Aagaard; Robert B. Jones; Thomas F. Melham; John W. O'Leary; Carl-Johan H. Seger (FMCAD, 2000)

A Framework for Microprocessor Correctness Statements. - Mark D. Aagaard; Byron Cook; Nancy A. Day; Robert B. Jones (CHARME, 2001)

Practical Formal Verification in Microprocessor Design. - Robert B. Jones; John W. O'Leary; Carl-Johan H. Seger; Mark D. Aagaard; Thomas F. Melham (IEEE Des. Test Comput., 2001)

Abstraction by Symbolic Indexing Transformations. - Thomas F. Melham; Robert B. Jones (FMCAD, 2002)

Formal Verification of Out-of-Order Execution with Incremental Flushing. - Robert B. Jones; Jens U. Skakkebæk; David L. Dill (Formal Methods Syst. Des., 2002)

A framework for superscalar microprocessor correctness statements. - Mark D. Aagaard; Byron Cook; Nancy A. Day; Robert B. Jones (Int. J. Softw. Tools Technol. Transf., 2003)

Synchronization-at-Retirement for Pipeline Verification. - Mark D. Aagaard; Nancy A. Day; Robert B. Jones (FMCAD, 2004)

An industrially effective environment for formal hardware verification. - Carl-Johan H. Seger; Robert B. Jones; John W. O'Leary; Thomas F. Melham; Mark D. Aagaard; Clark W. Barrett; Don Syme (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Mothers of Pipelines. - Sava Krstic; Robert B. Jones; John O'Leary (PDPAR/PaUL@FLoC, 2006)

Introduction to special section on high-level design, validation, and test. - Michael S. Hsiao; Robert B. Jones (ACM Trans. Design Autom. Electr. Syst., 2008)

SMT-D: New Strategies for Portfolio-Based SMT Solving. - Clark W. Barrett; Pei-Wei Chen; Byron Cook; Bruno Dutertre; Robert B. Jones; Nham Le; Andrew Reynolds 001; Kunal Sheth; Christopher Stephens; Michael W. Whalen (FMCAD, 2024)