E-LIB Suche - Ergebnisse für: Barbanera, Franco

1

YACC: Yet Another Church Calculus: A Birthday Present for H..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo. - p. 17-35 , 2024

Link: https://doi.org/10.1007/..

2

Early management of adult traumatic spinal cord injury in p..:

Edoardo Picetti ; Andreas K. Demetriades ; Fausto Catena...
https://doi.org/10.1186/s13017-023-00525-4. , 2024

Link: https://doi.org/10.1186/..

3

Early Management of Adult Traumatic Spinal Cord Injury in P..:

Picetti, Edoardo ; Demetriades, Andreas ; Catena, Fausto...
https://jdc.jefferson.edu/rothman_institute/241. , 2024

Link: https://jdc.jefferson.ed..

4

Early management of adult traumatic spinal cord injury in p..:

Picetti, Edoardo ; Demetriades, Andreas K ; Catena, Fausto...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10795357/. , 2024

Link: http://www.ncbi.nlm.nih...

5

Phase change materials-impregnated biomass for energy effic..:

Fabiani, Claudia ; Santini, Carolina ; Barbanera, Marco...
Journal of Energy Storage. 58 (2023) - p. 106223 , 2023

Link: https://doi.org/10.1016/..

6

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100890 , 2023

Link: https://doi.org/10.1016/..

7

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

8

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

Link: https://inria.hal.scienc..

9

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

Link: https://inria.hal.scienc..

10

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023

Link: https://inria.hal.scienc..

11

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023

Link: https://inria.hal.scienc..

12

Partially Typed Multiparty Sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
http://arxiv.org/abs/2308.10653. , 2023

Link: http://arxiv.org/abs/230..

13

The impact of COVID-19 pandemic on surgical neuro-oncology:..:

Luca Zanin ; Tamara Ius ; Pier Paolo Panciani...
http://www.sciencedirect.com/science/article/pii/S2590139723000820. , 2023

Link: https://doi.org/10.1016/..

14

On Formal Choreographic Modelling: A Case Study in EU Busin..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022

Link: https://doi.org/10.1007/..

15

Open Compliance in Multiparty Sessions:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo - p. 222-243 , 2022

Link: https://doi.org/10.1007/..