View all staff

Dr Julian Rathke

Associate Professor

Connect with Julian

Email: [email protected]

Tel: +44 23 8059 9181

Publications
Publications

Publications

37 publications
Page 1 of 4
Preemptive type checking
Neville Grech, Bernd Fischer & Julian Rathke, 2018, Journal of Logical and Algebraic Methods in Programming, 101, 151-181
DOI: 10.1016/j.jlamp.2018.08.003
Type: article
Compositional reachability in Petri nets
Julian Rathke, Pawel Sobocinski & Owen Stephens, 2014
DOI: 10.1007/978-3-319-11439-2_18
Type: conference
Preemptive type checking in dynamically typed languages
Neville Grech, Julian Rathke & Bernd Fischer, 2013
Type: conference
Permission-based separation logic for message-passing concurrency
Adrian Francalanza, Julian Rathke & Vladimiro Sassone, 2011, Logical Methods in Computer Science, 7(3), 1-47
DOI: 10.2168/LMCS-7(3:7)2011
Type: article
The Lax Braided Structure of Streaming I/O
Alan Jeffrey & Julian Rathke, 2011
Type: conference
Local memory via layout randomization
Radha Jagadeesan, Corin Pitcher, Julian Rathke & James Riely, 2011
DOI: 10.1109/CSF.2011.18
Type: conference
JEqualityGen: Generating Equality and Hashing Methods
Neville Grech, Bernd Fischer & Julian Rathke, 2010
Type: conference
Deriving structural labelled transitions for mobile ambients
Julian Rathke & Pawel Sobocinski, 2010, Information and Computation, 208(10), 1221-1242
DOI: 10.1016/j.ic.2010.06.001
Type: article
Generating correct and efficient equality and hashing methods using JEqualityGen
Neville Grech, Julian Rathke & Bernd Fischer, 2010
Type: conference
Migrating Protocols In Multi-Threaded Message-Passing Systems
Julian Rathke & Gabrielle Anderson, 2009
Type: conference
How to edit profile