Riccardo Bianchini

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 12

Top Topics

Logic Programming

Procedural Semantics

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-Graded Featherweight Java. ECOOP (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-graded Featherweight Java. CoRR (2023)
Indro Spinelli, Riccardo Bianchini, Simone Scardapane
Drop edges and adapt: A fairness enforcing fine-tuning for graph neural networks. Neural Networks 167 (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Indro Spinelli, Riccardo Bianchini, Simone Scardapane
Drop Edges and Adapt: a Fairness Enforcing Fine-tuning for Graph Neural Networks. CoRR (2023)
Riccardo Bianchini, Francesco Dagnino
QueryAGT: Asynchronous global types in co-logic programming. Sci. Comput. Program. 225 (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971 (2023)
Riccardo Bianchini
Monitoring for Resource-Awareness. VORTEX@ISSTA (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for Sharing and Mutation. CoRR (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-Like Calculus with User-Defined Coeffects. ICTCS (2022)
Riccardo Bianchini, Francesco Dagnino
Asynchronous Global Types in Co-logic Programming. COORDINATION (2021)
Riccardo Bianchini, Alessandro Cipriani
Virtual Sound On Line - Computer Music Courses on the Internet. ICMC (1999)
Riccardo Bianchini, Alessandro Cipriani
Three levels of education in Electroacoustic Music: The Virtual Sound Project. ICMC (1998)