Christian Müller

Fourth universal definition of myocardial infarction (2018)

2018 · European Heart Journal

... ... ... ... In the late 19th century, post-mortem examinations demonstrated a possible relationship between thrombotic occlusion of a coronary artery and myocardial infarction (MI).1 However, it was not until the beginning of the …

Inductive Invariants for Noninterference in Multi-agent Workflows

2018

Our goal is to certify absence of information leaks in multi-agent workflows, such as conference management systems like EasyChair. These workflows can be executed by any number of agents some of which may form coalitions …