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

On the Fair Termination of Client-Server Sessions:

Padovani, Luca
doi:10.4230/LIPIcs.TYPES.2022.5.  , 2023
Link: https://doi.org/10.4230/..
 
?
2

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

Paniccia, Damiano ; Padovani, Luca ; Graziani, Giorgio..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10526200/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
3

EXPRESSing Session Types:

Castellani, Ilaria ; Dardha, Ornela ; Padovani, Luca.
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.387.2.  , 2023
Link: https://inria.hal.scienc..
 
?
4

A logical account of subtyping for session types:

Horne, Ross ; Padovani, Luca
https://strathprints.strath.ac.uk/87706/1/Horne-Padovani-EPTCS-2023-A-logical-account-of-subtyping-for-session-types.pdf.  , 2023
Link: https://strathprints.str..
 
?
5

EXPRESSing Session Types:

Castellani, Ilaria ; Dardha, Ornela ; Padovani, Luca.
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.387.2.  , 2023
Link: https://inria.hal.scienc..
 
?
6

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
doi:10.4230/LIPIcs.ECOOP.2022.26.  , 2022
Link: https://doi.org/10.4230/..
 
?
7

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
hal-03667020.  , 2022
Link: https://hal.science/hal-..
 
?
8

Fair Termination of Binary Sessions:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000777820900006.  , 2022
Link: https://hdl.handle.net/1..
 
?
9

Traumatic biceps femoris tendon subluxation in a young foot..:

Padovani, Luca ; Iacono, Venanzio ; Auregli, Ludovica...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9239396/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
10

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

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000860394200001.  , 2022
Link: https://hdl.handle.net/1..
 
?
11

Fair Termination of Binary Sessions:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000777820900006.  , 2022
Link: http://hdl.handle.net/23..
 
?
12

An Infinitary Proof Theory of Linear Logic Ensuring Fair Te..:

Ciccone, Luca ; Padovani, Luca
doi:10.4230/LIPIcs.CONCUR.2022.36.  , 2022
Link: https://doi.org/10.4230/..
 
?
13

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

Paniccia, Damiano ; Padovani, Luca ; Graziani, Giorgio.
info:eu-repo/semantics/altIdentifier/wos/WOS:000719533100056.  , 2021
Link: http://hdl.handle.net/11..
 
?
14

Inference Systems with Corules for Fair Subtyping and Liven..:

Ciccone, Luca ; Padovani, Luca
doi:10.4230/LIPIcs.ICALP.2021.125.  , 2021
Link: https://doi.org/10.4230/..
 
?
15

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

Paniccia, Damiano ; Padovani, Luca ; Graziani, Giorgio.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8595632/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
1-15