Information
works as
Delay Indices for Train Punctuality (2023) — Enrico Denti, Luca Burroni
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini