Author Search Results

Select result number 1
1

The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens

by Dal Lago, Ugo, Tanaka, Ryo, Yoshimizu, Akira
Published 2017
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”

Get access
Get access
Get access

Conference Object
Select result number 2
2

Characterizing spatio-temporal patterns of ground subsidence as an indicator of permafrost thaw in Tso Kar valley, Ladakh using SAR remote sensing

by Tripura Mantha, Tara, Goswami, Santonu
Published 2021
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access

Conference Object
Select result number 3
3

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

Evaluation of AMIP-type atmospheric fields as forcing for Mediterranean Sea and global ocean re-analyses

by Cherchi, Annalisa, Bishoyi Ratna, Satyaban, Masina, Simona, Storto, Andrea, Yang, Chunxue, Fratianni, Claudia, Simoncelli, Simona, Pinardi, Nadia
Published in Annals of Geophysics (2018)
Contributors: “...Unibo...”

Get access
Get access

Article in Journal/Newspaper
Select result number 5
5

Analysis of Deadlocks in Object Groups

by Giachino, Elena, Laneve, Cosimo
Published 2011
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

Analysis of Deadlocks in Object Groups

by Giachino, Elena, Laneve, Cosimo
Published 2011
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

Ownership Types for the Join Calculus

by Patrignani, Marco, Clarke, Dave, Sangiorgi, Davide
Published 2011
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

Ownership Types for the Join Calculus

by Patrignani, Marco, Clarke, Dave, Sangiorgi, Davide
Published 2011
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

An Efficient Management of Correlation Sets with Broadcast

by Mauro, Jacopo, Gabbrielli, Maurizio, Guidi, Claudio, Montesi, Fabrizio
Published 2011
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Complete genome sequence of Ostreid herpesvirus type 1 µVar isolated during mortality events in the Pacific oyster Crassostrea gigas in France and Ireland

by Burioli, Erika A.V., Prearo, M., Houssin, Maryline
Published in Virology (2017)
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 11
11

Complete genome sequence of Ostreid herpesvirus type 1 µVar isolated during mortality events in the Pacific oyster Crassostrea gigas in France and Ireland

by Burioli, Erika A.V., Prearo, M., Houssin, Maryline
Published in Virology (2017)
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 12
12

Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013

by Carbone, Marco, Lanese, Ivan, Lluch-Lafuente, Alberto, Sokolova, Ana
Published 2013
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access

Book
Select result number 13
13

Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013

by Carbone, Marco, Lanese, Ivan, Lluch-Lafuente, Alberto, Sokolova, Ana
Published 2013
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access

Book
Select result number 14
14

Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013

by Carbone, Marco, Lanese, Ivan, Lluch-Lafuente, Alberto, Sokolova, Ana
Published 2013
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access

Book
Select result number 15
15

Ostreid herpesvirus type 1 genomic diversity in wild populations of Pacific oyster Crassostrea gigas from Italian coasts

by Burioli, Erika A.V., Prearo, M., Riina, M.V., Bona, M.C., Fioravanti, M.L., Arcangeli, G., Houssin, Maryline
Published in Journal of Invertebrate Pathology (2016)
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 16
16

Ostreid herpesvirus type 1 genomic diversity in wild populations of Pacific oyster Crassostrea gigas from Italian coasts

by Burioli, Erika A.V., Prearo, M., Riina, M.V., Bona, M.C., Fioravanti, M.L., Arcangeli, G., Houssin, Maryline
Published in Journal of Invertebrate Pathology (2016)
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 17
17

First description of a mortality event in adult Pacific oysters in Italy associated with infection by a Tenacibaculum soleae strain

by Burioli, Erika A.V., Varello, K, Trancart, Suzanne, Bozzetta, E, Gorla, A, Prearo, M, Houssin, Maryline
Published in Journal of Fish Diseases (2018)
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 18
18

First description of a mortality event in adult Pacific oysters in Italy associated with infection by a Tenacibaculum soleae strain

by Burioli, Erika A.V., Varello, K, Trancart, Suzanne, Bozzetta, E, Gorla, A, Prearo, M, Houssin, Maryline
Published in Journal of Fish Diseases (2018)
Contributors: “...Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper
Select result number 19
19

(Crypto-)Endoliths from vesicular pillow lavas, Coral Patch Seamount, North Atlantic Ocean

by Cavalazzi, Barbara, Westall, Frances, Barbieri, Roberto
Published 2008
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 20
20

Potential fossil endoliths in vesicular pillow basalt, Coral Patch Seamount, eastern North Atlantic Ocean.

by Cavalazzi, Barbara, Westall, Frances, Cady, Sherry L, Barbieri, Roberto, Foucher, Frédéric
Published in Quarterly Journal of the Royal Meteorological Society (2011)
Contributors: “...Alma Mater Studiorum Università di Bologna Bologna (UNIBO)...”

Get access
Get access

Article in Journal/Newspaper

1
2
3
4
5
6
7
8
9
10
Next
Last