PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Runje, Davor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Causality Requirements in Java Memory Model Is Undecidable.

, , und . PPAM (2), Volume 6068 von Lecture Notes in Computer Science, Seite 62-67. Springer, (2009)

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.

Keine Personen gefunden für den Autorennamen Runje, Davor
Eine Person hinzufügen mit dem Namen Runje, Davor
 

Weitere Publikationen von Autoren mit dem selben Namen

Universal Strong Encryption FPGA Core Implementation., und . DATE, Seite 923-924. IEEE Computer Society, (1998)Verification of Causality Requirements in Java Memory Model Is Undecidable., , und . PPAM (2), Volume 6068 von Lecture Notes in Computer Science, Seite 62-67. Springer, (2009)Privacy, Abstract Encryption and Protocols: An ASM Model - Part I., , und . Abstract State Machines, Volume 2589 von Lecture Notes in Computer Science, Seite 372-390. Springer, (2003)The Cryptographic Abstract Machine., und . Abstract State Machines, Volume 3052 von Lecture Notes in Computer Science, Seite 202-217. Springer, (2004)ALIME: Autoencoder Based Approach for Local Interpretability., und . IDEAL (1), Volume 11871 von Lecture Notes in Computer Science, Seite 454-463. Springer, (2019)An enhancement of futures runtime in presence of cache memory hierarchy., und . ITI, Seite 925-930. IEEE, (2008)Model-Based Testing of Cryptographic Protocols., , und . TGC, Volume 3705 von Lecture Notes in Computer Science, Seite 33-60. Springer, (2005)Attention Augmented Convolutional Transformer for Tabular Time-series., und . ICDM (Workshops), Seite 537-541. IEEE, (2021)