Concepedia

Gianni Rosa

GR

Statistics

Publications

2

Citations

68

H-Index

2

Active since

2014

Affiliations

University of L'Aquila(Current)

Gianni Rosa is an author at University of L'Aquila specializing in formal methods, automated reasoning, and formal verification.

Top concepts

Publications per year

2014–2015

2

Publications

2

Managing uncertainty in bidirectional model transformations

Romina Eramo, Alfonso Pierantonio, Gianni Rosa · 2015 · 46 citations

, , +21

Uncertainty in bidirectional transformations

Romina Eramo, Alfonso Pierantonio, Gianni Rosa · 2014 · 22 citations

, , +21

1–2 of 2