Dave Clarke

Available identifiers

zbMath Open clarke.daveMaRDI QIDQ436386

List of research outcomes

Publication	Date of Publication	Type
Vats: a safe, reactive storage abstraction	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q5150072	2021-02-09	Paper
Fully abstract trace semantics for protected module architectures	2018-05-15	Paper
Abstract delta modelling	2016-07-27	Paper
A Secure Compiler for ML Modules	2016-01-08	Paper
Dependency-style generic haskell	2015-07-02	Paper
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-19	Paper
Coordination Models Orc and Reo Compared	2013-12-13	Paper
Calculating Graph Algorithms for Dominance and Shortest Path	2012-09-05	Paper
A model of context-dependent component connectors	2012-07-20	Paper
Towards Incrementalization of Holistic Hyperproperties	2012-06-29	Paper
Gradual Ownership Types	2012-06-22	Paper
A correspondence between type checking via reduction and type checking via evaluation	2012-03-09	Paper
Modular Modelling of Software Product Lines with Feature Nets	2011-10-28	Paper
Channel-based coordination via constraint satisfaction	2011-06-07	Paper
Concurrent Objects à la Carte	2010-03-09	Paper
Tiles for Reo	2009-10-22	Paper
Coordination: Reo, Nets, and Logic	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5457269	2008-04-14	Paper
A Complete Guide to the Future	2007-09-04	Paper
Connector colouring. I: Synchronisation and context dependency	2007-07-16	Paper
Featherweight generic confinement	2007-03-08	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4816997	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q2779232	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4250669	1999-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dave Clarke