Concepedia

Julien Lange

JL

Statistics

Publications

13

Citations

467

H-Index

12

Active since

2012

Affiliations

Imperial College London(Current)

University of Kent

University of Leicester

Royal Holloway University of London

Julien Lange is an author at Imperial College London specializing in computing, computer science, and formal methods.

Publications per year

2012–2021

13

Publications

13

From Communicating Machines to Graphical Choreographies

Julien Lange, Emilio Tuosto, Nobuko Yoshida · 2014 · 125 citations · Full text

Computing, Computer Science, Algorithms +12

A static verification framework for message passing in Go using behavioural types

Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2018 · 71 citations · Full text

Computing, Computer Science, Message Passing +15

Fencing off go: liveness and safety for channel-based programming

Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2016 · 62 citations · Full text

Computing, Computer Engineering, Computer Science +17

An Empirical Study of Messaging Passing Concurrency in Go Projects

Nicolas Dilley, Julien Lange · 2019 · 32 citations

Computing, Computer Science, Distributed Systems +15

Meeting Deadlines Together

Laura Bocchi, Julien Lange, Nobuko Yoshida · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 31 citations · Full text

Computing, Computer Science, Computer Systems +14

1–5 of 13