Formal Verification of the Ethereum 2.0 Beacon Chain

von Cassez, Franck
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Semi-parametric forecasting of spikes in electricity prices

von Clements, Adam
Veröffentlicht in The economic record (2013)

Deductive Verification of Smart Contracts with Dafny

von Cassez, Franck
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

Trust and power as determinants of tax compliance across 44 nations

von Batrancea, Larissa
Veröffentlicht in Journal of economic psychology (2019)