Ian Stark - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

Monitoring External Resources in Java MIDPDavid Aspinall, Patrick Maier, Ian Stark. ENTCS, 197(1):17-30, 2008. [doi]

The Continuous pi-Calculus: A Process Algebra for Biochemical ModellingMarek Kwiatkowski, Ian Stark. cmsb 2008: 103-122 [doi]

Free-algebra models for the pi -calculusIan Stark. TCS, 390(2-3):248-270, 2008. [doi]

2007

Safety Guarantees from Explicit Resource ManagementDavid Aspinall, Patrick Maier, Ian Stark. FMCO 2008: 52-71 [doi]

2006

MOBIUS: Mobility, Ubiquity, SecurityGilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard. tgc 2007: 10-29 [doi]

2005

2004

Mobile Resource Guarantees for Smart DevicesDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark. cassis 2005: 1-26 [doi]

A Dependent Type Theory with Names and BindingUlrich Schöpp, Ian Stark. csl 2004: 235-249 [doi]

2003

Grail: a functional form for imperative mobile codeLennart Beringer, Kenneth Mackenzie, Ian Stark. ENTCS, 85(1), 2003. [doi]

2001

Automatic Verification of Java Design PatternsAlex Blewitt, Alan Bundy, Ian Stark. ASE 2001: 324-327 [doi]

Encoding Distributed Areas and Local Communication into the pi-CalculusTom Chothia, Ian Stark. ENTCS, 52(1), 2001. [doi]

2000

A Distributed Pi-Calculus with Local Areas of CommunicationTom Chothia, Ian Stark. ENTCS, 41(2), 2000. [doi]

1998

Names, Equations, Relations: Practical Ways to Reason About NewIan Stark. FUIN, 33(4):369-396, 1998.

1997

Presheaf Models for the pi-CalculusGian Luca Cattani, Ian Stark, Glynn Winskel. ctcs 1997: 106-126

Names, Equations, Relations: Practical Ways to Reason about ::::new::::Ian Stark. tlca 1997: 336-353

1996

A Fully Abstract Domain Model for the pi-CalculusIan Stark. lics 1996: 36-42

Categorical Models for Local NamesIan Stark. lisp, 9(1):77-107, 1996.