John O'Leary

发表

Deriving two-phase modules for a multi-target hardware compiler

Geoffrey Brown, Wayne Luk, Jifeng He, 1996 .

Formal methods in computer-aided design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Mark Aagaard, John O'Leary, 2002 .

Panel on design for verification

Tevfik Bultan, Constance L. Heitmeyer, John O'Leary, 2005, MEMOCODE.

Integrating biomarkers across omic platforms: an approach to improve stratification of patients with indolent and aggressive prostate cancer

Pauline M. Rudd, Denis C. Shields, John O'Leary, 2018, Molecular oncology.