| 2008 |
|---|
| 20 | EE | Marek Kwiatkowski,
Ian Stark:
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.
CMSB 2008: 103-122 |
| 19 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Monitoring External Resources in Java MIDP.
Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008) |
| 18 | EE | Ian Stark:
Free-algebra models for the pi -calculus.
Theor. Comput. Sci. 390(2-3): 248-270 (2008) |
| 2007 |
|---|
| 17 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Safety Guarantees from Explicit Resource Management.
FMCO 2007: 52-71 |
| 2006 |
|---|
| 16 | EE | Gilles Barthe,
Lennart Beringer,
Pierre Crégut,
Benjamin Grégoire,
Martin Hofmann,
Peter Müller,
Erik Poll,
Germán Puebla,
Ian Stark,
Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security.
TGC 2006: 10-29 |
| 2005 |
|---|
| 15 | EE | Alex Blewitt,
Alan Bundy,
Ian Stark:
Automatic verification of design patterns in Java.
ASE 2005: 224-232 |
| 14 | EE | Ian Stark:
Free-Algebra Models for the pi-Calculus.
FoSSaCS 2005: 155-169 |
| 13 | EE | Sam Lindley,
Ian Stark:
Reducibility and TT-Lifting for Computation Types.
TLCA 2005: 262-277 |
| 12 | | Donald Sannella,
Martin Hofmann,
David Aspinall,
Stephen Gilmore,
Ian Stark,
Lennart Beringer,
Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Alberto Momigliano,
Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming 2005: 211-226 |
| 2004 |
|---|
| 11 | EE | David Aspinall,
Stephen Gilmore,
Martin Hofmann,
Donald Sannella,
Ian Stark:
Mobile Resource Guarantees for Smart Devices.
CASSIS 2004: 1-26 |
| 10 | EE | Ulrich Schöpp,
Ian Stark:
A Dependent Type Theory with Names and Binding.
CSL 2004: 235-249 |
| 2003 |
|---|
| 9 | EE | Lennart Beringer,
Kenneth MacKenzie,
Ian Stark:
Grail: a functional form for imperative mobile code.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 2001 |
|---|
| 8 | EE | Alex Blewitt,
Alan Bundy,
Ian Stark:
Automatic Verification of Java Design Patterns.
ASE 2001: 324-327 |
| 7 | EE | Tom Chothia,
Ian Stark:
Encoding Distributed Areas and Local Communication into the pi-Calculus.
Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 2000 |
|---|
| 6 | EE | Tom Chothia,
Ian Stark:
A Distributed Pi-Calculus with Local Areas of Communication.
Electr. Notes Theor. Comput. Sci. 41(2): (2000) |
| 1998 |
|---|
| 5 | | Ian Stark:
Names, Equations, Relations: Practical Ways to Reason About New.
Fundam. Inform. 33(4): 369-396 (1998) |
| 1997 |
|---|
| 4 | | Gian Luca Cattani,
Ian Stark,
Glynn Winskel:
Presheaf Models for the pi-Calculus.
Category Theory and Computer Science 1997: 106-126 |
| 3 | | Ian Stark:
Names, Equations, Relations: Practical Ways to Reason about new.
TLCA 1997: 336-353 |
| 1996 |
|---|
| 2 | | Ian Stark:
A Fully Abstract Domain Model for the pi-Calculus.
LICS 1996: 36-42 |
| 1 | | Ian Stark:
Categorical Models for Local Names.
Lisp and Symbolic Computation 9(1): 77-107 (1996) |
