Robert B. Jones
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
1995–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver. | Andrew Reynolds, Hans-Jrg Schurr, Haniel Barbosa, Ofec Israel, Jibiana Jakpor, Hanna Lachnitt, Abdalrhman Mohamed, Aina Niemetz, Mathias Preiner, Yoni Zohar, Robert B. Jones, Clark W. Barrett, Cesare Tinelli |
| 2024 | FMCAD | 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, Kunal Sheth, Christopher Stephens, Michael W. Whalen |
| 2004 | FMCAD | Synchronization-at-Retirement for Pipeline Verification. | Mark D. Aagaard, Nancy A. Day, Robert B. Jones |
| 2002 | FMCAD | Abstraction by Symbolic Indexing Transformations. | Thomas F. Melham, Robert B. Jones |
| 2000 | DAC | Formal verification of iterative algorithms in microprocessors. | Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger |
| 2000 | FMCAD | A Methodology for Large-Scale Hardware Verification. | Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger |
| 1999 | DAC | Parametric Representations of Boolean Constraints. | Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger |
| 1998 | CAV | Formal Verification of Out-of-Order Execution Using Incremental Flushing. | Jens U. Skakkebk, Robert B. Jones, David L. Dill |
| 1998 | DAC | Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment. | Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger |
| 1998 | FMCAD | Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. | Robert B. Jones, Jens U. Skakkebk, David L. Dill |
| 1996 | FMCAD | Self-Consistency Checking. | Robert B. Jones, Carl-Johan H. Seger, David L. Dill |
| 1995 | ICCAD | Efficient validity checking for processor verification. | Robert B. Jones, David L. Dill, Jerry R. Burch |