( en | de | ru )

 

Disambiguierung von "Olmedo, Federico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs.

, und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 49-60. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carlos Badenes-Olmedo

Guillermo Frühbeck Olmedo

Federico Squartini

Stefania Federico

Federico Krantz

 

Weitere Publikationen von Autoren mit dem selben Namen

Slicing of probabilistic programs based on specifications., und . Sci. Comput. Program., (2022)Approximate Relational Reasoning for Probabilistic Programs.. Technical University of Madrid, Spain, (2014)Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)., und . ECOOP, Volume 222 von LIPIcs, Seite 34:1-34:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Differential privacy and SPARQL., , und . Semantic Web, 15 (3): 745-773 (2024)Reasoning about Recursive Probabilistic Programs., , , und . LICS, Seite 672-681. ACM, (2016)Contextual Linear Types for Differential Privacy., , , , , , und . ACM Trans. Program. Lang. Syst., 45 (2): 8:1-8:69 (Juni 2023)Probabilistic relational reasoning for differential privacy., , , und . POPL, Seite 97-110. ACM, (2012)Verifiable Security of Boneh-Franklin Identity-Based Encryption., , und . ProvSec, Volume 6980 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2011)Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms., , , und . J. ACM, 65 (5): 30:1-30:68 (2018)Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs., und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 49-60. Springer, (2013)