Padovani, Luca
209  Ergebnisse:
Personensuche X
?
1

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
 
?
2

Fair termination of multiparty sessions:

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

Comparing Essential Tremor with and without Soft Dystonic S..:

Erro, Roberto ; Lazzeri, Giulia ; Terranova, Carmen...
Movement Disorders Clinical Practice.  11 (2024)  6 - p. 645-654 , 2024
 
?
 
?
 
?
14

Secondary prevention after intracerebral haemorrhage:

Toffali, Maddalena ; Carbone, Federico ; Fainardi, Enrico...
European Journal of Clinical Investigation.  53 (2023)  6 - p. , 2023
 
1-15