David Clark

Available identifiers

zbMath Open clark.davidWikidataQ102368922 ScholiaQ102368922MaRDI QIDQ436318

List of research outcomes

Publication	Date of Publication	Type
Correctly Slicing Extended Finite State Machines	2020-07-20	Paper
Normalised squeeziness and failed error propagation	2019-09-20	Paper
An alternative characterization of weak order dependence	2017-11-03	Paper
A semiring-based trace semantics for processes with applications to information leakage analysis	2016-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q2863836	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2849851	2013-09-20	Paper
Squeeziness: an information theoretic measure for avoiding fault masking	2012-07-20	Paper
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis	2010-10-27	Paper
Quantitative Information Flow, Relations and Polymorphic Types	2005-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737552	2004-08-11	Paper
Information flow for Algol-like languages	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q2766630	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2722050	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4222786	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5284547	1997-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4870820	1996-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4281609	1994-03-10	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: David Clark