Researcher identifiers

External widget

Production year

Number of documents

1

Kostas Chatzikokolakis


Logical Methods in Computer Science   

Journal articles1 document

  • Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi. On the Compositionality of Quantitative Information Flow. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-31. ⟨hal-01421424⟩