Lawrence Paulson

Citado por

	Total	Desde 2019
Citas	21662	4441
Índice h	58	27
Índice i10	147	62

920

460

230

690

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202485 79 111 97 153 239 327 269 338 321 469 512 443 606 603 695 629 744 744 866 911 805 774 623 760 835 748 710 735 716 727 852 698 679 667 771 770

Acceso público

Ver todo

50 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergDirección de correo verificada de fu-berlin.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyDirección de correo verificada de ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinDirección de correo verificada de mdx.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSDirección de correo verificada de bath.ac.uk
David John WilsonUniversity of BathDirección de correo verificada de bath.ac.uk
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandDirección de correo verificada de is.umk.pl
Sofiene TaharConcordia UniversityDirección de correo verificada de ece.concordia.ca
Cezary KaliszykUniversity of MelbourneDirección de correo verificada de unimelb.edu.au
Josef UrbanDistinguished Researcher at Czech Technical University in PragueDirección de correo verificada de cvut.cz
Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
Leonardo de MouraAmazon Web ServicesDirección de correo verificada de amazon.com
Mohammad AbdulazizKing's College LondonDirección de correo verificada de kcl.ac.uk
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaDirección de correo verificada de ufsc.br
Andrew SogokonCarnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Matthew EnglandCoventry UniversityDirección de correo verificada de coventry.ac.uk
Andrew DM SmithUniversity of StirlingDirección de correo verificada de stir.ac.uk

Seguir

Lawrence Paulson

University of Cambridge

Dirección de correo verificada de cam.ac.uk - Página principal

automated theorem proving formalisation of mathematics computer security


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer Berlin Heidelberg, 2002	5087	2002
Isabelle: A generic theorem prover LC Paulson Springer Berlin Heidelberg, 1994	2072	1994
ML for the Working Programmer LC Paulson Cambridge University Press, 1996	1397	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1332	1998
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5, 363-397, 1989	645	1989
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1987	612	1987
Isabelle: The next 700 theorem provers LC Paulson Logic and computer science 31, 361-386, 1990	474	1990
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	425	1997
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	381	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	313	2013
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	257	1986
The isabelle framework M Wenzel, LC Paulson, T Nipkow Theorem Proving in Higher Order Logics: 21st International Conference …, 2008	243	2008
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	233	2016
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	205	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
Mechanized proofs for a recursive authentication protocol LC Paulson Proceedings 10th Computer Security Foundations Workshop, 84-94, 1997	193	1997
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	192	1999
Lightweight relevance filtering for machine-generated resolution problems J Meng, LC Paulson Journal of Applied Logic 7 (1), 41-57, 2009	165	2009
Translating higher-order clauses to first-order clauses J Meng, LC Paulson Journal of Automated Reasoning 40, 35-60, 2008	164	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores