Ian Stark

	2008
20		Marek Kwiatkowski, Ian Stark: The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. CMSB 2008: 103-122
19		David Aspinall, Patrick Maier, Ian Stark: Monitoring External Resources in Java MIDP. Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008)
18		Ian Stark: Free-algebra models for the pi -calculus. Theor. Comput. Sci. 390(2-3): 248-270 (2008)
	2007
17		David Aspinall, Patrick Maier, Ian Stark: Safety Guarantees from Explicit Resource Management. FMCO 2007: 52-71
	2006
16		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		Alex Blewitt, Alan Bundy, Ian Stark: Automatic verification of design patterns in Java. ASE 2005: 224-232
14		Ian Stark: Free-Algebra Models for the pi-Calculus. FoSSaCS 2005: 155-169
13		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		David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
10		Ulrich Schöpp, Ian Stark: A Dependent Type Theory with Names and Binding. CSL 2004: 235-249
	2003
9		Lennart Beringer, Kenneth MacKenzie, Ian Stark: Grail: a functional form for imperative mobile code. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
	2001
8		Alex Blewitt, Alan Bundy, Ian Stark: Automatic Verification of Java Design Patterns. ASE 2001: 324-327
7		Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
	2000
6		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)

Coauthor Index

1	David Aspinall	[11] [12] [17] [19]
2	Gilles Barthe	[16]
3	Lennart Beringer	[9] [12] [16]
4	Alex Blewitt	[8] [15]
5	Alan Bundy	[8] [15]
6	Gian Luca Cattani	[4]
7	Tom Chothia	[6] [7]
8	Pierre Crégut	[16]
9	Stephen Gilmore (Stephen T. Gilmore)	[11] [12]
10	Benjamin Grégoire	[16]
11	Martin Hofmann	[11] [12] [16]
12	Marek Kwiatkowski	[20]
13	Sam Lindley	[13]
14	Hans-Wolfgang Loidl	[12]
15	Kenneth MacKenzie	[9] [12]
16	Patrick Maier	[17] [19]
17	Alberto Momigliano	[12]
18	Peter Müller	[16]
19	Erik Poll	[16]
20	Germán Puebla (German Puebla)	[16]
21	Donald Sannella	[11] [12]
22	Ulrich Schöpp	[10]
23	Olha Shkaravska	[12]
24	Eric Vétillard	[16]
25	Glynn Winskel	[4]

Colors in the list of coauthors