Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

J. Leifer · SciRah

Researcher profile · Semantic Scholar

J. Leifer

Share profile

J. Leifer — researcher profile on SciRah

h-index: 11
Works: 24
Citations: 760

Most-cited papers

Deriving Bisimulation Congruences for Reactive Systems
J. Leifer, R. Milner
2000International Conference on Concurrency Theory256 citations Open access
Semantic Scholar
Under Consideration for Publication in J. Functional Programming Acute: High-level Programming Language Design for Distributed Computation
Peter Sewell, J. Leifer, Keith Wansbrough, Francesco Zappa +4 more
111 citations
Semantic Scholar
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
K. Bhargavan, R. Corin, Pierre-Malo Deniélou, C. Fournet +1 more
2009IEEE Computer Security Foundations Symposium97 citations
Semantic Scholar
Transition systems, link graphs and Petri nets
J. Leifer, R. Milner
2006Mathematical Structures in Computer Science70 citations Open access
Semantic Scholar
Secure Implementations for Typed Session Abstractions
R. Corin, Pierre-Malo Deniélou, C. Fournet, K. Bhargavan +1 more
2007IEEE Computer Security Foundations Symposium50 citations Open access
Semantic Scholar
Operational congruences for reactive systems
J. Leifer
200150 citations
Semantic Scholar
Global abstraction-safe marshalling with hash types
J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
2003ACM SIGPLAN International Conference on Functional Programming39 citations Open access
Semantic Scholar
A secure compiler for session abstractions
R. Corin, Pierre-Malo Deniélou, C. Fournet, K. Bhargavan +1 more
2008Journal of computing and security31 citations Open access
Semantic Scholar
Contexts and embeddings for closed shallow action graphs
Gian Luca Cattani, J. Leifer, R. Milner
200021 citations
Semantic Scholar
Abstraction preservation and subtyping in distributed languages
Pierre-Malo Deniélou, J. Leifer
2006ACM SIGPLAN International Conference on Functional Programming11 citations
Semantic Scholar
Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1
J. Leifer
200111 citations
Semantic Scholar
Under consideration for publication in Formal Aspects of Computing Shallow Linear Action Graphs and their Embeddings
J. Leifer, R. Milner
5 citations
Semantic Scholar
Marshalling : Abstraction , Rebinding , and Version Control
J. Leifer, Peter Sewell, Keith Wansbrough, Inria Rocquencourt
20044 citations
Semantic Scholar
Transitions, link graphs and peti nets
R. Milner, J. Leifer
20041 citations
Semantic Scholar
Transitions, link graphs and peti nets: Technical report 598
R. Milner, J. Leifer
20041 citations
Semantic Scholar
Required foundations for peer-to-peer systems
J. Leifer, U. Nestmann, Andrei Serjantov, Keith Wansbrough
20031 citations
Semantic Scholar
PEer-toPeer Implementation and TheOry Workpackage 1: Formal Models
U. Nestmann, J. Leifer, Andrei Serjantov, P. Van Roy
20070 citations
Semantic Scholar
New Results - Sub-typing and abstraction safety in distributed languages
Pierre-Malo Deniélou, J. Leifer
20060 citations
Semantic Scholar
Quick review of CCS operational equivalences
J. Leifer
20060 citations
Semantic Scholar
Acute and TCP : specifying and developing abstractions for global computation
J. Leifer, Michael Norrish, Peter Sewell, Keith Wansbrough +1 more
20040 citations
Semantic Scholar
New Results - Typage des modules mobiles
Georges Gonthier, J. Leifer, J. Lévy, Gilles Peskine
20020 citations
Semantic Scholar
Deduction for Functional Programmers
J. Leifer, B. Sufrin
1996Journal of functional programming0 citations
Semantic Scholar
Title: Peer-topeer Implementation and Theory Deliverable No: D2.7 First Progress Report on Distributed Algorithms (report) Due Date: Project Month 12 Revised Delivery Date: 2003-03-25
Sameh El-Ansary, Luc Onana, Valentin Mesaros, Bruno Carton +4 more
0 citations
Semantic Scholar
Deduction for Functional Programmers
J. Leifer, B. A. Sufrin
0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

R. Milner×6
Invite
R. Milner — researcher profile on SciRah
Keith Wansbrough×5
Invite
Keith Wansbrough — researcher profile on SciRah
Pierre-Malo Deniélou×5
Invite
Pierre-Malo Deniélou — researcher profile on SciRah
Peter Sewell×4
Invite
Peter Sewell — researcher profile on SciRah

×3

Invite

K. Bhargavan — researcher profile on SciRah

Invite

R. Corin — researcher profile on SciRah

Invite

C. Fournet — researcher profile on SciRah

Gilles Peskine×2

Invite

Gilles Peskine — researcher profile on SciRah

Invite

U. Nestmann — researcher profile on SciRah

Andrei Serjantov×2

Invite

Andrei Serjantov — researcher profile on SciRah

Invite

P. Van Roy — researcher profile on SciRah

Francesco Zappa×1

Invite

Francesco Zappa — researcher profile on SciRah