Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(48)
Giampaolo Bella
16
Fabio Massacci
8
Behzad Akbarpour
8
Tobias Nipkow
6
Jia Meng
6
Conferences
(24)
Security Protocols Workshop
10
CADE
9
TPHOLs
6
AISC
2
CSFW
2
Journals
(22)
JAR
13
CORR
10
IGPL
2
IANDC
2
TISSEC
2
Keywords
(194)
Embed
Subscribe
Academic
Authors
Lawrence C. Paulson
Edit
Lawrence C. Paulson
University of Cambridge
Publications: 173
|
Citations: 4816
|
G-Index: 67
|
H-Index: 33
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Security & Privacy
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
48 co-authors
from 1972 to 2010
; Cited by
2905 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(173)
BibTeX
|
RIS
|
RefWorks
Download
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
(
Citations: 5
)
Behzad Akbarpour
,
Lawrence Charles Paulson
Journal:
Journal of Automated Reasoning - JAR
, vol. 44, no. 3, pp. 175-205, 2010
Multimodal and intuitionistic logics in simple type theory
(
Citations: 4
)
Christoph Benzmüller
,
Lawrence C. Paulson
Journal:
Logic Journal of The Igpl / Bulletin of The Igpl - IGPL
, vol. 18, no. 6, pp. 881-892, 2010
Formal verification of analog circuits in the presence of noise and process variation
(
Citations: 1
)
Rajeev Narayanan
,
Behzad Akbarpour
,
Mohamed H. Zaki
,
Sofiène Tahar
,
Lawrence C. Paulson
Conference:
Design, Automation, and Test in Europe - DATE
, pp. 1309-1312, 2010
Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Matt Kaufmann
,
Lawrence C. Paulson
Published in 2010.
Functional Programming in ML
Lawrence C. Paulson
Published in 2010.
Order by:
Citations
(4816 times by 3269 publications)
On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks
(
Citations: 3
)
Freek Verbeek
,
Julien Schmaltz
Journal:
IEEE Transactions on Parallel and Distributed Systems - TPDS
, vol. 22, no. 12, pp. 2022-2032, 2011
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
IEEE Computer Society
, vol. 33, no. 2, pp. 1-45, 2011
Mechanizing the metatheory of LF
(
Citations: 1
)
Christian Urban
,
James Cheney
,
Stefan Berghofer
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 12, no. 2, pp. 1-42, 2011
Beyond Provable Security. Verifiable IND-CCA Security of OAEP
(
Citations: 2
)
Gilles Barthe
,
Benjamin Gr'egoire
,
Yassine Lakhnech
,
Santiago Zanella B'eguelin
Conference:
The Cryptographer's Track at RSA Conference - CT-RSA
, vol. 6558, pp. 180-196, 2011
Integrating an Automated Theorem Prover into Agda
(
Citations: 1
)
Simon Foster
,
Georg Struth
Published in 2011.
Comments