Autor der Publikation

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

, , , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 121-137. Springer, (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

Programmable and Variable-Stiffness Robotic Skins for Pneumatic Actuation., , , , , , , , und . Adv. Intell. Syst., (Dezember 2023)Priority-based Distributed Queuing Random Access Mechanism for mMTC/uRLLC Terminals Coexistence., , , und . VTC Spring, Seite 1-6. IEEE, (2021)Meridian: an SDN platform for cloud network services, , , , und . Communications Magazine, IEEE, 51 (2): 120-127 (2013)Software-Defined Flow Table Pipeline., , und . IC2E, Seite 335-340. IEEE Computer Society, (2015)High throughput low latency LDPC decoding on GPU for SDR systems., , , und . GlobalSIP, Seite 1258-1261. IEEE, (2013)Gbit/s Non-Binary LDPC Decoders: High-Throughput using High-Level Specifications., , , , , und . FCCM, Seite 226. IEEE, (2020)Air-Interface Slice Based Dynamic Resource Reservation for Ultra-Low-Latency IoT Transmissions., , und . LCN, Seite 603-606. IEEE Computer Society, (2016)Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing., , , und . CoRR, (2014)Practical Urban Localization for Mobile AR., , und . HotMobile, Seite 27-32. ACM, (2020)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , und . APSEC, Seite 355-362. IEEE, (2019)