Dave Clarke

2007
19	EE	Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
18	EE	Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
17	EE	John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
16	EE	Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
15	EE	Tobias Wrigstad, Dave Clarke: Existential Owners for Ownership Types. Journal of Object Technology 6(4): (2007)
14	EE	Dave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
2006
13	EE	Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Generic ownership for generic Java. OOPSLA 2006: 311-324
12	EE	Dave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
11	EE	Dave Clarke: Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006)
10	EE	Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006)
2005
9	EE	Cees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
2004
8	EE	Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
7	EE	Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
2003
6	EE	Dave Clarke, Tobias Wrigstad: External Uniqueness Is Unique Enough. ECOOP 2003: 176-200
5	EE	Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
2002
4		Dave Clarke, Andres Löh: Generic Haskell, Specifically. Generic Programming 2002: 21-47
2001
3		Dave Clarke, Alan J. Dix: Interfaces for the Active Web. Interacting with Computers 13(3): 323-324 (2001)
2		Dave Clarke, Alan J. Dix: Interfaces for the Active Web (Part 2). Interacting with Computers 13(6): 627-629 (2001)
1988
1		Dave Clarke: BOSUN - An In-House Developed Software Monitor for ACP/TPF Systems. Int. CMG Conference 1988: 263-275

Coauthor Index

1	Farhad Arbab	[8] [12] [14]
2	Frank Atanassow	[7]
3	Robert Biddle	[10] [13]
4	Frank S. de Boer	[9] [16]
5	John Tang Boyland (John Boyland)	[17]
6	David Costa	[8] [12] [14]
7	Alan J. Dix	[2] [3]
8	Sophia Drossopoulou	[18] [19]
9	Johan Jeuring	[5] [7]
10	Einar Broch Johnsen	[16]
11	Gary T. Leavens	[17]
12	Francesco Logozzo	[17]
13	Andres Löh	[4] [5]
14	James Noble	[10] [13] [18] [19]
15	Cees Pierik	[9]
16	Arnd Poetzsch-Heffter	[17]
17	Alex Potanin	[10] [13]
18	Tobias Wrigstad	[6] [15] [18] [19]

Colors in the list of coauthors