Lawrence C. Paulson

发表

Lawrence C. Paulson, 2004 .
Lawrence C. Paulson, Andrew W. Smith, Lawrence Charles Paulson, 1991, ELP.
Lawrence C. Paulson, Lawrence Charles Paulson, 1987 .
Lawrence C. Paulson, 1987 .
Lawrence C. Paulson, Jia Meng, Lawrence Charles Paulson, 2004, IJCAR.
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 1998 .
Lawrence C. Paulson, Behzad Akbarpour, Lawrence Charles Paulson, 2008, AISC/MKM/Calculemus.
Lawrence C. Paulson, 1987 .
Lawrence C. Paulson, Sidi O. Ehmety, 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.
Dieter Gollmann, Jan Jürjens, Tuomas Aura, 2002 .
Lawrence C. Paulson, Lawrence Charles Paulson, 2000, ArXiv.
Lawrence C. Paulson, Behzad Akbarpour, Lawrence Charles Paulson, 2007, LPAR.
Lawrence C. Paulson, 2015, Journal of Automated Reasoning.
Lawrence C. Paulson, 1987 .
Bruce Christianson, Ross Anderson, Michael Roe, 2005 .
Lawrence C. Paulson, Sascha Böhme, Jasmin Christian Blanchette, 2011, CADE.
Lawrence C. Paulson, 1999 .
Lawrence C. Paulson, Kong Woei Susanto, Lawrence Charles Paulson, 2007, TPHOLs.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2005, Journal of Automated Reasoning.
Lawrence C. Paulson, Lawrence Charles Paulson, 1997, Proceedings 10th Computer Security Foundations Workshop.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, James P. Bridge, Lawrence Charles Paulson, 2012, Journal of Automated Reasoning.
Lawrence C. Paulson, 2001, IJCAR.
Lawrence C. Paulson, Lawrence Charles Paulson, 1999, TSEC.
Lawrence C. Paulson, 2013, Arch. Formal Proofs.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2002, CCS '02.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2000, Security Protocols Workshop.
Lawrence C. Paulson, Lawrence Charles Paulson, 1997, Proceedings 10th Computer Security Foundations Workshop.
Lawrence C. Paulson, Lawrence Charles Paulson, 1994, CADE.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1987, Cambridge tracts in theoretical computer science.
Tobias Nipkow, Lawrence C. Paulson, Lawrence Charles Paulson, 1992, CADE.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, 2015, Arch. Formal Proofs.
Lawrence C. Paulson, Lawrence Charles Paulson, 1986, J. Log. Program..
Lawrence C. Paulson, Christoph Benzmüller, Nik Sultana, 2015, Journal of Automated Reasoning.
Lawrence C. Paulson, 2006, TOCL.
Lawrence C. Paulson, Lawrence Charles Paulson, 1993 .
Lawrence C. Paulson, Mohammad Abdulaziz, Lawrence Charles Paulson, 2016, Journal of Automated Reasoning.
Lawrence C. Paulson, Frederic Blanqui, Frederic Blanqui, 1999, Lecture Notes in Computer Science.
Lawrence C. Paulson, 1987 .
Lawrence C. Paulson, Lawrence Charles Paulson, 2013, FroCos.
Lawrence C. Paulson, Lawrence Charles Paulson, 2018, BIOGRAPHICAL MEMOIRS OF FELLOWS OF THE ROYAL SOCIETY.
Lawrence C. Paulson, Lawrence Charles Paulson, 1988, CADE.
Lawrence C. Paulson, Giampaolo Bella, 2002, Security Protocols Workshop.
Tobias Nipkow, Lawrence C. Paulson, Makarius Wenzel, 2019, Formal Aspects of Computing.
Lawrence C. Paulson, Wenda Li, Grant Olney Passmore, 2017, Journal of Automated Reasoning.
Matthew England, James H. Davenport, Lawrence C. Paulson, 2016, 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Lawrence C. Paulson, Christoph Benzmüller, Lawrence Charles Paulson, 2009, Logica Universalis.
Lawrence C. Paulson, 2004, Journal of Automated Reasoning.
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 2001, TPHOLs.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1985, Sci. Comput. Program..
Lawrence C. Paulson, Sidi O. Ehmety, Lawrence Charles Paulson, 2005, Formal Aspects of Computing.
Lawrence C. Paulson, Lawrence Charles Paulson, 2001, Log. J. IGPL.
Lawrence C. Paulson, Lawrence Charles Paulson, 2000, Proof, Language, and Interaction.
Tobias Nipkow, Lawrence C. Paulson, 2008, Arch. Formal Proofs.
Lawrence C. Paulson, Jia Meng, Lawrence Charles Paulson, 2009, J. Appl. Log..
Lawrence C. Paulson, Sascha Böhme, Jasmin Christian Blanchette, 2011, Journal of Automated Reasoning.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2008, TPHOLs.
Lawrence C. Paulson, Christoph Benzmüller, Arnaud Fietzke, 2008, IJCAR.
Lawrence C. Paulson, 1984 .
Lawrence C. Paulson, Ralph Romanos, 2012, Arch. Formal Proofs.
Lawrence C. Paulson, 1998, Security Protocols Workshop.
Lawrence C. Paulson, Christoph Benzmüller, Nik Sultana, 2015, FroCos.
Florian Kammüller, Lawrence C. Paulson, Lawrence Charles Paulson, 1999, Journal of Automated Reasoning.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2002 .
Bernhard Beckert, Lawrence C. Paulson, 2007, J. Autom. Reason..
Lawrence C. Paulson, 1987 .
Lawrence C. Paulson, 2000, TOCL.
Lawrence C. Paulson, Lawrence Charles Paulson, 2014, SNC.
Lawrence C. Paulson, Lawrence Charles Paulson, 2021, J. Comput. Secur..
Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2009, 2009 Formal Methods in Computer-Aided Design.
Lawrence C. Paulson, 1982, POPL '82.
Jacques D. Fleuriot, Lawrence C. Paulson, Lawrence Charles Paulson, 1998, Automated Deduction in Geometry.
Lawrence C. Paulson, Lawrence Charles Paulson, 1994 .
Pekka Nikander, Bruce Christianson, Ross Anderson, 2005 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1997, ArXiv.
Lawrence C. Paulson, Sean B. Holden, James P. Bridge, 2014, Journal of Automated Reasoning.
Lawrence C. Paulson, Behzad Akbarpour, Lawrence Charles Paulson, 2010, Journal of Automated Reasoning.
Lawrence C. Paulson, Clemens Ballarin, 1999, Fundam. Informaticae.
Lawrence C. Paulson, Jia Meng, Claire Quigley, 2006, Inf. Comput..
Lawrence C. Paulson, Lawrence Charles Paulson, 2008, CiE.
Lawrence C. Paulson, Lawrence Charles Paulson, 1998, Security Protocols Workshop.
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 2001, Security Protocols Workshop.
Lawrence C. Paulson, Sean B. Holden, Mateja Jamnik, 2019, ArXiv.
Lawrence C. Paulson, Paulo Emı́lio de Vilhena, 2020, IJCAR.
Lawrence C. Paulson, Lawrence Charles Paulson, 1995, Journal of Automated Reasoning.
Lawrence C. Paulson, Lawrence Charles Paulson, 1993, LICS 1993.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2003, IEEE J. Sel. Areas Commun..
Lawrence C. Paulson, Lawrence Charles Paulson, 1986, J. Symb. Comput..
Lawrence C. Paulson, Wenda Li, Lawrence Charles Paulson, 2018, Journal of Automated Reasoning.
Lawrence C. Paulson, Manuel Eberl, 2018, Arch. Formal Proofs.
Lawrence C. Paulson, 1987 .
Joan Feigenbaum, Bruce Christianson, Lawrence C. Paulson, 1999 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1983, Sci. Comput. Program..
Lawrence C. Paulson, Christoph Benzmüller, Lawrence Charles Paulson, 2010, Log. J. IGPL.
Lawrence C. Paulson, Behzad Akbarpour, Lawrence Charles Paulson, 2009, HSCC.
Bruce Christianson, Lawrence C. Paulson, Bruno Crispo, 1999 .
Matthew England, James H. Davenport, Lawrence C. Paulson, 2018, Mathematics in Computer Science.
Lawrence C. Paulson, 2019, Arch. Formal Proofs.
Lawrence C. Paulson, Lawrence Charles Paulson, 1989, Journal of Automated Reasoning.
Lawrence C. Paulson, 2009 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1996 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Lawrence C. Paulson, Jia Meng, Lawrence Charles Paulson, 2007, Journal of Automated Reasoning.
Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Lawrence C. Paulson, Gerwin Klein, Jia Meng, 2007, VERIFY.
Lawrence C. Paulson, Lawrence Charles Paulson, 2001, J. Comput. Secur..
Lawrence C. Paulson, Lawrence Charles Paulson, 2014, Arch. Formal Proofs.
Lawrence C. Paulson, Clemens Ballarin, 1998, AISC.
Lawrence C. Paulson, Lawrence Charles Paulson, 1994, Lecture Notes in Computer Science.
Andrei Popescu, Jeremy Avigad, Gregor Snelting, 2018, Journal of Automated Reasoning.
Lawrence C. Paulson, Mohammad Abdulaziz, 2018, Journal of Automated Reasoning.
Leslie Lamport, Lawrence C. Paulson, Lawrence Charles Paulson, 1999, TOPL.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2000 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1983 .
Lawrence C. Paulson, 1994 .
Lawrence C. Paulson, Lawrence Charles Paulson, 2015, CADE.
Lawrence C. Paulson, Lawrence Charles Paulson, 1990, Conference on Computer Logic.
Lawrence C. Paulson, 1997, J. Log. Comput..
Florian Kammüller, Lawrence C. Paulson, 2013 .
Lawrence C. Paulson, Lawrence Charles Paulson, 2014, The Review of Symbolic Logic.
Lawrence C. Paulson, 1994 .
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002, Lecture Notes in Computer Science.
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2000, ESORICS.
Tobias Nipkow, Lawrence C. Paulson, 1990 .
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 1998, ESORICS.
Lawrence C. Paulson, 1999, Math. Struct. Comput. Sci..
Tobias Nipkow, Lawrence C. Paulson, 2005, TPHOLs.
Lawrence C. Paulson, Giampaolo Bella, Cristiano Longo, 2003, Security Protocols Workshop.
Lawrence C. Paulson, Leonardo Mendonça de Moura, Grant Olney Passmore, 2012, AISC/MKM/Calculemus.
Lawrence C. Paulson, Lawrence Charles Paulson, 2002, CADE.
Jacques D. Fleuriot, Lawrence C. Paulson, Lawrence Charles Paulson, 1998, CADE.
Lawrence C. Paulson, 2010, Encyclopedia of Software Engineering.
Lawrence C. Paulson, Lawrence Charles Paulson, 1984, Method and tools for compiler construction.
Pekka Nikander, Mike Bond, Bruce Christianson, 2003 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1984, Semantics of Data Types.
Joan Feigenbaum, Bruce Christianson, Lawrence C. Paulson, 1999 .
Lawrence C. Paulson, 2004, Journal of Automated Reasoning.
Lawrence C. Paulson, 2003 .
Lawrence C. Paulson, 1987 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1991 .
Lawrence C. Paulson, Krzysztof Grabczewski, Lawrence Charles Paulson, 1996, Journal of Automated Reasoning.
Lawrence C. Paulson, 2001, Security Protocols Workshop.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, 2013, Arch. Formal Proofs.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1993, Journal of Automated Reasoning.
Lawrence C. Paulson, 1988 .
Lawrence C. Paulson, Lawrence Charles Paulson, 2012, ITP.
Pekka Nikander, Bruce Christianson, Ross Anderson, 2003 .
Lawrence C. Paulson, Jasmin Christian Blanchette, Nik Sultana, 2013, J. Appl. Log..
Lawrence C. Paulson, 1999, Security Protocols Workshop.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, Cambridge Cb, Pembroke Street, 1997 .
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2005, International Journal of Information Security.
Lawrence C. Paulson, Lawrence Charles Paulson, 2017, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Lawrence C. Paulson, Lawrence Charles Paulson, 2000 .
Lawrence C. Paulson, Wenda Li, Lawrence Charles Paulson, 2018, CPP.
Lawrence C. Paulson, Wenda Li, Lawrence Charles Paulson, 2016, CPP.
Lawrence C. Paulson, Lawrence Charles Paulson, 1999, J. Univers. Comput. Sci..
Lawrence C. Paulson, Giampaolo Bella, Cristiano Longo, 2003, TPHOLs.
Lawrence C. Paulson, Jean Everson Martina, 2013, SAC.
Florian Kammüller, Lawrence C. Paulson, Markus Wenzel, 1999, TPHOLs.
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 2006, TSEC.
Lawrence C. Paulson, Jean Everson Martina, 2013, SAC '13.
Lawrence C. Paulson, Giampaolo Bella, Lawrence Charles Paulson, 1998, CAV.
Lawrence C. Paulson, 2002, FASec.
Lawrence C. Paulson, Lawrence Charles Paulson, 1994, TYPES.
Lawrence C. Paulson, Wenda Li, Lawrence Charles Paulson, 2016, ITP.
Lawrence C. Paulson, Markus Wenzel, Lawrence Charles Paulson, 2011 .
Lawrence C. Paulson, 1999 .
Lawrence C. Paulson, Yuhuai Wu, Wenda Li, 2021, ICLR 2021 Poster.
Lawrence C. Paulson, Wenda Li, Anthony Bordg, 2021, Arch. Formal Proofs.
Lawrence C. Paulson, Chelsea Edmonds, 2021, Arch. Formal Proofs.
Lawrence C. Paulson, Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, 2021, Arch. Formal Proofs.
Lawrence C. Paulson, Wenda Li, Angeliki Koutsoukou-Argyraki, 2021, Experimental Mathematics.
Lawrence C. Paulson, Wenda Li, Yuhuai Wu, 2021, ICLR.
Lawrence C. Paulson, Mirna Džamonja, Lawrence Charles Paulson, 2020, Exp. Math..
Lawrence C. Paulson, Freek Wiedijk, Markus Wenzel, 2002 .
Fabio Massacci, Lawrence C. Paulson, Giampaolo Bella, 2002 .
Lawrence C. Paulson, Christoph Benzmüller, Lawrence Charles Paulson, 2008 .
Lawrence C. Paulson, Krzysztof Grabczewski, Lawrence Charles Paulson, 2000 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1997 .
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2002 .
Lawrence C. Paulson, Sidi O. Ehmety, L. C. Paulson, 2002 .
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2007 .
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, 2009 .
Lawrence C. Paulson, Lawrence Charles Paulson, 1988 .
Lawrence C. Paulson, 1994 .
Lawrence C. Paulson, Irving H. Anellis, Paolo Bussotti, 2009, Logic from Russell to Church.