Scholar
Paola Giannini
Google Scholar ID: nRUlhugAAAAJ
Universita' Piemonte Orientale
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
381
H-index
11
i10-index
13
Publications
20
Co-authors
11
list available
Publications
7 items
A monadic interpreter and type-and-effect checker
2026
Cited
0
Sensible Intersection Type Theories
2026
Cited
0
Fair Termination for Resource-Aware Active Objects
2025
Cited
0
A Type System for Data Privacy Compliance in Active Object Languages
2025
Cited
0
Don't exhaust, don't waste
2025
Cited
0
An effectful object calculus
2025
Cited
0
Monadic type-and-effect soundness
2025
Cited
0
Co-authors
8 total
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Mariangiola Dezani-Ciancaglini
Emeritus Professor of Computer Science, Torino University
Sophia Drossopoulou
Professor, Imperial College London
Elena Zucca
DIBRIS, University of Genova
Ilaria Castellani
Researcher in Computer Science, INRIA, France
Davide Ancona
Genova
Francesco Dagnino
DIBRIS, University of Genova
Ross Horne
University of Strathclyde
