researcher

Marco Roveri

Department of Information Engineering and Computer Science of University of Trento

11 papers hereh-index 419.2k citations143 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author2
middle author7
last author2

Across the 11 of 11 papers where every author was matched, so the position is known.

fields

affiliations

Department of Information Engineering and Computer Science of University of Trento

Homepage ORCID 0000-0001-9483-3940

same name

Marco Roveri — 3 papers, h 4
Marco Roveri — 3 papers, h 2
Marco Roveri — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20102023

most citedInvariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

18 citations · 51 across the 11 of their papers we have counts for

collaborators

Showing eess.SYShow all

1 paper · 1 filter

eess.SY2022

A Markovian Model for the Spread of the SARS-CoV-2 Virus

Luigi Palopoli, Daniele Fontanelli, Marco Frego +1

We propose a Markovian stochastic approach to model the spread of a SARS-CoV-2-like infection within a closed group of humans. The model takes the form of a Partially Observable Ma…