Concepedia

Lawrence C. Paulson

LC

70

Publications

3.9K

Citations

34

H-Index

1982

Active since

Affiliations

University of Cambridge(Current)

University of Catania

University of Trento

Lawrence C. Paulson is an author at University of Cambridge specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationProof ComplexityProgram AnalysisSoftware AnalysisCryptography

Publications per year

1982–2022

70

Publications

70

The foundation of a generic theorem prover

Lawrence C. Paulson · Journal of Automated Reasoning · 1989 · 382 citations

Engineering, Generic Theorem Prover, Automated Reasoning +5

Proving properties of security protocols by induction

Lawrence C. Paulson · 2002 · 255 citations

Informal Justifications, Cryptographic Primitive, Engineering +18

Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers

Lawrence C. Paulson, Jasmin Christian Blanchette · EPiC series in computing · 2018 · 160 citations

Engineering, Verification, Software Engineering +18

Extending Sledgehammer with SMT Solvers

Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson · Journal of Automated Reasoning · 2013 · 157 citations

Mathematical Programming, Numerical Analysis, Computational Science +6

Natural deduction as higher-order resolution

Lawrence C. Paulson · The Journal of Logic Programming · 1986 · 152 citations · Full text

Syntax, Engineering, Automated Reasoning +7

Rows per page

1–5 of 70