Dave Clarke

From MaRDI portal
Person:436386

Available identifiers

zbMath Open clarke.daveMaRDI QIDQ436386

List of research outcomes





PublicationDate of PublicationType
Vats: a safe, reactive storage abstraction2021-05-20Paper
Coordination via interaction constraints. I: Local logic2021-02-09Paper
Fully abstract trace semantics for protected module architectures2018-05-15Paper
Abstract delta modelling2016-07-27Paper
A secure compiler for ML modules2016-01-08Paper
Dependency-style generic Haskell2015-07-02Paper
Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>2015-03-19Paper
Coordination models Orc and Reo compared2013-12-13Paper
Calculating graph algorithms for dominance and shortest path2012-09-05Paper
A model of context-dependent component connectors2012-07-20Paper
Towards incrementalization of holistic hyperproperties2012-06-29Paper
Gradual ownership types2012-06-22Paper
A correspondence between type checking via reduction and type checking via evaluation2012-03-09Paper
Modular modelling of software product lines with feature nets2011-10-28Paper
Channel-based coordination via constraint satisfaction2011-06-07Paper
Concurrent objects à la carte2010-03-09Paper
Tiles for Reo2009-10-22Paper
Coordination: Reo, Nets, and Logic2009-02-12Paper
A basic logic for reasoning about connector reconfiguration2008-04-14Paper
A Complete Guide to the Future2007-09-04Paper
Connector colouring. I: Synchronisation and context dependency2007-07-16Paper
Featherweight generic confinement2007-03-08Paper
FM 2005: Formal Methods2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q48169972004-09-14Paper
https://portal.mardi4nfdi.de/entity/Q27792322002-04-15Paper
https://portal.mardi4nfdi.de/entity/Q42506691999-06-17Paper

Research outcomes over time

This page was built for person: Dave Clarke