Open menu
View all staff

Doctor Julian Rathke

Associate Professor

Connect with Julian

Email: jr2@ecs.soton.ac.uk

Address: B59, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Publications Supervision

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
Back to top