Asynchronous Global Types in Co-logic Programming. - Riccardo Bianchini 001; Francesco Dagnino (COORDINATION, 2021)

A Java-Like Calculus with User-Defined Coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ICTCS, 2022)

Coeffects for sharing and mutation. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca; Marco Servetto (Proc. ACM Program. Lang., 2022)

Multi-Graded Featherweight Java. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (ECOOP, 2023)

Monitoring for Resource-Awareness. - Riccardo Bianchini 001 (VORTEX@ISSTA, 2023)

QueryAGT: Asynchronous global types in co-logic programming. - Riccardo Bianchini 001; Francesco Dagnino (Sci. Comput. Program., 2023)

A Java-like calculus with heterogeneous coeffects. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Theor. Comput. Sci., 2023)

Resource-Aware Soundness for Big-Step Semantics. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (Proc. ACM Program. Lang., 2023)

Resource-awareness for Java-like languages and beyond. - Riccardo Bianchini 001 (2024)

Don't exhaust, don't waste. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca (CoRR, 2025)