Autor der Publikation

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

Spectral Convolution Networks., , und . CoRR, (2016)Polytypic programming in COQ., , und . ICFP-WGP, Seite 49-60. ACM, (2008)X509CLOUD - Framework for a Ubiquitous PKI., , , und . IACR Cryptology ePrint Archive, (2017)Homomorphic Encryption with Access Policies: Characterization and New Constructions., , und . AFRICACRYPT, Volume 7918 von Lecture Notes in Computer Science, Seite 61-87. Springer, (2013)Formal polytypic programs and proofs., , und . J. Funct. Program., 20 (3-4): 213-269 (2010)An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker., , und . EUC, Seite 306-311. IEEE Computer Society, (2011)A Process Algebraic Description of a Temporal Wireless Network Protocol., , und . ECEASST, (2011)A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes., , , und . ICTAC, Volume 4281 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2006)Fully Anonymous Transferable Ecash., und . IACR Cryptology ePrint Archive, (2016)Annotation and Retrieval of Cell Images., , , , , und . IDEAL, Volume 6283 von Lecture Notes in Computer Science, Seite 218-225. Springer, (2010)