David Clark

Available identifiers

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
Refinement patterns for UML	2013-12-04	Paper
Quantified interference for a while language	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

This page was built for person: David Clark