E-LIB Suche - Ergebnisse für: Bianchini, Riccardo

1

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

Spinelli, Indro ; Bianchini, Riccardo ; Scardapane, Simone
Neural Networks. 167 (2023) - p. 159-167 , 2023

Link: https://doi.org/10.1016/..

2

Monitoring for Resource-Awareness:

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

Bianchini, Riccardo - p. 13-16 , 2023

Link: https://dl.acm.org/doi/1..

3

Asynchronous global types in co-logic programming:

Bianchini, Riccardo ; Dagnino, Francesco
Science of Computer Programming. 225 (2023) - p. 102895 , 2023

Link: https://doi.org/10.1016/..

4

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1281-1309 , 2023

Link: https://doi.org/10.1145/..

5

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Theoretical Computer Science. 971 (2023) - p. 114063 , 2023

Link: https://doi.org/10.1016/..

6

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 870-898 , 2022

Link: https://doi.org/10.1145/..

7

Asynchronous Global Types in Co-logic Programming:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bianchini, Riccardo ; Dagnino, Francesco - p. 134-146 , 2021

Link: https://doi.org/10.1007/..

8

Multi-graded Featherweight Java:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
http://arxiv.org/abs/2302.07782. , 2023

Link: http://arxiv.org/abs/230..

9

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
volume:7. , 2023

Link: https://hdl.handle.net/1..

10

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
volume:971. , 2023

Link: https://hdl.handle.net/1..

11

Drop Edges and Adapt: a Fairness Enforcing Fine-tuning for ..:

Spinelli, Indro ; Bianchini, Riccardo ; Scardapane, Simone
http://arxiv.org/abs/2302.11479. , 2023

Link: http://arxiv.org/abs/230..

12

Coeffects for Sharing and Mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
http://arxiv.org/abs/2209.07439. , 2022

Link: http://arxiv.org/abs/220..

13

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
volume:6. , 2022

Link: http://hdl.handle.net/11..

14

Il costituzionalismo e il paradosso di una ierocrazia medic:

Bianchini, Riccardo
https://journals.uniurb.it/index.php/pea/article/view/2310/2175. , 2020

Link: https://journals.uniurb...

15

Diritto umano e diritto animale: una lettura provocatoria d..:

Bianchini, Riccardo
https://journals.uniurb.it/index.php/cgdv/article/view/2003/1812. , 2019

Link: https://journals.uniurb...