James J. Leifer

Statistics

Publications

Citations

377

H-Index

Active since

2003

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Cambridge

Microsoft (United States)

University of Twente

Microsoft Research (United Kingdom)

James J. Leifer is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and type checking.

Publications per year

2003–2021

Publications

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou et al. · 2009 · 87 citations

Computing, Computer Science, Computer Systems +17

Acute

Peter Sewell, James J. Leifer, Keith Wansbrough et al. · 2005 · 62 citations

Engineering, Physics, Acoustics +15

Transition systems, link graphs and Petri nets

James J. Leifer, Robin Milner · Mathematical Structures in Computer Science · 2006 · 49 citations · Full text

Computing, Computer Science, Distributed Systems +13

Secure Implementations for Typed Session Abstractions

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 2007 · 42 citations

Computing, Computer Science, Computer Systems +13

Acute: High-level programming language design for distributed computation

Peter Sewell, James J. Leifer, Keith Wansbrough et al. · Journal of Functional Programming · 2007 · 40 citations · Full text

Computing, Computer Science, Distributed Systems +15

1–5 of 10