Delete search term

Header

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
dandolo.flumini@zhaw.ch

Personal profile

Professional development teaching

CAS Big Data Analytics, Blockchain and Distributed Ledger

CAS Blockchain - Von Konzepten zu neuen Anwendungsfeldern

Membership of networks

Projects

Publications

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

    2018.

    A logic of blockchain updates [paper].

    In:

    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.

    Springer.

    pp. 107-119.

    Lecture Notes in Computer Science ; 10703.

    Available from: https://doi.org/10.1007/978-3-319-72056-2_7

Oral conference contributions and abstracts