E-LIB Suche - Ergebnisse für: Padovani, Luca

1

Surgical and Biological Treatment with a Platelet-Rich Fibr..:

Iacono, Venanzio ; Padovani, Luca ; Qordja, Fjorela...
Journal of Personalized Medicine. 14 (2024) 6 - p. 567 , 2024

Link: https://doi.org/10.3390/..

2

A logical account of subtyping for session types:

Horne, Ross ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming. 141 (2024) - p. 100986 , 2024

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

3

Fair termination of multiparty sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming. 139 (2024) - p. 100964 , 2024

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

4

How Free Swimming Fosters the Locomotion of a Purely Oscill..:

Paniccia, Damiano ; Padovani, Luca ; Graziani, Giorgio..
Biomimetics. 8 (2023) 5 - p. 401 , 2023

Link: https://doi.org/10.3390/..

5

Development of an Autonomous Fish-Inspired Robotic Platform..:

, In: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor),

Manduca, Gianluca ; Padovani, Luca ; Carosio, Edoardo... - p. 188-193 , 2023

Link: https://doi.org/10.1109/..

6

Fair termination of binary sessions:

Ciccone, Luca ; Padovani, Luca
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

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

7

An OCaml Implementation of Binary Sessions:

, In: Behavioural Types,

Melgratti, Hernán ; Padovani, Luca - p. 243-263 , 2022

Link: https://doi.org/10.1201/..

8

Preface to the special issue on the 12th Workshop on Progra..:

Balzer, Stephanie ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming. 127 (2022) - p. 100777 , 2022

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

9

Type-Based Analysis of Linear Communications:

, In: Behavioural Types,

Padovani, Luca - p. 193-217 , 2022

Link: https://doi.org/10.1201/..

10

Distributed workflows with Jupyter:

Colonnelli, Iacopo ; Aldinucci, Marco ; Cantalupo, Barbara...
Future Generation Computer Systems. 128 (2022) - p. 282-298 , 2022

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

11

Inference Systems with Corules for Combined Safety and Live..:

Ciccone, Luca ; Padovani, Luca
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

12

Fair termination of binary sessions:

Ciccone, Luca ; Padovani, Luca
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

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

13

The performance of a flapping foil for a self-propelled fis..:

Paniccia, Damiano ; Padovani, Luca ; Graziani, Giorgio.
Scientific Reports. 11 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..

14

A Dependently Typed Linear π-Calculus in Agda:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,

Ciccone, Luca ; Padovani, Luca - p. 1-14 , 2020

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

15

Context-Free Session Type Inference:

Padovani, Luca
ACM Transactions on Programming Languages and Systems (TOPLAS). 41 (2019) 2 - p. 1-37 , 2019

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