Riccardo Bianchini

According to our database, Riccardo Bianchini authored at least 12 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Resource-awareness for Java-like languages and beyond.

Riccardo Bianchini

PhD thesis, 2024

2023

Resource-Aware Soundness for Big-Step Semantics.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Proc. ACM Program. Lang., October, 2023

Drop edges and adapt: A fairness enforcing fine-tuning for graph neural networks.

Indro Spinelli, Riccardo Bianchini, Simone Scardapane

Neural Networks, October, 2023

A Java-like calculus with heterogeneous coeffects.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Theor. Comput. Sci., September, 2023

QueryAGT: Asynchronous global types in co-logic programming.

Riccardo Bianchini, Francesco Dagnino

Sci. Comput. Program., 2023

Monitoring for Resource-Awareness.

Riccardo Bianchini

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023

Multi-Graded Featherweight Java.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Coeffects for sharing and mutation.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto

Proc. ACM Program. Lang., 2022

A Java-Like Calculus with User-Defined Coeffects.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021

Asynchronous Global Types in Co-logic Programming.

Riccardo Bianchini, Francesco Dagnino

Proceedings of the Coordination Models and Languages, 2021

1999

Virtual Sound On Line - Computer Music Courses on the Internet.

Riccardo Bianchini, Alessandro Cipriani

Proceedings of the 1999 International Computer Music Conference, 1999

1998

Three levels of education in Electroacoustic Music: The Virtual Sound Project.

Riccardo Bianchini, Alessandro Cipriani

Proceedings of the 1998 International Computer Music Conference, 1998