Model Checking ω-Regular Properties with Decoupled Search

von Gnad, Daniel
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

SoK: Lending Pools in Decentralized Finance

von Bartoletti, Massimo
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security (2021)

Trustworthy global computing : 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 ; revised selected papers

Veröffentlicht 2014

Towards a Theory of Decentralized Finance

von Bartoletti, Massimo
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security (2021)

Reducing Boolean Networks with Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Formal Analysis of Lending Pools in Decentralized Finance

von Bartoletti, Massimo
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)