Julien Lange

Cited by

	All	Since 2016
Citations	467	383
h-index	11	9
i10-index	12	9

100

201220132014201520162017201820192020202112 9 12 37 58 74 46 99 81 22

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
Nicholas NgMonzoVerified email at monzo.com
Alceste ScalasLecturer (Assistant Professor) in Computer Science, Aston University, Birmingham, UKVerified email at aston.ac.uk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Roly PereraThe Alan Turing Institute · Jean Golding 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
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Raymond HuSenior Lecturer, University of HertfordshireVerified email at herts.ac.uk
Anastasia MavridouKBR / NASA Ames Research CenterVerified email at nasa.gov

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	128	2015
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	61	2012
Meeting deadlines together L Bocchi, J Lange, N Yoshida 26th International Conference on Concurrency Theory (CONCUR 2015), 2015	50	2015
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	37	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	33	2018
On the undecidability of asynchronous session subtyping J Lange, N Yoshida International Conference on Foundations of Software Science and Computation …, 2017	32	2017
Three Algorithms and a Methodology for Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Scientific Annals of Computer Science 22, 2012	18	2012
Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013	14	2013
Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015	13	2015
Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Arxiv preprint arXiv:1108.0470, 2011	12	2011
Characteristic formulae for session types J Lange, N Yoshida International Conference on Tools and Algorithms for the Construction and …, 2016	11	2016
Verifying asynchronous interactions via communicating session automata J Lange, N Yoshida International Conference on Computer Aided Verification, 97-117, 2019	10	2019
A sound algorithm for asynchronous session subtyping M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro Leibniz International Proceedings in Informatics 140, 2019	9	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	8	2019
A tool for choreography-based analysis of message-passing software J Lange, E Tuosto, N Yoshida Behavioural Types: from Theory to Tools, 125, 2017	7	2017
Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay arXiv preprint arXiv:1606.05943, 2016	6	2016
A Modular Toolkit for Distributed Interactions J Lange, E Tuosto Arxiv preprint arXiv:1110.4164, 2011	6	2011
Secure P2P programming on top of tuple spaces F Benigni, A Brogi, JL Buchholz, JM Jacquet, J Lange, R Popescu Workshop on Enabling Technologies: Infrastructure for Collaborative …, 2008	6	2008
On the Synthesis of Choreographies J Lange University of Leicester, 2013	3	2013
Fair Refinement for Asynchronous Session Types (extended version) M Bravetti, J Lange, G Zavattaro arXiv preprint arXiv:2101.08181, 2021	1	2021

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

Upload PDF

Follow this author

Cited by

Co-authors