Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642136771, 9783642136788

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Information Theory and Security: Quantitative Information Flow

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13678-8_3 ◽

2010 ◽

pp. 87-134 ◽

Cited By ~ 5

Author(s):

Pasquale Malacaria ◽

Jonathan Heusser

Keyword(s):

Information Theory ◽

Information Flow ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

Probabilistic Semantics and Program Analysis

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13678-8_1 ◽

2010 ◽

pp. 1-42 ◽

Cited By ~ 5

Author(s):

Alessandra Di Pierro ◽

Chris Hankin ◽

Herbert Wiklicky

Keyword(s):

Program Analysis ◽

Probabilistic Semantics

Download Full-text

Performance and Security Tradeoff

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13678-8_4 ◽

2010 ◽

pp. 135-167 ◽

Cited By ~ 13

Author(s):

Katinka Wolter ◽

Philipp Reinecke

Download Full-text

Measurement-Based and Universal Blind Quantum Computation

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13678-8_2 ◽

2010 ◽

pp. 43-86 ◽

Cited By ~ 7

Author(s):

Anne Broadbent ◽

Joseph Fitzsimons ◽

Elham Kashefi

Keyword(s):

Quantum Computation ◽

Blind Quantum Computation

Download Full-text

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Information Theory and Security: Quantitative Information Flow

Probabilistic Semantics and Program Analysis

Performance and Security Tradeoff

Measurement-Based and Universal Blind Quantum Computation

Formal Methods for Quantitative Aspects of Programming Languages - Lecture Notes in Computer Science
Latest Publications