Magnus O. Myreen
发表
Ralph-Johan Back,
Johannes Eriksson,
Magnus O. Myreen,
2007,
TAP.
Magnus O. Myreen,
Jared Davis,
2014,
ITP.
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
Magnus O. Myreen,
Michael J. C. Gordon,
Anthony C. J. Fox,
2007,
FSEN'07.
Francesco Zappa Nardelli,
Magnus O. Myreen,
Peter Sewell,
2010,
Commun. ACM.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2020,
Journal of Automated Reasoning.
Magnus O. Myreen,
Andreas Lööw,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Magnus O. Myreen,
Scott Owens,
Scott Owens,
2014,
Journal of Functional Programming.
Magnus O. Myreen,
Michael J. C. Gordon,
2007,
TACAS.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
Proc. ACM Program. Lang..
Francesco Zappa Nardelli,
Magnus O. Myreen,
Jade Alglave,
2009,
SIGP.
Magnus O. Myreen,
Michael J. C. Gordon,
2009,
TPHOLs.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
J. Autom. Reason..
Magnus O. Myreen,
Gerwin Klein,
Thomas Sewell,
2013,
PLDI.
Magnus O. Myreen,
Gregorio Curello,
2013,
CPP.
Magnus O. Myreen,
Johannes Åman Pohjola,
Adam Sandberg Ericsson,
2017,
Journal of Automated Reasoning.
Magnus O. Myreen,
Jared Davis,
Jared Davis,
2011,
ITP.
Ramana Kumar,
Magnus O. Myreen,
Thomas Tuerk,
2015,
ITP.
Magnus O. Myreen,
Johannes Åman Pohjola,
Henrik Rostedt,
2019,
ITP.
Konrad Slind,
Magnus O. Myreen,
Michael J. C. Gordon,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Ramana Kumar,
Magnus O. Myreen,
2018,
ArXiv.
Magnus O. Myreen,
2010,
VSTTE.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2016,
ICFP.
Ramana Kumar,
Magnus O. Myreen,
Hugo Férée,
2018,
VSTTE.
Magnus O. Myreen,
Michael J. C. Gordon,
2009,
Electron. Notes Theor. Comput. Sci..
Magnus O. Myreen,
Anthony C. J. Fox,
A. Fox,
2010,
ITP.
Magnus O. Myreen,
Michael J. C. Gordon,
2012,
Sci. Comput. Program..
Magnus O. Myreen,
Michael J. C. Gordon,
Anthony C. J. Fox,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
PLDI.
Ramana Kumar,
Magnus O. Myreen,
Yong Kiam Tan,
2017,
CPP.
Magnus O. Myreen,
Jared Davis,
Jared Davis,
2015,
Journal of Automated Reasoning.
Konrad Slind,
Magnus O. Myreen,
Michael J. C. Gordon,
2009,
CC.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2014,
POPL.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
Journal of Functional Programming.
Magnus O. Myreen,
Heiko Becker,
Eva Darulova,
2017,
2018 Formal Methods in Computer Aided Design (FMCAD).
Magnus O. Myreen,
2012,
ITP.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2014,
ITP.
Magnus O. Myreen,
Heiko Becker,
Eva Darulova,
2017,
ArXiv.
Magnus O. Myreen,
Scott Owens,
Scott Owens,
2012,
ICFP.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2013,
ITP.
Magnus O. Myreen,
Oskar Abrahamsson,
2017,
TFP.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
ESOP.
Magnus O. Myreen,
2010,
ITP.
Magnus O. Myreen,
2010,
POPL '10.
Magnus O. Myreen,
Gerwin Klein,
Thomas Arthur Leck Sewell,
2013,
PLDI.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2018,
IJCAR.
Magnus O. Myreen,
Johannes Åman Pohjola,
Adam Sandberg Ericsson,
2018,
Journal of Automated Reasoning.
Magnus O. Myreen,
2011
.
Ralph-Johan Back,
Magnus O. Myreen,
R. Back,
2005,
12th Asia-Pacific Software Engineering Conference (APSEC'05).
Tom Ridge,
Francesco Zappa Nardelli,
Magnus O. Myreen,
2009,
POPL '09.
Magnus O. Myreen,
Yong Kiam Tan,
Alejandro Gómez-Londoño,
2020,
Proc. ACM Program. Lang..
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
ESOP.
Konrad Slind,
Magnus O. Myreen,
Michael J. C. Gordon,
2008,
2008 Formal Methods in Computer-Aided Design.
Ralph-Johan Back,
Johannes Eriksson,
Magnus O. Myreen,
2006,
FM 2006.
Francesco Zappa Nardelli,
Magnus O. Myreen,
Jade Alglave,
2009,
DAMP '09.
Ramana Kumar,
Magnus O. Myreen,
Zachary Tatlock,
2018,
ITP.
Magnus O. Myreen,
2021,
ITP.
Magnus O. Myreen,
2021,
CPP.
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2021,
TACAS.
Magnus O. Myreen,
R. Arthan,
Scott Owens,
2016,
Journal of Automated Reasoning.
Michael Norrish,
Magnus O. Myreen,
Ramana Kumar,
2014,
POPL.
Magnus O. Myreen,
Heiko Becker,
Eva Darulova,
2019,
CAV.
Magnus O. Myreen,
Yong Kiam Tan,
Ramana Kumar,
2015
.
Magnus O. Myreen,
Thomas Sewell,
Ramana Kumar,
2022,
ITP.
Magnus O. Myreen,
Yong Kiam Tan,
Eva Darulova,
2022,
Dagstuhl Artifacts Ser..
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2023,
International Journal on Software Tools for Technology Transfer.
Magnus O. Myreen,
Johannes Åman Pohjola,
Michael Norrish,
2023,
PLOS@SOSP.
Magnus O. Myreen,
Johannes Åman Pohjola,
Michael Norrish,
2023,
Proc. ACM Program. Lang..