Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Padovani, Luca
211  Ergebnisse:
Artikel (Online) X
Personensuche X
?
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

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

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

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

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

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

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

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

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

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

Context-Free Session Type Inference:

Padovani, Luca
ACM Transactions on Programming Languages and Systems.  41 (2019)  2 - p. 1-37 , 2019
Link: https://doi.org/10.1145/..
 
?
13

A type checking algorithm for concurrent object protocols:

Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  100 (2018)  - p. 16-35 , 2018
Link: https://doi.org/10.1016/..
 
?
14

A core calculus for dynamic delta-oriented programming:

Damiani, Ferruccio ; Padovani, Luca ; Schaefer, Ina.
Acta Informatica.  55 (2017)  4 - p. 269-307 , 2017
Link: https://doi.org/10.1007/..
 
?
15

The Chemical Approach to Typestate-Oriented Programming:

Crafa, Silvia ; Padovani, Luca
ACM Transactions on Programming Languages and Systems.  39 (2017)  3 - p. 1-45 , 2017
Link: https://doi.org/10.1145/..
 
1-15