Progetti per anno
Fingerprint
Entra nei temi di ricerca in cui Paola GIANNINI è attivo. Queste etichette tematiche provengono dalle opere di questa persona. Insieme formano una fingerprint unica.
- 1 Profili simili
Collaborazioni e aree di ricerca di punta degli ultimi cinque anni
Recente collaborazione esterna a livello di paese/territorio nazionale. Entra nei dettagli facendo clic sui punti oppure
Progetti
- 1 Attivo
-
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
Progetto: Other
Risultato della ricerca
-
Coeffects for MiniJava: Cf-Mj
GIANNINI, P. & Duso, G., 2024, pag. 30-36. 7 pag.Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review
-
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
Castellani, I., Dezani-Ciancaglini, M. & Giannini, P., 23 lug 2024, In: Fundamenta Informaticae. 192, 1, pag. 1-75 75 pag.Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review
Open Access -
Global Types for Agent Interaction Protocols (short paper)
Bergenti, F., Galliera, L., GIANNINI, P., Monica, S. & Nazzari, R., 2024, pag. 284-291. 8 pag.Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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, pag. 11-21 11 pag.Risultato della ricerca: Contributo su rivista › Articolo da conferenza › 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, pag. 114063Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review
Open Access