Delete search term


Quick navigation

Main navigation

Dr. Dandolo Flumini

Dr. Dandolo Flumini
ZHAW School of Engineering
Forschungsschwerpunkt Applied Complex Systems Science
Technikumstrasse 9
8400 Winterthur

+41 (0) 58 934 77 04

Personal profile

Professional development teaching

CAS Big Data Analytics, Blockchain and Distributed Ledger

CAS Blockchain - Von Konzepten zu neuen Anwendungsfeldern

Membership of networks



Articles in scientific journal, peer-reviewed Conference contributions, peer-reviewed
  • Brünnler, Kai; Flumini, Dandolo; Studer, Thomas,


    A logic of blockchain updates [paper].


    Artemov, Sergei; Nerode, Anil, eds.,

    Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings.

    International Symposium on Logical Foundations of Computer Science, Deerfield Beach, FL, USA, January 8–11, 2018.


    pp. 107-119.

    Lecture Notes in Computer Science ; 10703.

    Available from:

Oral conference contributions and abstracts