Fingerprint
Dive into the research topics where Paola GIANNINI is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Effectful Object Calculus
Dagnino, F., Giannini, P. & Zucca, E., 25 Jun 2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Type System for Data Privacy Compliance in Active Object Languages
Baramashetru, C. P., Giannini, P., Tarifa, S. L. T. & Owe, O., 2025, In: Art, Science, and Engineering of Programming. 10, 2, 18.Research output: Contribution to journal › Article › peer-review
Open Access -
Correct implementation of agent interaction protocols
Bergenti, F., Egidi, L., Galliera, L., Giannini, P. & Monica, S., 2025, In: Frontiers in Computer Science. 7, 1659785.Research output: Contribution to journal › Article › peer-review
Open Access -
Fair Termination for Resource-Aware Active Objects
Dagnino, F., GIANNINI, P., Pun, V. K. I. & Torrella, U., 2025, p. 22-43. 22 p.Research output: Contribution to conference › Paper › peer-review
-
Monadic Type-And-Effect Soundness
Dagnino, F., Giannini, P. & Zucca, E., 25 Jun 2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review