Lawrence Paulson

Citirano

	Sve	Od 2020.
Citati	21981	3839
H-indeks	59	24
i10-indeks	146	56

920

460

230

690

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202580 80 116 103 153 231 333 274 337 318 468 522 441 607 597 701 631 743 752 876 910 798 784 617 758 848 762 728 731 708 735 863 714 704 664 774 861 121

Javni pristup

Prikaži sve

51 članak

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenPotvrđena adresa e-pošte na in.tum.de
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergPotvrđena adresa e-pošte na fu-berlin.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyPotvrđena adresa e-pošte na ieee.org
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenPotvrđena adresa e-pošte na ifi.lmu.de
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinPotvrđena adresa e-pošte na mdx.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSPotvrđena adresa e-pošte na bath.ac.uk
David John WilsonUniversity of BathPotvrđena adresa e-pošte na bath.ac.uk
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandPotvrđena adresa e-pošte na is.umk.pl
Sofiene TaharConcordia UniversityPotvrđena adresa e-pošte na ece.concordia.ca
Cezary KaliszykUniversity of MelbournePotvrđena adresa e-pošte na unimelb.edu.au
Josef UrbanDistinguished Researcher at Czech Technical University in PraguePotvrđena adresa e-pošte na cvut.cz
Gerwin KleinProofcraft and UNSWPotvrđena adresa e-pošte na unsw.edu.au
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
Leonardo de MouraAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Mohammad AbdulazizKing's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaPotvrđena adresa e-pošte na ufsc.br
Andrew SogokonCarnegie Mellon UniversityPotvrđena adresa e-pošte na andrew.cmu.edu
Matthew EnglandCoventry UniversityPotvrđena adresa e-pošte na coventry.ac.uk
Andrew DM SmithUniversity of StirlingPotvrđena adresa e-pošte na stir.ac.uk

Prati

Lawrence Paulson

University of Cambridge

Potvrđena adresa e-pošte na cam.ac.uk - Početna stranica

automated theorem proving formalisation of mathematics computer security


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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori