BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rathke:Julian

Contributed to:

CSL 20112011
GPCE 20102010
FoSSaCS 20072007
ESOP 20052005
FoSSaCS 20052005
FoSSaCS 20042004
FoSSaCS 20032003
LICS 20022002
LICS 20002000
LICS 19991999
FoSSaCS 19981998
LICS 19971997

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.