Travelled to:1 × Denmark
1 × Italy
1 × Norway
1 × Spain
1 × The Netherlands
1 × USA
2 × Poland
2 × Portugal
2 × United Kingdom
Collaborated with:A.Jeffrey ∅ M.Hennessy N.Grech B.Fischer V.Sassone P.Sobocinski N.Yoshida M.Merro
Talks about:abstract (3) theori (3) semant (3) languag (2) control (2) concurr (2) bisimul (2) toward (2) mobil (2) local (2)
Person: Julian Rathke
DBLP: Rathke:Julian
Contributed to:
2011
2010
2007
2005200520042003
20022000199919981997Wrote 12 papers:
- CSL-2011-JeffreyR #streaming
- The Lax Braided Structure of Streaming I/O (AJ, JR), pp. 292–306.
- GPCE-2010-GrechRF #generative #named #similarity
- JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
- FoSSaCS-2007-RathkeSS #semantics
- Semantic Barbs and Biorthogonality (JR, VS, PS), pp. 302–316.
- ESOP-2005-JeffreyR #java #semantics
- Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.
- FoSSaCS-2005-JeffreyR #abstraction #polymorphism #π-calculus
- Full Abstraction for Polymorphic π-Calculus (AJ, JR), pp. 266–281.
- FoSSaCS-2004-HennessyRY #mobile #named
- safeDpi: A Language for Controlling Mobile Code (MH, JR, NY), pp. 241–256.
- FoSSaCS-2003-HennessyMR #behaviour #distributed #towards
- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems (MH, MM, JR), pp. 282–298.
- LICS-2002-JeffreyR #concurrent #semantics #testing
- A Fully Abstract May Testing Semantics for Concurrent Objects (AJ, JR), pp. 101–112.
- LICS-2000-JeffreyR #bisimulation #concurrent #formal method #ml
- A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (AJ, JR), pp. 311–321.
- LICS-1999-JeffreyR #bisimulation #formal method #towards
- Towards a Theory of Bisimulation for Local Names (AJ, JR), pp. 56–66.
- FoSSaCS-1998-Rathke #modelling
- Resource Based Models for Asynchrony (JR), pp. 273–287.
- LICS-1997-Rathke #fixpoint #induction #process
- Unique Fixpoint Induction for Value-Passing Processes (JR), pp. 140–148.