Lawrence Paulson

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	21026	3918
h-indeksi	58	26
i10-indeksi	139	54

920

460

230

690

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202487 79 114 98 155 237 336 265 343 334 468 508 446 593 587 686 627 738 737 850 910 804 774 618 748 826 741 706 730 707 731 858 713 678 664 788 217

Yleisessä käytössä

Näytä kaikki

48 artikkelia

1 artikkeli

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVahvistettu sähköpostiosoite verkkotunnuksessa in.tum.de
Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVahvistettu sähköpostiosoite verkkotunnuksessa fu-berlin.de
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVahvistettu sähköpostiosoite verkkotunnuksessa ifi.lmu.de
Fabio MassacciChair at Vrije Universiteit, Netherlands and prof. at University of Trento, ItalyVahvistettu sähköpostiosoite verkkotunnuksessa ieee.org
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVahvistettu sähköpostiosoite verkkotunnuksessa mdx.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVahvistettu sähköpostiosoite verkkotunnuksessa bath.ac.uk
David John WilsonUniversity of BathVahvistettu sähköpostiosoite verkkotunnuksessa bath.ac.uk
Gerwin KleinProofcraft and UNSWVahvistettu sähköpostiosoite verkkotunnuksessa unsw.edu.au
Krzysztof GrąbczewskiNicolaus Copernicus University, Toruń, PolandVahvistettu sähköpostiosoite verkkotunnuksessa is.umk.pl
Sofiene TaharConcordia UniversityVahvistettu sähköpostiosoite verkkotunnuksessa ece.concordia.ca
Cezary KaliszykUniversity of InnsbruckVahvistettu sähköpostiosoite verkkotunnuksessa uibk.ac.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVahvistettu sähköpostiosoite verkkotunnuksessa cvut.cz
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVahvistettu sähköpostiosoite verkkotunnuksessa cl.cam.ac.uk
Leonardo de MouraAmazon Web ServicesVahvistettu sähköpostiosoite verkkotunnuksessa amazon.com
Mohammad AbdulazizKing's College LondonVahvistettu sähköpostiosoite verkkotunnuksessa kcl.ac.uk
Jean Everson MartinaSenior Lecturer, Federal University of Santa CatarinaVahvistettu sähköpostiosoite verkkotunnuksessa ufsc.br
Andrew SogokonCarnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa andrew.cmu.edu
Matthew EnglandCoventry UniversityVahvistettu sähköpostiosoite verkkotunnuksessa coventry.ac.uk
Andrew DM SmithUniversity of StirlingVahvistettu sähköpostiosoite verkkotunnuksessa stir.ac.uk

Seuraa

Lawrence Paulson

University of Cambridge

Vahvistettu sähköpostiosoite verkkotunnuksessa cam.ac.uk - Kotisivu

automated theorem proving formalisation of mathematics computer security


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Isabelle/HOL: a proof assistant for higher-order logic T Nipkow, M Wenzel, LC Paulson Springer Berlin Heidelberg, 2002	4907	2002
Isabelle: A generic theorem prover LC Paulson Springer Berlin Heidelberg, 1994	2042	1994
ML for the Working Programmer LC Paulson Cambridge University Press, 1996	1381	1996
The inductive approach to verifying cryptographic protocols LC Paulson Journal of computer security 6 (1-2), 85-128, 1998	1316	1998
The foundation of a generic theorem prover LC Paulson Journal of Automated Reasoning 5, 363-397, 1989	628	1989
Logic and computation: interactive proof with Cambridge LCF LC Paulson Cambridge University Press, 1987	614	1987
Isabelle: The next 700 theorem provers LC Paulson Logic and computer science 31, 361-386, 1990	467	1990
Proving properties of security protocols by induction LC Paulson Proceedings 10th Computer Security Foundations Workshop, 70-83, 1997	420	1997
Metitarski: Past and future LC Paulson International Conference on Interactive Theorem Proving, 1-10, 2012	360	2012
Inductive analysis of the internet protocol TLS LC Paulson ACM Transactions on Information and System Security (TISSEC) 2 (3), 332-351, 1999	357	1999
Extending Sledgehammer with SMT solvers JC Blanchette, S Böhme, LC Paulson Journal of automated reasoning 51 (1), 109-128, 2013	304	2013
Natural deduction as higher-order resolution LC Paulson The Journal of Logic Programming 3 (3), 237-258, 1986	249	1986
The isabelle framework M Wenzel, LC Paulson, T Nipkow Theorem Proving in Higher Order Logics: 21st International Conference …, 2008	216	2008
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	214	2016
The Isabelle reference manual LC Paulson University of Cambridge, Computer Laboratory, 1993	203	1993
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	192	1998
Should your specification language be typed L Lamport, LC Paulson ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 502-526, 1999	188	1999
Translating higher-order clauses to first-order clauses J Meng, LC Paulson Journal of Automated Reasoning 40, 35-60, 2008	163	2008
A higher-order implementation of rewriting L Paulson Science of computer programming 3 (2), 119-149, 1983	161	1983

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat