dblp.uni-trier.dewww.uni-trier.de

Dave Clarke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
30EEMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
29EEThorsten 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
28EEChristian Koehler, Dave Clarke: Decomposing port automata. SAC 2009: 1369-1373
2008
27EEDave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
26EEDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
25EEMohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312
24EEJohan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom: Ownership, Uniqueness, and Immutability. TOOLS (46) 2008: 178-197
23EEJosé Proença, Dave Clarke: Coordination Models Orc and Reo Compared. Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008)
22EEDave Clarke: A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Inform. 82(4): 361-390 (2008)
2007
21EEDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
20EEDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
19EEJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
18EEFrank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
17EEDave Clarke: Coordination: Reo, Nets, and Logic. FMCO 2007: 226-256
16EETobias Wrigstad, Dave Clarke: Existential Owners for Ownership Types. Journal of Object Technology 6(4): (2007)
15EEDave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
2006
14EEAlex Potanin, James Noble, Dave Clarke, Robert Biddle: Generic ownership for generic Java. OOPSLA 2006: 311-324
13EEDave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
12EEDave Clarke: Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006)
11EEAlex Potanin, James Noble, Dave Clarke, Robert Biddle: Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006)
2005
10EECees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
2004
9EEDave 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
7EEFrank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
2003
6EEDave Clarke, Tobias Wrigstad: External Uniqueness Is Unique Enough. ECOOP 2003: 176-200
5EEAndres 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

1Beatrice Åkerblom [24]
2Farhad Arbab [8] [9] [13] [15]
3Frank Atanassow [7]
4Robert Biddle [11] [14]
5Frank S. de Boer [10] [18]
6Marcello M. Bonsangue [25] [30]
7John Tang Boyland (John Boyland) [19]
8David Costa [8] [9] [13] [15]
9Alan J. Dix [2] [3]
10Sophia Drossopoulou [20] [21] [26]
11Mohammad Izadi [25]
12Johan Jeuring [5] [7]
13Einar Broch Johnsen [18] [27]
14Christian Koehler [28]
15Gary T. Leavens [19]
16Francesco Logozzo [19]
17Andres Löh [4] [5]
18Peter Müller [26]
19James Noble [11] [14] [20] [21] [26]
20Johan Östlund [24] [27]
21Cees Pierik [10]
22Arnd Poetzsch-Heffter [19]
23Alex Potanin [11] [14]
24James A. Power [29]
25José Proença [23]
26Karl Rinne [29]
27Alexandra Silva [30]
28Thorsten Weyl [29]
29Tobias Wrigstad [6] [16] [20] [21] [24] [26] [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)