Gabriele Vanoni
Scholar

Gabriele Vanoni

Google Scholar ID: wOCNYcIAAAAJ
Postdoc, IRIF, CNRS, Université Paris Cité
Programming languagesSemanticsType systemsFormal Methods
Citations & Impact
All-time
Citations
103
 
H-index
6
 
i10-index
4
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)