Lennart Beringer

发表

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Amy P. Felty, Lennart Beringer, Lennart Beringer, 2012, Lecture Notes in Computer Science.
Andrew W. Appel, Lennart Beringer, Lennart Beringer, 2019, Formal Methods in System Design.
Lennart Beringer, Lennart Beringer, 2010, J. Log. Algebraic Methods Program..
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Hans-Wolfgang Loidl, David Aspinall, 2004, TPHOLs.
Lennart Beringer, Lennart Beringer, 2003, CHARME.
Martin Hofmann, Benjamin Grégoire, Gilles Barthe, 2006, TGC.
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2012, ICFP.
Lennart Beringer, Lennart Beringer, 2011, ITP.
Martin Hofmann, Nick Benton, Andrew Kennedy, 2009, PPDP '09.
Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2007 .
Martin Hofmann, Lennart Beringer, Robert Grabowski, 2013, Comput. Lang. Syst. Struct..
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Lennart Beringer, Mariela Pavlova, 2008, FMCO.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Lennart Beringer, Martin Hofmann, 2016 .
Gilles Barthe, Erik Poll, Lennart Beringer, 2006 .
Erik Poll, Lennart Beringer, Martin Hofmann, 2008 .
Lennart Beringer, Lennart Beringer, 2001, TACS.
Andrew W. Appel, Robert Dockins, Lennart Beringer, 2014, ESOP.
Andrew W. Appel, Lennart Beringer, Adam Petcher, 2015, USENIX Security Symposium.
Kenneth MacKenzie, Lennart Beringer, Ian Stark, 2003, Electron. Notes Theor. Comput. Sci..
Andrew W. Appel, Lennart Beringer, Josiah Dodds, 2018, Journal of Automated Reasoning.
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Kenneth MacKenzie, Hans-Wolfgang Loidl, Lennart Beringer, 2009, 2009 Fourth Latin-American Symposium on Dependable Computing.
Lennart Beringer, Robert Grabowski, Lennart Beringer, 2009, ASIAN.
Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2005 .
Hans-Wolfgang Loidl, David Aspinall, Alberto Momigliano, 2004 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Lennart Beringer, S. Tucker Taft, Thomas Plum, 2012 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Nick Benton, Andrew Kennedy, 2006, APLAS.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Lennart Beringer, S. Tucker Taft, Thomas Plum, 2012, HILT.
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Andrew W. Appel, Matthew Green, Lennart Beringer, 2017, CCS.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Hans-Wolfgang Loidl, David Aspinall, 2007, Theor. Comput. Sci..
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2014 .
Martin Hofmann, Lennart Beringer, M. Hofmann, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Martin Hofmann, Lennart Beringer, Robert Grabowski, 2010, LPAR.
David Aspinall, Alberto Momigliano, Lennart Beringer, 2007, COCV@ETAPS.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Alberto Momigliano, Lennart Beringer, 2004, LPAR.
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Hans-Wolfgang Loidl, David Aspinall, Lennart Beringer, 2003 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Xavier Leroy, Aquinas Hobor, Robert Dockins, 2014 .
Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2007 .
Lennart Beringer, Lennart Beringer, 2002 .
Martin Hofmann, Nick Benton, Andrew Kennedy, 2007, PPDP '07.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Lennart Beringer, 2007, Electron. Notes Theor. Comput. Sci..
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Aquinas Hobor, Robert Dockins, Lennart Beringer, 2014 .
Martin Hofmann, Stephen Gilmore, Kenneth MacKenzie, 2005, Trends in Functional Programming.
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2015, POPL.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Martin Hofmann, Lennart Beringer, 2006, APLAS.
Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.
Lennart Beringer, Lennart Beringer, 2021, ESOP.
Martin Hofmann, David Aspinall, Lennart Beringer, 2003 .
Martin Hofmann, Hans-Wolfgang Loidl, Lennart Beringer, 2003 .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2012, ICFP.
Lennart Beringer, Lennart Beringer, 2010 .