Autor der Publikation

Asymmetric Distances for Approximate Differential Privacy.

, , und . CONCUR, Volume 140 von LIPIcs, Seite 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Static Monotonicity Analysis for lambda-definable Functions over Lattices., und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2002)Evolving Games and Essential Nets for Affine Polymorphism., und . TLCA, Volume 2044 von Lecture Notes in Computer Science, Seite 360-375. Springer, (2001)Weak and Nested Class Memory Automata., , und . LATA, Volume 8977 von Lecture Notes in Computer Science, Seite 188-199. Springer, (2015)Functions with local state: from regularity to undecidability.. GALOP@ETAPS, Seite 124-138. (2005)Functions with local state: Regularity and undecidability.. Theor. Comput. Sci., 338 (1-3): 315-349 (2005)Reachability in pushdown register automata., , und . J. Comput. Syst. Sci., (2017)Full Abstraction Without Synchronization Primitives.. MFPS, Volume 265 von Electronic Notes in Theoretical Computer Science, Seite 423-436. Elsevier, (2010)Game Semantic Analysis of Equivalence in IMJ., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 411-428. Springer, (2015)A Contextual Equivalence Checker for IMJ ∗., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 234-240. Springer, (2015)Dominator Trees and Fast Verification of Proof Nets., und . LICS, Seite 181-191. IEEE Computer Society, (2000)