Lawrence Paulson

Citata da

	Tutte	Dal 2020
Citazioni	21846	3785
Indice H	59	24
i10-index	148	59

920

460

230

690

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202584 79 111 98 153 239 327 269 337 322 470 516 443 606 598 696 630 749 742 869 911 804 776 619 762 834 749 709 732 715 727 854 701 674 668 769 875 98

Accesso pubblico

Visualizza tutto

50 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail verificata su in.tum.de
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergEmail verificata su fu-berlin.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenEmail verificata su ifi.lmu.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyEmail verificata su ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinEmail verificata su mdx.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSEmail verificata su bath.ac.uk
David John WilsonUniversity of BathEmail verificata su bath.ac.uk
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandEmail verificata su is.umk.pl
Sofiene TaharConcordia UniversityEmail verificata su ece.concordia.ca
Cezary KaliszykUniversity of MelbourneEmail verificata su unimelb.edu.au
Josef UrbanDistinguished Researcher at Czech Technical University in PragueEmail verificata su cvut.cz
Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeEmail verificata su cl.cam.ac.uk
Leonardo de MouraAmazon Web ServicesEmail verificata su amazon.com
Mohammad AbdulazizKing's College LondonEmail verificata su kcl.ac.uk
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaEmail verificata su ufsc.br
Andrew SogokonCarnegie Mellon UniversityEmail verificata su andrew.cmu.edu
Matthew EnglandCoventry UniversityEmail verificata su coventry.ac.uk
Andrew DM SmithUniversity of StirlingEmail verificata su stir.ac.uk

Segui

Lawrence Paulson

University of Cambridge

Email verificata su cam.ac.uk - Home page

automated theorem proving formalisation of mathematics computer security


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer Berlin Heidelberg, 2002	5150	2002
Isabelle: A generic theorem prover LC Paulson Springer Berlin Heidelberg, 1994	2088	1994
ML for the Working Programmer LC Paulson Cambridge University Press, 1996	1399	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1336	1998
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5, 363-397, 1989	648	1989
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1987	613	1987
Isabelle: The next 700 theorem provers LC Paulson Logic and computer science 31, 361-386, 1990	475	1990
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	427	1997
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	386	2012
Inductive analysis of the internet protocol TLS LC Paulson ACM Transactions on Information and System Security (TISSEC) 2 (3), 332-351, 1999	369	1999
Extending Sledgehammer with SMT solvers JC Blanchette, S Böhme, LC Paulson Journal of automated reasoning 51 (1), 109-128, 2013	318	2013
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	261	1986
The isabelle framework M Wenzel, LC Paulson, T Nipkow Theorem Proving in Higher Order Logics: 21st International Conference …, 2008	249	2008
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	239	2016
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	206	1993
Kerberos version IV: Inductive analysis of the secrecy goals G Bella, LC Paulson Computer Security—ESORICS 98: 5th European Symposium on Research in …, 1998	194	1998
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	193	1999
Mechanized proofs for a recursive authentication protocol LC Paulson Proceedings 10th Computer Security Foundations Workshop, 84-94, 1997	193	1997
MetiTarski: An automatic theorem prover for real-valued special functions B Akbarpour, LC Paulson Journal of Automated Reasoning 44 (3), 175-205, 2010	166	2010
Lightweight relevance filtering for machine-generated resolution problems J Meng, LC Paulson Journal of Applied Logic 7 (1), 41-57, 2009	166	2009

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori