Dave Clarke

David G. Clarke

K.U.Leuven, Belgium

other persons with the same name:

• Dave Clarke
• Dave Clarke
• Dave Clarke - Sedbergh

	2012
59		Ilya Sergey, Dave Clarke: Gradual Ownership Types. ESOP 2012: 579-599
58		Dimiter Milushev, Dave Clarke: Towards Incrementalization of Holistic Hyperproperties. POST 2012: 329-348
57		Michael Lienhardt, Dave Clarke: Row types for delta-oriented programming. VaMoS 2012: 121-128
56		Ilya Sergey, Dave Clarke: A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012)
55		Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)
	2011
54		Marco Patrignani, Dave Clarke, Davide Sangiorgi: Ownership Types for the Join Calculus. FMOODS/FORTE 2011: 289-303
53		José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata FOCLASA 2011: 65-79
52		Ilya Sergey, Dave Clarke: From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2
51		Radu Muschevici, José Proença, Dave Clarke: Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333
50		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457
49		Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011)
48		Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Büchi automata for modeling component connectors. Software and System Modeling 10(2): 183-200 (2011)
	2010
47		Dave Clarke, Gul A. Agha: Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings Springer 2010
46		Dave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
45		Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224
44		Dave Clarke, Michiel Helvensteijn, Ina Schaefer: Abstract delta modeling. GPCE 2010: 13-22
43		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong: HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128
42		Dave Clarke, José Proença: Towards a Theory of Views for Feature Models. SPLC Workshops 2010: 91-98
41		Radu Muschevici, Dave Clarke, José Proença: Feature Petri Nets. SPLC Workshops 2010: 99-106
40		Dave Clarke, David Eppstein, Kaveh Ghasemloo, Lev Reyzin, András Z. Salamon, Peter W. Shor, Aaron Sterling, Suresh Venkatasubramanian: Questions answered. in theory.: http: //cstheory.stackexchange.com/. SIGACT News 41(4): 58-60 (2010)
	2009
39		Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
38		Dave Clarke, José Proença: Coordination via Interaction Constraints I: Local Logic ICE 2009: 17-39
37		Christian Koehler, Dave Clarke: Decomposing port automata. SAC 2009: 1369-1373
36		Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. Electr. Notes Theor. Comput. Sci. 229(2): 43-58 (2009)
	2008
35		Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
34		Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
33		Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312
32		Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom: Ownership, Uniqueness, and Immutability. TOOLS (46) 2008: 178-197
31		Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
30		José Proença, Dave Clarke: Coordination Models Orc and Reo Compared. Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008)
29		Dave Clarke: A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Inform. 82(4): 361-390 (2008)
	2007
28		Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
27		Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
26		John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
25		Frank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
24		Dave Clarke: Coordination: Reo, Nets, and Logic. FMCO 2007: 226-256
23		Tobias Wrigstad, Dave Clarke: Existential Owners for Ownership Types. Journal of Object Technology 6(4): 141-159 (2007)
22		Dave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
	2006
21		Sophia Drossopoulou, David G. Clarke, James Noble: Types for Hierarchic Shapes. ESOP 2006: 1-6
20		Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Generic ownership for generic Java. OOPSLA 2006: 311-324
19		Dave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
18		Dave Clarke: Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006)
17		Alex Potanin, James Noble, Dave Clarke, Robert Biddle: Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006)
	2005
16		Cees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
	2004
15		Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
14		Dave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66
13		Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
	2003
12		Dave Clarke, Tobias Wrigstad: External Uniqueness Is Unique Enough. ECOOP 2003: 176-200
11		David G. Clarke, Sophia Drossopoulou, James Noble: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207
10		Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
9		David G. Clarke, Michael Richmond, James Noble: Saving the world from bad beans: deployment-time confinement checking. OOPSLA 2003: 374-387
8		Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic haskell. SIGPLAN Notices 38(9): 141-152 (2003)
	2002
7		Dave Clarke, Andres Löh: Generic Haskell, Specifically. Generic Programming 2002: 21-47
6		David G. Clarke, Sophia Drossopoulou: Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310
	2001
5		David G. Clarke, James Noble, John Potter: Simple Ownership Types for Object Containment. ECOOP 2001: 53-76
	1999
4		David G. Clarke, James Noble, John Potter: Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151
3		James Noble, David G. Clarke, John Potter: Object Ownership for Dynamic Alias Protection. TOOLS (32) 1999: 176-187
	1998
2		John Potter, James Noble, David G. Clarke: The Ins and Outs of Objects. Australian Software Engineering Conference 1998: 80-89
1		David G. Clarke, John Potter, James Noble: Ownership Types for Flexible Alias Protection. OOPSLA 1998: 48-64

Coauthor Index

1	Gul A. Agha (Gul Agha)	[47]
2	Beatrice Åkerblom	[32]
3	Farhad Arbab	[14] [15] [19] [22] [31] [36] [49] [53]
4	Frank Atanassow	[13]
5	Robert Biddle	[17] [20]
6	Frank S. de Boer	[16] [25]
7	Marcello M. Bonsangue	[33] [39] [48] [55]
8	John Tang Boyland (John Boyland)	[26]
9	Roberto Bruni	[31]
10	David Costa	[14] [15] [19] [22]
11	Nikolay Diakov	[43] [50]
12	Sophia Drossopoulou	[6] [11] [21] [27] [28] [34]
13	David Eppstein	[40]
14	Kaveh Ghasemloo	[40]
15	Reiner Hähnle	[43] [50]
16	Michiel Helvensteijn	[44]
17	Mohammad Izadi	[33] [48]
18	Johan Jeuring	[8] [10] [13]
19	Einar Broch Johnsen	[25] [35] [43] [46] [50]
20	Christian Krause (Christian Koehler, Christian Köhler)	[37]
21	Ivan Lanese	[31]
22	Alexander Lazovik	[36] [49]
23	Gary T. Leavens	[26]
24	Michael Lienhardt	[57]
25	Francesco Logozzo	[26]
26	Andres Löh	[7] [8] [10]
27	Dimiter Milushev	[58]
28	Ugo Montanari	[31]
29	Peter Müller	[34]
30	Radu Muschevici	[41] [45] [51]
31	James Noble	[1] [2] [3] [4] [5] [9] [11] [17] [20] [21] [27] [28] [34]
32	Johan Östlund	[32] [35]
33	Olaf Owe	[46]
34	Marco Patrignani	[54]
35	Cees Pierik	[16]
36	Arnd Poetzsch-Heffter	[26]
37	Alex Potanin	[17] [20]
38	John Potter	[1] [2] [3] [4] [5]
39	José Proença	[30] [36] [38] [41] [42] [45] [49] [51] [53]
40	Germán Puebla (German Puebla)	[43]
41	Lev Reyzin	[40]
42	Michael Richmond	[9]
43	András Z. Salamon	[40]
44	Davide Sangiorgi	[54]
45	Ina Schaefer	[44] [45] [50]
46	Jan Schäfer (Jan Schaefer)	[50]
47	Rudolf Schlatte	[45] [50]
48	Ilya Sergey	[52] [56] [59]
49	Peter W. Shor	[40]
50	Alexandra Silva	[39] [55]
51	Aaron Sterling	[40]
52	Suresh Venkatasubramanian	[40]
53	Erik P. de Vink	[53]
54	Balthasar Weitzel	[43]
55	Peter Y. H. Wong	[43] [50]
56	Tobias Wrigstad	[12] [23] [27] [28] [32] [34] [35]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page