Julien Lange

Cited by

	All	Since 2017
Citations	618	474
h-index	13	11
i10-index	14	11

160

120

2012201320142015201620172018201920202021202212 9 11 37 59 72 46 89 87 141 36

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Laura BocchiUniversity of KentVerified email at kent.ac.uk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Nicholas NgMonzoVerified email at monzo.com
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Alceste ScalasAssociate Professor in Computer Science, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Tiago CogumbreiroAssistant Professor, UMass BostonVerified email at umb.edu
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Roly PereraThe Alan Turing Institute · University of BristolVerified email at dynamicaspects.org
Jean-Marie JacquetProfesseur, Université de NamurVerified email at unamur.be
Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
Hannah ZicarelliUniversity of Massachusetts BostonVerified email at umb.edu
Keigo ImaiGifu UniversityVerified email at gifu-u.ac.jp

Julien Lange

Department of Computer Science, Royal Holloway, University of London

Verified email at rhul.ac.uk - Homepage

Computer science Programming languages Concurrency theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
From communicating machines to graphical choreographies J Lange, E Tuosto, N Yoshida Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	144	2015
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	62	2012
Fencing off go: Liveness and safety for channel-based programming J Lange, N Ng, B Toninho, N Yoshida ACM SIGPLAN Notices 52 (1), 748-761, 2017	55	2017
A static verification framework for message passing in go using behavioural types J Lange, N Ng, B Toninho, N Yoshida Proceedings of the 40th International Conference on Software Engineering …, 2018	52	2018
Meeting deadlines together L Bocchi, J Lange, N Yoshida 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	52	2015
On the undecidability of asynchronous session subtyping J Lange, N Yoshida International Conference on Foundations of Software Science and Computation …, 2017	40	2017
Verifying asynchronous interactions via communicating session automata J Lange, N Yoshida International Conference on Computer Aided Verification, 97-117, 2019	28	2019
An empirical study of messaging passing concurrency in go projects N Dilley, J Lange 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019	22	2019
Three Algorithms and a Methodology for Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Scientific Annals of Computer Science 22, 2012	21	2012
Characteristic formulae for session types J Lange, N Yoshida International Conference on Tools and Algorithms for the Construction and …, 2016	15	2016
Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015	14	2015
Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013	14	2013
Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Arxiv preprint arXiv:1108.0470, 2011	13	2011
A sound algorithm for asynchronous session subtyping M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro Leibniz International Proceedings in Informatics 140, 2019	11	2019
A sound algorithm for asynchronous session subtyping and its implementation G Zavattaro, N Yoshida, J Lange, M Carbone, M Bravetti Logical Methods in Computer Science 17, 2021	9	2021
Featherweight go R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ... Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020	9	2020
A tool for choreography-based analysis of message-passing software J Lange, E Tuosto, N Yoshida Behavioural Types: from Theory to Tools, 125, 2017	9	2017
Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay arXiv preprint arXiv:1606.05943, 2016	9	2016
Fair refinement for asynchronous session types M Bravetti, J Lange, G Zavattaro International Conference on Foundations of Software Science and Computation …, 2021	7	2021
Bounded verification of message-passing concurrency in go using promela and spin N Dilley, J Lange arXiv preprint arXiv:2004.01323, 2020	6	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors