Lawrence Paulson

Citeras av

	Alla	Sedan 2015
Citat	18074	4278
h-index	53	27
i10-index	124	58

900

450

225

675

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202065 77 99 97 129 231 306 258 331 309 434 501 439 582 558 679 567 706 728 817 886 816 784 623 732 814 755 699 706 701 722 795 649

Medförfattare

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
Christoph BenzmüllerProfessor, FU Berlin (& U Luxembourg)Verifierad e-postadress på fu-berlin.de
Jasmin BlanchetteVrije Universiteit AmsterdamVerifierad e-postadress på vu.nl
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVerifierad e-postadress på ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerifierad e-postadress på mdx.ac.uk
Matthew EnglandCoventry UniversityVerifierad e-postadress på coventry.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCSVerifierad e-postadress på bath.ac.uk
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVerifierad e-postadress på is.umk.pl
David John WilsonUniversity of BathVerifierad e-postadress på bath.ac.uk
Sofiene TaharConcordia UniversityVerifierad e-postadress på ece.concordia.ca
Gerwin KleinData61 and UNSWVerifierad e-postadress på cse.unsw.edu.au
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
Cezary KaliszykUniversity of InnsbruckVerifierad e-postadress på uibk.ac.at
Josef UrbanPrincipal Researcher at Czech Technical University in PragueVerifierad e-postadress på cvut.cz
William DenmanOrbis InvestmentsVerifierad e-postadress på orbis.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerifierad e-postadress på microsoft.com
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVerifierad e-postadress på ufsc.br
Mohammad AbdulazizTechnical University of MunichVerifierad e-postadress på in.tum.de
Andrew SogokonCarnegie Mellon UniversityVerifierad e-postadress på andrew.cmu.edu
Andrew DM SmithUniversity of StirlingVerifierad e-postadress på stir.ac.uk

Lawrence Paulson

University of Cambridge

Verifierad e-postadress på cam.ac.uk - Startsida

automated theorem proving formalisation of mathematics computer security


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, LC Paulson, M Wenzel Springer Science & Business Media, 2002	3963	2002
Isabelle: A generic theorem prover LC Paulson Springer Science & Business Media, 1994	2240*	1994
ML for the Working Programmer LC Paulson, LC Paulson Cambridge University Press, 1996	1299	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1236	1998
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1990	572	1990
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5 (3), 363-397, 1989	548	1989
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	398	1997
Inductive analysis of the Internet protocol TLS LC Paulson ACM Transactions on Information and System Security (TISSEC) 2 (3), 332-351, 1999	318	1999
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	255	2012
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	214	1986
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	196	1993
Mechanized proofs for a recursive authentication protocol LC Paulson Proceedings 10th Computer Security Foundations Workshop, 84-94, 1997	183	1997
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson European Symposium on Research in Computer Security, 361-375, 1998	181	1998
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	171	1999
Translating higher-order clauses to first-order clauses J Meng, LC Paulson Journal of Automated Reasoning 40 (1), 35-60, 2008	162*	2008
A higher-order implementation of rewriting LC Paulson arXiv preprint cs/9301108, 2001	153	2001
The isabelle framework M Wenzel, LC Paulson, T Nipkow International Conference on Theorem Proving in Higher Order Logics, 33-38, 2008	152	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	142	2008
Set theory for verification: I. From foundations to functions LC Paulson Journal of Automated Reasoning 11 (3), 353-389, 1993	138	1993
MetiTarski: An automatic theorem prover for real-valued special functions B Akbarpour, LC Paulson Journal of Automated Reasoning 44 (3), 175-205, 2010	132	2010

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare