Mazzante, Gianmarco
Mazzante, Gianmarco
Universita' degli Studi di CAMERINO
Analysis of Ethereum Smart Contracts and Opcodes
2019-01-01 Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco
Blockchain and IoT Integration for Pollutant Emission Control
2022-01-01 Bistarelli, S.; Marcozzi, M.; Mazzante, G.; Mostarda, L.; Navarra, A.; Sestili, D.
Blockchain integration with the IoT: a two-sided approach for enhancing scalability and reducing computational fees.
2023-04-05 Mazzante, Gianmarco
Ethereum smart contracts: Analysis and statistics of their source code and opcodes
2020-01-01 Bistarelli, S; Mazzante, G; Micheletti, M; Mostarda, L; Sestili, D; Tiezzi, F
Off-Chain Execution of IoT Smart Contracts
2021-01-01 Cacciagrano, D.; Corradini, F.; Mazzante, G.; Mostarda, L.; Sestili, D.
Symbolic verification of event–condition–action rules in intelligent environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Analysis of Ethereum Smart Contracts and Opcodes | 1-gen-2019 | Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Blockchain and IoT Integration for Pollutant Emission Control | 1-gen-2022 | Bistarelli, S.; Marcozzi, M.; Mazzante, G.; Mostarda, L.; Navarra, A.; Sestili, D. | Contributo in atto di convegno su volume | |
| Blockchain integration with the IoT: a two-sided approach for enhancing scalability and reducing computational fees. | 5-apr-2023 | Mazzante, Gianmarco | Doctoral Thesis | |
| Ethereum smart contracts: Analysis and statistics of their source code and opcodes | 1-gen-2020 | Bistarelli, S; Mazzante, G; Micheletti, M; Mostarda, L; Sestili, D; Tiezzi, F | Articolo | |
| Off-Chain Execution of IoT Smart Contracts | 1-gen-2021 | Cacciagrano, D.; Corradini, F.; Mazzante, G.; Mostarda, L.; Sestili, D. | Capitolo di libro o voce di enciclopedia | |
| Symbolic verification of event–condition–action rules in intelligent environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Articolo |