Riccardo Bianchini

Orcid: 0000-0003-0491-7652

Affiliations:

University of Genoa, Department of Informatics, Bioengineering, Robotics and Systems Engineering, Genoa, Italy

According to our database¹, Riccardo Bianchini authored at least 10 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Don't exhaust, don't waste.

[BibT_eX]

[DOI]

CoRR, July, 2025

2024

Resource-awareness for Java-like languages and beyond.

[BibT_eX]

[DOI]

Riccardo Bianchini

PhD thesis, 2024

2023

Resource-Aware Soundness for Big-Step Semantics.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

A Java-like calculus with heterogeneous coeffects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., September, 2023

QueryAGT: Asynchronous global types in co-logic programming.

[BibT_eX]

[DOI]

Riccardo Bianchini

Francesco Dagnino

Sci. Comput. Program., 2023

Monitoring for Resource-Awareness.

[BibT_eX]

[DOI]

Riccardo Bianchini

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

Multi-Graded Featherweight Java.

[BibT_eX]

[DOI]

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

2022

Coeffects for sharing and mutation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

A Java-Like Calculus with User-Defined Coeffects.

[BibT_eX]

[DOI]

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

2021

Asynchronous Global Types in Co-logic Programming.

[BibT_eX]

[DOI]

Riccardo Bianchini

Francesco Dagnino

Proceedings of the Coordination Models and Languages, 2021

Riccardo Bianchini

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...