Autor der Publikation

Bytecode Model Checking: An Experimental Analysis.

, , , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 42-59. Springer, (2002)

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

Java auf Chipkarten - Das aktuelle Schlagwort., und . Informatik Spektrum, 21 (1): 27-28 (1998)Wireless Internet Security - Aktuelles Schlagwort., und . Informatik Spektrum, 24 (6): 383-386 (2001)Advances in smart cards., , , und . Computer Networks, 51 (9): 2219-2222 (2007)CSP & Co. Can Save Us from a Rogue Cross-Origin Storage Browser Network! But for How Long?, und . CODASPY, Seite 170-172. ACM, (2018)PCA: Jini-based Personal Card Assistant., , und . CQRE, Volume 1740 von Lecture Notes in Computer Science, Seite 64-75. Springer, (1999)Sanitizable Signatures in XML Signature - Performance, Mixing Properties, and Revisiting the Property of Transparency., , und . ACNS, Volume 6715 von Lecture Notes in Computer Science, Seite 166-182. (2011)Kynoid: Real-Time Enforcement of Fine-Grained, User-Defined, and Data-Centric Security Policies for Android., , , und . WISTP, Volume 7322 von Lecture Notes in Computer Science, Seite 208-223. Springer, (2012)Malleable Signatures for Resource Constrained Platforms., , , , und . WISTP, Volume 7886 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2013)Consistency Driven Planning., , , und . EPIA, Volume 541 von Lecture Notes in Computer Science, Seite 195-209. Springer, (1991)Sanitizable signed privacy preferences for social networks., , , und . GI-Jahrestagung, Volume P-192 von LNI, Seite 409. GI, (2011)