researcher

Marco Roveri

Department of Information Engineering and Computer Science of University of Trento

9 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 author6
last author1

Across the 9 of 9 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

20182023

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

18 citations · 34 across the 9 of their papers we have counts for

collaborators

Showing q-bio.PEShow all

1 paper · 1 filter

q-bio.PE2022★ 1 cited

Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations

Marco Roveri, Franc Ivankovic, Luigi Palopoli +1

There is a growing interest in modeling and analyzing the spread of diseases like the SARS-CoV-2 infection using stochastic models. These models are typically analyzed quantitative…