Grech, Neville, Fischer, Bernd and Rathke, Julian (2018) Preemptive type checking. Journal of Logical and Algebraic Methods in Programming, 101, 151-181. (doi:10.1016/j.jlamp.2018.08.003).

Rathke, Julian, Sobocinski, Pawel and Stephens, Owen (2014) Compositional reachability in Petri nets. 8th International Workshop on Reachability Problems., Oxford, United Kingdom. 21 - 23 Sep 2014. pp. 230-243 . (doi:10.1007/978-3-319-11439-2_18).

Grech, Neville, Rathke, Julian and Fischer, Bernd (2013) Preemptive type checking in dynamically typed languages. 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China. 03 - 05 Sep 2013. pp. 195-212 .

Jagadeesan, Radha, Pitcher, Corin, Rathke, Julian and Riely, James (2011) Local memory via layout randomization. IEEE 24th Computer Security Foundations Symposium (CSF), Cernay-la-Ville, France. 26 - 28 Jun 2011. pp. 161-174 . (doi:10.1109/CSF.2011.18).

Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-based separation logic for message-passing concurrency. Logical Methods in Computer Science, 7 (3), 1-47. (doi:10.2168/LMCS-7(3:7)2011).

Jeffrey, Alan and Rathke, Julian (2011) The Lax Braided Structure of Streaming I/O. Annual Conference of the European Association for Computer Science Logic, Bergen, Norway. 11 - 14 Sep 2011.

Rathke, Julian and Sobocinski, Pawel (2010) Deriving structural labelled transitions for mobile ambients. [in special issue: 19th International Conference on Concurrency Theory (CONCUR 2008)] Information and Computation, 208 (10), 1221-1242. (doi:10.1016/j.ic.2010.06.001).

Grech, Neville, Rathke, Julian and Fischer, Bernd (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. Workshop on Generative Technologies, Paphos, Cyprus.

Grech, Neville, Fischer, Bernd and Rathke, Julian (2010) JEqualityGen: Generating Equality and Hashing Methods. Generative Programming and Component Engineering,, Eindhoven, The, Netherlands. 09 - 12 Oct 2010. pp. 177-186 .

Rathke, Julian and Soboci\'nski, Pawel (2009) Making the unobservable, unobservable. Proceedings of ICE '08. pp. 131-144 .

Rathke, Julian and Anderson, Gabrielle (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems. Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), Orlando, Florida.

Rathke, Julian and Sobocinski, Pawel (2008) Deconstructing behavioural theories of mobility. Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milano, Italy. pp. 507-520 . (doi:10.1007/978-0-387-09680-3_34).

Rathke, Julian and Sobocinski, Pawel (2008) Deriving structural labelled transitions for mobile ambients. 19th International Conference on Concurrency Theory (CONCUR), Toronto. pp. 462-476 .

Rathke, Julian and Jeffrey, Alan (2008) Full abstraction for polymorphic π-calculus. Theoretical Computer Science, 390 (2-3), 171-196. (doi:10.1016/j.tcs.2007.09.020).

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. Foundations of Software Science and Computation Structures, FOSSACS 2007. pp. 302-316 .

Nguyen, Nicholas and Rathke, Julian (2006) Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control. PASSWORD workshop, ECOOP, Nantes. (In Press)

Jeffrey, Alan and Rathke, Julian , Pierce, B (ed.) (2005) A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338 (1-3), 17-63.

Jeffrey, Alan and Rathke, Julian (2005) Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science, 1 (1).

Jeffrey, Alan and Rathke, Julian (2005) Full abstraction for Polymorphic Pi-Calculus (Lecture Notes in Computer Science, Proc.), vol. Proc., Springer Verlag

Jeffrey, Alan and Rathke, Julian (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. European Symposium on Programming, part of ETAPS, Edinburgh. pp. 423-438 .

Ciaffaglione, Alberto, Hennessy, Matthew and Rathke, Julian (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus (Lecture Notes in Computer Science 3731, Computer Scienc, Proc.), vol. Proc., Springer Verlag

Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian (2005) safeDpi: a language for controlling mobile code. Acta Informatica, 42 (4), 227-290.

Jeffrey, Alan and Rathke, Julian (2004) A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science, 323 (1-3), 1-48.

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2004) SafeDpi: a language for controlling mobile code (Lecture Notes in Computer Science, Computer Scienc, Proc.), vol. Proc., Springer Verlag

Hennessy, Matthew, Merro, Massimo and Rathke, Julian , Sassone, Vladimiro (ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322 (3), 615-669.

Hennessy, Matthew and Rathke, Julian (2004) Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science, 14 (5), 651-684.

Jeffrey, Alan and Rathke, Julian (2003) Contextual equivalence for higher-order pi-calculus revisited (Lecture Notes in Computer Science, Proc.), vol. Proc., Elsevier

Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2003) SafeDpi: a language for controlling mobile code s.n.

Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2003) Towards a behavioural theory of access and mobility control in distributed systems (Lecture Notes in Computer Science, 2620), vol. 2620, Springer Verlag

Owen, Tim, Rathke, Julian, Wakeman, Ian and Watson, Des (2002) A Model for Controlling Program Behaviour in Pervasive Networks. Fifth IEEE Workshop on Networked Appliances, Liverpool.

Jeffrey, Alan and Rathke, Julian (2002) A fully abstract may testing semantics for concurrent objects , vol. 17th A, IEEE Computer Society Press

Jeffrey, Alan and Rathke, Julian (2002) A theory of bisimulation for a fragment of concurrent ML with local names s.n.

Jeffrey, Alan and Rathke, Julian (2002) Contextual equivalence for higher-order pi-calculus revisited s.n.

Owen, Tim, Rathke, Julian, Wakeman, Ian and Watson, Des (2002) Implementing Policies in Programs using Labelled Transition Systems. Cosener's House Multi-Service Networks Conference.

Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2002) Towards a behavioural theory of access and mobility control in distributed systems s.n.

Hennessy, Matthew and Rathke, Julian (2002) Typed behavioural equivalences for processes in the presence of subtyping (Electronic Notes in Theoretical Computer Science, 61), vol. 61, Elsevier

Hennessy, Matthew, Lin, Huimin and Rathke, Julian (2001) Unique fixpoint induction for message-passing process calculi. Science of Computer Programming, 41 (3), 241-275.