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

1

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

2

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

3

Overnutrition is a significant component of food waste and ..:

Franco, Silvio ; Barbanera, Marco ; Moscetti, Roberto...
Scientific Reports. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

4

Preliminary environmental and economic assessment of polyur..:

Cardarelli, Alessandro ; Cotana, Franco ; Baffo, Ilaria...
E3S Web of Conferences. 312 (2021) - p. 12007 , 2021

Link: https://doi.org/10.1051/..

5

Composition and decomposition of multiparty sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100620 , 2021

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

6

Prediction of the environmental impacts of yeast biodiesel ..:

Barbanera, Marco ; Castellini, Marco ; Tasselli, Giorgia...
Fuel. 283 (2021) - p. 118967 , 2021

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

7

Acid-Assisted Organosolv Pre-Treatment and Enzymatic Hydrol..:

Gelosia, Mattia ; Bertini, Alessandro ; Barbanera, Marco...
Energies. 13 (2020) 16 - p. 4195 , 2020

Link: https://doi.org/10.3390/..

8

Session types and subtyping for orchestrated interactions:

Barbanera, Franco ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 102 (2019) - p. 103-137 , 2019

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

9

Assessing the Potentiality of Animal Fat Based-Bio Phase Ch..:

Fabiani, Claudia ; Pisello, Anna Laura ; Barbanera, Marco..
Energies. 12 (2019) 6 - p. 1111 , 2019

Link: https://doi.org/10.3390/..

10

Connecting open systems of communicating finite state machi..:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019

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

11

Impact of storage on energy performance of laricio pine woo..:

Buratti, Cinzia ; Cristarella Orestano, Francesco ; Cotana, Franco...
Industrial Crops and Products. 131 (2019) - p. 301-306 , 2019

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

12

Production of Carbohydrates from Cardoon Pre-Treated by Aci..:

Bertini, Alessandro ; Gelosia, Mattia ; Cavalaglio, Gianluca...
Energies. 12 (2019) 22 - p. 4288 , 2019

Link: https://doi.org/10.3390/..

13

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; de'Liguoro, Ugo
Science of Computer Programming. 167 (2018) - p. 25-50 , 2018

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

14

Orchestrated session compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017

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

15

Energy and Environmental Performance Analysis of Biomass-fu..:

Moretti, Elisa ; Barbanera, Marco ; Foschini, Daniele..
Energy Procedia. 101 (2016) - p. 376-383 , 2016

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