Smart Contract-Based Car Insurance Policies. - Lennart Bader; Jens Christoph Bürger; Roman Matzutt; Klaus Wehrle (GLOBECOM Workshops, 2018)

Towards an Isabelle Theory for distributed, interactive systems: The untimed case. - Jens Christoph Bürger; Hendrik Kausch; Deni Raco; Jan Oliver Ringert; Bernhard Rumpe; Sebastian Stüber; Marc Wiartalla (Towards an Isabelle Theory for distributed, interactive systems, 2020)