Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Padovani, Luca
623  Ergebnisse:
Personensuche X
?
1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024
Link: https://doi.org/10.1007/..
 
?
2

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/..
 
?
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

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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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..
 
?
8

Type-Based Analysis of Linear Communications:

, In: Behavioural Types,
Padovani, Luca - p. 193-217 , 2022
Link: https://doi.org/10.1201/..
 
?
9

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/..
 
?
10

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/..
 
?
11

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/..
 
?
12

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..
 
?
13

An OCaml Implementation of Binary Sessions:

, In: Behavioural Types,
Melgratti, Hernán ; Padovani, Luca - p. 243-263 , 2022
Link: https://doi.org/10.1201/..
 
?
14

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/..
 
?
15

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..
 
1-15