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

Dave Clarke (Selection)

David G. Clarke

K.U.Leuven, Belgium

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarko van Dooren, Dave Clarke: Subobject Transactional Memory. COORDINATION 2012: 44-58
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença: Partial Connector Colouring. COORDINATION 2012: 59-73
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: Gradual Ownership Types. ESOP 2012: 579-599
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimiter Milushev, Wim Beck, Dave Clarke: Noninterference via Symbolic Execution. FMOODS/FORTE 2012: 152-168
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Jan Midtgaard, Dave Clarke: Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimiter Milushev, Dave Clarke: Towards Incrementalization of Holistic Hyperproperties. POST 2012: 329-348
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Lienhardt, Dave Clarke: Row types for delta-oriented programming. VaMoS 2012: 121-128
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe: A Type-Safe Model of Adaptive Object Groups CoRR abs/1208.4630: (2012)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Patrignani, Dave Clarke, Davide Sangiorgi: Ownership Types for the Join Calculus. FMOODS/FORTE 2011: 289-303
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata FOCLASA 2011: 65-79
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya Sergey, Dave Clarke: From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Muschevici, José Proença, Dave Clarke: Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8): 681-710 (2011)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Büchi automata for modeling component connectors. Software and System Modeling 10(2): 183-200 (2011)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Gul A. Agha: Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings Springer 2010
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Einar Broch Johnsen, Olaf Owe: Concurrent Objects à la Carte. Concurrency, Compositionality, and Correctness 2010: 185-206
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Michiel Helvensteijn, Ina Schaefer: Abstract delta modeling. GPCE 2010: 13-22
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença: Towards a Theory of Views for Feature Models. SPLC Workshops 2010: 91-98
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Muschevici, Dave Clarke, José Proença: Feature Petri Nets. SPLC Workshops 2010: 99-106
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença: Coordination via Interaction Constraints I: Local Logic ICE 2009: 17-39
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Koehler, Dave Clarke: Decomposing port automata. SAC 2009: 1369-1373
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. Electr. Notes Theor. Comput. Sci. 229(2): 43-58 (2009)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen: Minimal Ownership for Active Objects. APLAS 2008: 139-154
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom: Ownership, Uniqueness, and Immutability. TOOLS (46) 2008: 178-197
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari: Tiles for Reo. WADT 2008: 37-55
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Proença, Dave Clarke: Coordination Models Orc and Reo Compared. Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke: A Basic Logic for Reasoning about Connector Reconfiguration. Fundam. Inform. 82(4): 361-390 (2008)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Tribe: a simple virtual class calculus. AOSD 2007: 121-134
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke: Coordination: Reo, Nets, and Logic. FMCO 2007: 226-256
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Wrigstad, Dave Clarke: Existential Owners for Ownership Types. Journal of Object Technology 6(4): 141-159 (2007)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Connector colouring I: Synchronisation and context dependency. Sci. Comput. Program. 66(3): 205-225 (2007)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, David G. Clarke, James Noble: Types for Hierarchic Shapes. ESOP 2006: 1-6
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Potanin, James Noble, Dave Clarke, Robert Biddle: Generic ownership for generic Java. OOPSLA 2006: 311-324
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Connector Colouring I: Synchronisation and Context Dependency. Electr. Notes Theor. Comput. Sci. 154(1): 101-119 (2006)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke: Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. Electr. Notes Theor. Comput. Sci. 159: 61-77 (2006)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Potanin, James Noble, Dave Clarke, Robert Biddle: Featherweight generic confinement. J. Funct. Program. 16(6): 793-811 (2006)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA 2004: 9-25
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, David Costa, Farhad Arbab: Modelling Coordination in Biological Systems. ISoLA (Preliminary proceedings) 2004: 58-66
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Tobias Wrigstad: External Uniqueness Is Unique Enough. ECOOP 2003: 176-200
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, Sophia Drossopoulou, James Noble: Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, Michael Richmond, James Noble: Saving the world from bad beans: deployment-time confinement checking. OOPSLA 2003: 374-387
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic haskell. SIGPLAN Notices 38(9): 141-152 (2003)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Clarke, Andres Löh: Generic Haskell, Specifically. Generic Programming 2002: 21-47
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, Sophia Drossopoulou: Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, James Noble, John Potter: Simple Ownership Types for Object Containment. ECOOP 2001: 53-76
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, James Noble, John Potter: Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Noble, David G. Clarke, John Potter: Object Ownership for Dynamic Alias Protection. TOOLS (32) 1999: 176-187
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Potter, James Noble, David G. Clarke: The Ins and Outs of Objects. Australian Software Engineering Conference 1998: 80-89
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Clarke, John Potter, James Noble: Ownership Types for Flexible Alias Protection. OOPSLA 1998: 48-64

Selection of 65 from 65 records - Dave Clarke has 60 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page