Concepedia

Simone Martini

SM

37

Publications

1.9K

Citations

24

H-Index

1988

Active since

Affiliations

University of Pisa(Current)

Istituto Zooprofilattico Sperimentale delle Venezie

Presidio Ospedaliero

Regione del Veneto

University of Padua

Simone Martini is an author at University of Pisa specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

1988–2022

37

Publications

37

An Extension of System F with Subtyping

Luca Cardelli, Simone Martini, John C. Mitchell et al. · Information and Computation · 1994 · 192 citations · Full text

, , +12

Computational Thinking, Between Papert and Wing

Michael Lodi, Simone Martini · Science & Education · 2021 · 180 citations · Full text

Interacting with Networks: How Does Structure Relate to Controllability in Single-Leader, Consensus Networks?

Magnus Egerstedt, Simone Martini, Ming Cao et al. · IEEE Control Systems · 2012 · 178 citations

Controllability analysis of multi-agent systems using relaxed equitable partitions

Simone Martini, Magnus Egerstedt, Antonio Bicchi · International Journal of Systems Control and Communications · 2010 · 133 citations

First report in italy of the exotic mosquito species Aedes (Finlaya) koreicus, a potential vector of arboviruses and filariae

Gioia Capelli, Andrea Drago, Simone Martini et al. · Parasites & Vectors · 2011 · 121 citations · Full text

Rows per page

1–5 of 37