J. O'Leary
发表
Jennifer Gillenwater,
J. Grundy,
G. Malecha,
2007
.
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
2001,
IEEE Des. Test Comput..
Wayne Luk,
John O'Leary,
Geoffrey Brown,
1994,
Formal Aspects of Computing.
Kenneth S. Stevens,
Krishnaji Desai,
John O'Leary,
2013,
2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
Carl-Johan H. Seger,
Mark Aagaard,
Robert B. Jones,
2005,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Edmund M. Clarke,
Timothy Kam,
Xudong Zhao,
1996,
FMCAD.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2011,
High. Order Symb. Comput..
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2009,
PEPM '09.
Tom Melham,
Daniel Kroening,
John O'Leary,
2020,
ArXiv.
W. Luk,
Jifeng He,
Geoffrey M. Brown,
1996
.
Wayne Luk,
John O'Leary,
Geoffrey Brown,
1997,
Formal Aspects of Computing.
John O'Leary,
J. O'Leary,
1996
.
Geoffrey Brown,
Wayne Luk,
John O'Leary,
1994,
Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.
Jim Grundy,
Thomas F. Melham,
John W. O'Leary,
2005,
Journal of Functional Programming.
Daniel Kroening,
Thomas F. Melham,
Andreas Tiemeyer,
2019,
ArXiv.
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
John O'Leary,
Sava Krstic,
Robert B. Jones,
2007,
PDPAR/PaUL@FLoC.
Mark Aagaard,
Thomas F. Melham,
John W. O'Leary,
1999,
CHARME.
Jim Grundy,
Cherif Salama,
Gregory Malecha,
2010,
New Generation Computing.