Research
Research groups
Member of:
Publications
37 publications
Page 1 of 4
Neville Grech,
Bernd Fischer,
& Julian Rathke
, 2018
, Journal of Logical and Algebraic Methods in Programming
, 101 , 151--181
Type: article
Julian Rathke,
Pawel Sobocinski,
& Owen Stephens
, 2014
Type: conference
Neville Grech,
Julian Rathke,
& Bernd Fischer
, 2013
Type: conference
Adrian Francalanza,
Julian Rathke,
, 2011
, Logical Methods in Computer Science
, 7 (3) , 1--47
Type: article
Radha Jagadeesan,
Corin Pitcher,
Julian Rathke,
& James Riely
, 2011
DOI: 10.1109/CSF.2011.18
Type: conference
Neville Grech,
Bernd Fischer,
& Julian Rathke
, 2010
Type: conference
Julian Rathke,
& Pawel Sobocinski
, 2010
, Information and Computation
, 208 (10) , 1221--1242
Type: article
Neville Grech,
Julian Rathke,
& Bernd Fischer
, 2010
Type: conference
Julian Rathke,
& Gabrielle Anderson
, 2009
Type: conference
Supervision
Current PhD Students
PhD Computer Science
PhD Computer Science
PhD Computer Science