SFM 2010: Bertinoro, Italy

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Lecture Notes in Computer Science 6154 Springer 2010, ISBN 978-3-642-13677-1

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Probabilistic Semantics and Program Analysis. 1-42
Anne Broadbent, Joseph Fitzsimons, Elham Kashefi:
Measurement-Based and Universal Blind Quantum Computation. 43-86
Pasquale Malacaria, Jonathan Heusser:
Information Theory and Security: Quantitative Information Flow. 87-134
Katinka Wolter, Philipp Reinecke:
Performance and Security Tradeoff. 135-167

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page