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


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
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
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)
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)
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
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)
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)
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

Selection of 9 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