Concepedia

Gianmarco Mazzante

GM

3

Publications

84

Citations

3

H-Index

2017

Active since

Affiliations

Università di Camerino(Current)

Middlesex University

Gianmarco Mazzante is an author at Università di Camerino specializing in formal methods, computer science, and engineering.

ORCID

Top concepts

Publications per year

2017–2020

3

Publications

3

Ethereum smart contracts: Analysis and statistics of their source code and opcodes

Stefano Bistarelli, Gianmarco Mazzante, Leonardo Mostarda et al. · Internet of Things · 2020 · 40 citations

, , +16

Symbolic verification of event–condition–action rules in intelligent environments

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante et al. · Journal of Reliable Intelligent Environments · 2017 · 32 citations

, , +7

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante et al. · 2017 · 12 citations

, , +25

Rows per page

1–3 of 3