Lawrence Paulson

Cited by

	All	Since 2017
Citations	19279	3919
h-index	55	26
i10-index	127	53

900

450

225

675

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202263 78 106 98 151 244 292 254 332 324 451 519 429 587 552 681 582 716 737 825 884 825 784 619 731 813 762 704 716 699 734 837 690 690 266

Public access

View all

49 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Christoph BenzmüllerFull Professor at University of Bamberg & Professor (apl.) at FU BerlinVerified email at fu-berlin.de
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerified email at ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
Matthew EnglandCoventry UniversityVerified email at coventry.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerified email at is.umk.pl
David John WilsonUniversity of BathVerified email at bath.ac.uk
Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
William DenmanOrbis InvestmentsVerified email at orbis.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerified email at ufsc.br
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Andrew DM SmithUniversity of StirlingVerified email at stir.ac.uk

Lawrence Paulson

University of Cambridge

Verified email at cam.ac.uk - Homepage

automated theorem proving formalisation of mathematics computer security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer Berlin Heidelberg, 2002	4416	2002
Isabelle: A generic theorem prover LC Paulson Springer Berlin Heidelberg, 1994	2341*	1994
ML for the Working Programmer LC Paulson, LC Paulson Cambridge University Press, 1996	1347	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1281	1998
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5 (3), 363-397, 1989	589	1989
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1990	576	1990
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	412	1997
Inductive analysis of the internet protocol TLS LC Paulson ACM Transactions on Information and System Security (TISSEC) 2 (3), 332-351, 1999	341	1999
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	288	2012
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	216	1986
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	194	1993
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson European Symposium on Research in Computer Security, 361-375, 1998	189	1998
Mechanized proofs for a recursive authentication protocol LC Paulson Proceedings 10th Computer Security Foundations Workshop, 84-94, 1997	187	1997
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	180	1999
The isabelle framework M Wenzel, LC Paulson, T Nipkow International Conference on Theorem Proving in Higher Order Logics, 33-38, 2008	177	2008
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	168	2016
A higher-order implementation of rewriting LC Paulson arXiv preprint cs/9301108, 2001	163	2001
Translating higher-order clauses to first-order clauses J Meng, LC Paulson Journal of Automated Reasoning 40 (1), 35-60, 2008	156	2008
LEO-II-a cooperative automatic theorem prover for classical higher-order logic (system description) C Benzmüller, LC Paulson, F Theiss, A Fietzke International Joint Conference on Automated Reasoning, 162-170, 2008	152	2008
Extending Sledgehammer with SMT solvers JC Blanchette, S Böhme, LC Paulson Journal of automated reasoning 51 (1), 109-128, 2013	148	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors