| 2013 | ICTAC | Preemptive Type Checking in Dynamically Typed Languages. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2012 | APLAS | Dynamic Software Update for Message Passing Programs. | Gabrielle Anderson, Julian Rathke |
| 2011 | CSL | The Lax Braided Structure of Streaming I/O. | Alan Jeffrey, Julian Rathke |
| 2010 | GPCE | JEqualityGen: generating equality and hashing methods. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2008 | CONCUR | Deriving Structural Labelled Transitions for Mobile Ambients. | Julian Rathke, Pawel Sobocinski |
| 2007 | FOSSACS | Semantic Barbs and Biorthogonality. | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
| 2005 | ESOP | Java Jr: Fully Abstract Trace Semantics for a Core Java Language. | Alan Jeffrey, Julian Rathke |
| 2005 | FORTE | Proof Methodologies for Behavioural Equivalence in DPI. | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
| 2005 | FOSSACS | Full Abstraction for Polymorphic Pi-Calculus. | Alan Jeffrey, Julian Rathke |
| 2004 | FOSSACS | safeDpi: A Language for Controlling Mobile Code. | Matthew Hennessy, Julian Rathke, Nobuko Yoshida |
| 2003 | FOSSACS | Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. | Matthew Hennessy, Massimo Merro, Julian Rathke |
| 2003 | MFPS | Contextual Equivalence for Higher-Order π-Calculus Revisited. | Alan Jeffrey, Julian Rathke |
| 2002 | LICS | A Fully Abstract May Testing Semantics for Concurrent Objects. | Alan Jeffrey, Julian Rathke |
| 2000 | LICS | A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. | Alan Jeffrey, Julian Rathke |
| 1999 | LICS | Towards a Theory of Bisimulation for Local Names. | Alan Jeffrey, Julian Rathke |
| 1998 | FOSSACS | Resource Based Models for Asynchrony. | Julian Rathke |
| 1997 | LICS | Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract). | Julian Rathke |
| 1995 | CONCUR | Bisimulations for a Calculus of Broadcasting Systems. | Matthew Hennessy, Julian Rathke |