Codesign of Communication Protocols. - Alan S. Wenban; John O'Leary; Geoffrey Brown (Computer, 1993)

Retargeting a hardware compiler proof using protocol converters. - Geoffrey Brown; Wayne Luk; John O'Leary (ASYNC, 1994)

Developing Interface Libraries for Reconfigurable Data Acquisition Boards. - Alan S. Wenban; Geoffrey Brown; John O'Leary (FPL, 1995)

Retargeting a Hardware Compiler Using Protokol Converters. - Geoffrey Brown; Wayne Luk; John O'Leary (Formal Aspects Comput., 1996)

Verified Compilation of Communicating Processes into Clocked Circuits. - John O'Leary; Geoffrey Brown; Wayne Luk (Formal Aspects Comput., 1997)

Synchronous emulation of asynchronous circuits. - John O'Leary; Geoffrey Brown (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

Formal verification - prove it or pitch it. - Rajesh K. Gupta 001; Shishpal Rawat; Sandeep K. Shukla; Brian Bailey; Daniel K. Beece; Masahiro Fujita; Carl Pixley; John O'Leary; Fabio Somenzi (DAC, 2003)

Rob Tristan Gerth: 1956?2003. - John O'Leary; Marly Roncken (CAV, 2004)

Formal verification in Intel CPU design. - John O'Leary (MEMOCODE, 2004)

Panel on design for verification. - Tevfik Bultan; Constance L. Heitmeyer; John O'Leary (MEMOCODE, 2005)

Synchronous Elastic Circuits. - Michael Kishinevsky; Jordi Cortadella; Bill Grundmann; Sava Krstic; John O'Leary (CSR, 2006)

Synchronous Elastic Networks. - Sava Krstic; Jordi Cortadella; Michael Kishinevsky; John O'Leary (FMCAD, 2006)

Preface. - Ganesh Gopalakrishnan; John O'Leary (TV@FLoC, 2006)

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

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (PEPM, 2008)

Theorem Proving in Intel Hardware Design. - John O'Leary (NASA Formal Methods, 2009)

Synthesizable High Level Hardware Descriptions. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (New Gener. Comput., 2010)

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. - Cherif R. Salama; Gregory Malecha; Walid Taha; Jim Grundy; John O'Leary (High. Order Symb. Comput., 2011)

Symbolic verification of timed asynchronous hardware protocols. - Krishnaji Desai; Kenneth S. Stevens; John O'Leary (ISVLSI, 2013)

Large-scale cooperative 3D visual-inertial mapping in a Manhattan world. - Chao X. Guo; Kourosh Sartipi; Ryan C. DuToit; Georgios A. Georgiou; Ruipeng Li; John O'Leary; Esha D. Nerurkar; Joel A. Hesch; Stergios I. Roumeliotis (ICRA, 2016)

Resource-Aware Large-Scale Cooperative Three-Dimensional Mapping Using Multiple Mobile Devices. - Chao X. Guo; Kourosh Sartipi; Ryan C. DuToit; Georgios A. Georgiou; Ruipeng Li; John O'Leary; Esha D. Nerurkar; Joel A. Hesch; Stergios I. Roumeliotis (IEEE Trans. Robotics, 2018)

CREST: Hardware Formal Verification with ANSI-C Reference Specifications. - Andreas Tiemeyer; Tom Melham; Daniel Kroening; John O'Leary (CoRR, 2019)

Learning Concise Models from Long Execution Traces. - Natasha Yogananda Jeppu; Thomas F. Melham; Daniel Kroening; John O'Leary (DAC, 2020)

DIRECT - Digital Intertextual Resonances in Early Chinese Texts. - Gian Duri Rominger; John O'Leary; Nick Budak (DH, 2020)

Hardware/Software Co-verification Using Path-based Symbolic Execution. - Rajdeep Mukherjee; Saurabh Joshi 001; John O'Leary; Daniel Kroening; Tom Melham (CoRR, 2020)

Shrub Fractional Cover Estimation and Mapping of San Clemente Island Shrubland Based on Airborne Multispectral Imagery and Lidar Data. - Kelsey Warkentin; Douglas Stow; Kellie Uyeda; John O'Leary; Julie Lambert; Andrew Loerch; Lloyd Coulter (Remote. Sens., 2020)

Maximal Couplings of the Metropolis-Hastings Algorithm. - Guanyang Wang; John O'Leary; Pierre Jacob (AISTATS, 2021)