Scott Owens
发表
Matthew Flatt,
Olin Shivers,
Scott Owens,
2004
.
Francesco Zappa Nardelli,
Peter Sewell,
Scott Owens,
2011,
ITP.
Francesco Zappa Nardelli,
Magnus O. Myreen,
Peter Sewell,
2010,
Commun. ACM.
Magnus O. Myreen,
Scott Owens,
Scott Owens,
2014,
Journal of Functional Programming.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2010
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
Proc. ACM Program. Lang..
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
J. Autom. Reason..
Bradford S. Davis,
Scott Owens,
Gregory Malejko,
2009
.
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2007,
ICFP '07.
Matthew Flatt,
Scott Owens,
Ryan Culpepper,
2005,
GPCE'05.
Scott Owens,
2019,
FTfJP@ECOOP.
Konrad Slind,
Scott Owens,
Juliano Iyoda,
2005
.
Matthew Flatt,
Scott Owens,
2006,
ICFP '06.
Scott Owens,
Scott Owens,
2008,
ESOP.
Tom Ridge,
Peter Sewell,
Scott Owens,
2014,
ICFP.
Scott Owens,
Carl G. Ritson,
2016,
PPOPP.
Simon J. Thompson,
Reuben N. S. Rowe,
Hugo Férée,
2019,
2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR).
Konrad Slind,
Scott Owens,
Scott Owens,
2008,
High. Order Symb. Comput..
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2016,
ICFP.
Konrad Slind,
Michael J. C. Gordon,
Scott Owens,
2006,
Electron. Notes Theor. Comput. Sci..
Ramana Kumar,
Magnus O. Myreen,
Hugo Férée,
2018,
VSTTE.
Jade Alglave,
Peter Sewell,
Kayvan Memarian,
2012,
PLDI '12.
Lydia E. Kavraki,
Elliot Anshelevich,
Florent Lamiraux,
2000,
Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
Tom Ridge,
Francesco Zappa Nardelli,
Peter Sewell,
2010,
J. Funct. Program..
Konrad Slind,
Michael J. C. Gordon,
Scott Owens,
2007,
Formal Aspects of Computing.
Francesco Zappa Nardelli,
Stephanie Weirich,
Peter Sewell,
2010
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2014,
POPL.
Konrad Slind,
Scott Owens,
Scott Owens,
2003
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
Journal of Functional Programming.
Guodong Li,
Konrad Slind,
Scott Owens,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Konrad Slind,
Scott Owens,
David S. Hardin,
2016,
SAFECOMP.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2014,
ITP.
Scott Owens,
Scott Owens,
2010,
ECOOP.
Ramana Kumar,
Scott Owens,
Yong Kiam Tan,
2015,
IFL '15.
Magnus O. Myreen,
Scott Owens,
Scott Owens,
2012,
ICFP.
Meng Wang,
Scott Owens,
2017,
Lecture Notes in Computer Science.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2013,
ITP.
Aaron Turon,
John H. Reppy,
Scott Owens,
2009,
Journal of Functional Programming.
Susmit Sarkar,
Jasmin Christian Blanchette,
Scott Owens,
2011,
PPDP.
Scott Owens,
Mark Batty,
Marco Paviotti,
2020,
ESOP.
Christopher Little,
Scott Owens,
Kathryn E. Gray,
2015
.
Scott Owens,
Gilles Peskine,
2007
.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
ESOP.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2009
.
Rajeev Alur,
Milo M. K. Martin,
Jade Alglave,
2012,
CAV.
Tom Ridge,
Francesco Zappa Nardelli,
Magnus O. Myreen,
2009,
POPL '09.
Matthew Flatt,
Konrad Slind,
Scott Owens,
2007
.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2009,
TPHOLs.
Guodong Li,
Konrad Slind,
Scott Owens,
2007,
ESOP.
Peter Sewell,
Susmit Sarkar,
Scott Owens,
2011,
POPL '11.
Peter Sewell,
Kayvan Memarian,
Susmit Sarkar,
2012,
POPL '12.
Simon J. Thompson,
Reuben N. S. Rowe,
Hugo Férée,
2019,
PLDI.
Guodong Li,
Joe Hurd,
Konrad Slind,
2005,
LPAR.
Scott Owens,
Hyun-Sik Kang,
Jerry Allison,
2002,
The American journal of clinical nutrition.