search result

Cover von How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)

How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)

Year: 2022
Media group: LIPIcs
Cover von On Privacy and Accuracy in Data Releases (Invited Paper)

On Privacy and Accuracy in Data Releases (Invited Paper)

Year: 2020
Media group: LIPIcs
Cover von Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4 - 7, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11024
Media group: MONOGRAPHIE
Cover von Challenges and Trends in Probabilistic Programming; 4
pp. 123-141
Search for this author
Year: 2015
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
Cover von Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24 - 28, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9450
Media group: MONOGRAPHIE
Cover von Abstraction, refinement and proof for probabilistic systems
Author: MacIver, Annabelle; Morgan, Carroll C. Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Monographs in computer science
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 364, STACS 2026, Complete Volume

LIPIcs, Volume 364, STACS 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 43rd International Symposium on Theoretical Aspects of Computer Science
STACS 2026, Grenoble, France, March 9-13, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 364
Media group: LIPIcs
Cover von The Science of Quantitative Information Flow
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Information security and cryptography
Media group: MONOGRAPHIE
OPEN V 11.1.0.0