Projects per year
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
Projects
- 1 Active
-
MaaSUPO: Mobility as a Service (MaaS) at University of Eastern Piedmont (UPO)
SONGINI, L. (PI), RAMELLO, L. (CoI), GIANNINI, P. (CoI) & GELMINI, L. (CoI)
Università degli studi del Piemonte Orientale Amedeo Avogadro
4/08/23 → 30/06/25
Project: Other
-
Coeffects for MiniJava: Cf-Mj
GIANNINI, P. & Duso, G., 2024, p. 30-36. 7 p.Research output: Contribution to conference › Paper › peer-review
-
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
Castellani, I., Dezani-Ciancaglini, M. & Giannini, P., 23 Jul 2024, In: Fundamenta Informaticae. 192, 1, p. 1-75 75 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Global Types for Agent Interaction Protocols (short paper)
Bergenti, F., Galliera, L., GIANNINI, P., Monica, S. & Nazzari, R., 2024, p. 284-291. 8 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Towards a Semantic Characterisation of Global Type Well-formedness
Castellani, I. & Giannini, P., 6 Apr 2024, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 401, p. 11-21 11 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
A Java-like calculus with heterogeneous coeffects
Bianchini, R., Dagnino, F., GIANNINI, P. & Zucca, E., 2023, In: Theoretical Computer Science. 971, p. 114063Research output: Contribution to journal › Article › peer-review
Open Access