A

Alessio Ferrari

University College Dublin

ORCID: 0000-0002-0636-5663

204 papers and 3.6k citations.

PubIndex Score40Top 60% · seniorHow it's scored

204Publications

3.6kTotal Citations

First publication: 1953First senior author: 1953

Top publicationsby citations

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Maurice H. ter Beek, Alessio Ferrari|Software|2022

Cited by 11

Indexing the rest of 204 publications…