Transaction Monitoring of Smart Contracts

von Capretto, Margarita
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

On Minimum Generalized Manhattan Connections

von Antoniadis, Antonios
Veröffentlicht in WADS (17. : 2021 : Online) Algorithms and data structures (2021)