Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Padovani, Luca
343
Ergebnisse:
OpenAccess-Volltexte X
englisch X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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