Dr Julian Rathke 

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

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.

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.

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

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 (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. European Symposium on Programming, part of ETAPS, Edinburgh. pp. 423-438 .

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.

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

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

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) A fully abstract may testing semantics for concurrent objects , vol. 17th A, IEEE Computer Society Press

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.

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.

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, Rathke, Julian and Yoshida, Nobuko (2003) SafeDpi: a language for controlling mobile code s.n.

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, 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

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.

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

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

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

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

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 .

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

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).

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.

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 .

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).

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).

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 Jeffrey, Alan (2008) Full abstraction for polymorphic π-calculus. Theoretical Computer Science, 390 (2-3), 171-196. (doi:10.1016/j.tcs.2007.09.020).

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 .

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, 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).