| 2009 |
|---|
| 28 | EE | Thorsten Weyl,
Dave Clarke,
Karl Rinne,
James A. Power:
ESD event simulation automation using automatic extraction of the relevant portion of a full chip.
ISQED 2009: 414-418 |
| 27 | EE | Christian Koehler,
Dave Clarke:
Decomposing port automata.
SAC 2009: 1369-1373 |
| 2008 |
|---|
| 26 | EE | Dave Clarke,
Tobias Wrigstad,
Johan Östlund,
Einar Broch Johnsen:
Minimal Ownership for Active Objects.
APLAS 2008: 139-154 |
| 25 | EE | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency.
SEFM 2008: 303-312 |
| 24 | EE | Johan Östlund,
Tobias Wrigstad,
Dave Clarke,
Beatrice Åkerblom:
Ownership, Uniqueness, and Immutability.
TOOLS (46) 2008: 178-197 |
| 23 | EE | José Proença,
Dave Clarke:
Coordination Models Orc and Reo Compared.
Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008) |
| 22 | EE | Dave Clarke:
A Basic Logic for Reasoning about Connector Reconfiguration.
Fundam. Inform. 82(4): 361-390 (2008) |
| 2007 |
|---|
| 21 | EE | Dave Clarke,
Sophia Drossopoulou,
James Noble,
Tobias Wrigstad:
Tribe: a simple virtual class calculus.
AOSD 2007: 121-134 |
| 20 | EE | Dave Clarke,
Sophia Drossopoulou,
James Noble,
Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming.
ECOOP Workshops 2007: 40-49 |
| 19 | EE | John Boyland,
Dave Clarke,
Gary T. Leavens,
Francesco Logozzo,
Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2007: 99-107 |
| 18 | EE | Frank S. de Boer,
Dave Clarke,
Einar Broch Johnsen:
A Complete Guide to the Future.
ESOP 2007: 316-330 |
| 17 | EE | Dave Clarke:
Coordination: Reo, Nets, and Logic.
FMCO 2007: 226-256 |
| 16 | EE | Tobias Wrigstad,
Dave Clarke:
Existential Owners for Ownership Types.
Journal of Object Technology 6(4): (2007) |
| 15 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Connector colouring I: Synchronisation and context dependency.
Sci. Comput. Program. 66(3): 205-225 (2007) |
| 2006 |
|---|
| 14 | EE | Alex Potanin,
James Noble,
Dave Clarke,
Robert Biddle:
Generic ownership for generic Java.
OOPSLA 2006: 311-324 |
| 13 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Connector Colouring I: Synchronisation and Context Dependency.
Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006) |
| 12 | EE | Dave Clarke:
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.
Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006) |
| 11 | EE | Alex Potanin,
James Noble,
Dave Clarke,
Robert Biddle:
Featherweight generic confinement.
J. Funct. Program. 16(6): 793-811 (2006) |
| 2005 |
|---|
| 10 | EE | Cees Pierik,
Dave Clarke,
Frank S. de Boer:
Controlling Object Allocation Using Creation Guards.
FM 2005: 59-74 |
| 2004 |
|---|
| 9 | EE | Dave Clarke,
David Costa,
Farhad Arbab:
Modelling Coordination in Biological Systems.
ISoLA 2004: 9-25 |
| 8 | | Dave Clarke,
David Costa,
Farhad Arbab:
Modelling Coordination in Biological Systems.
ISoLA (Preliminary proceedings) 2004: 58-66 |
| 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 |
