E-LIB Suche - Ergebnisse für: Barbanera, F.

1

Molecular evolution of the Asian francolins (Francolinus, G..:

Forcina, G. ; Panayides, P. ; Guerrini, M....
Molecular Phylogenetics and Evolution. 65 (2012) 2 - p. 523-534 , 2012

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

2

Molecular phylogeny and diversity of the Corsican red‐legge..:

Barbanera, F. ; Forcina, G. ; Guerrini, M..
Journal of Zoology. 285 (2011) 1 - p. 56-65 , 2011

Link: https://doi.org/10.1111/..

3

Molecular phylogeography of the asp viper Vipera aspis (Lin..:

Barbanera, F. ; Zuffi, M.A.L. ; Guerrini, M....
Molecular Phylogenetics and Evolution. 52 (2009) 1 - p. 103-114 , 2009

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

4

Analysis of the genetic structure of red-legged partridge (..:

Barbanera, F. ; Negro, J.J. ; Di Giuseppe, G....
Biological Conservation. 122 (2005) 2 - p. 275-287 , 2005

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

5

The effects of heating on the behaviour ofOxytricha bifaria..:

Barbanera, F ; Erra, F ; Ricci, N
Canadian Journal of Zoology. 78 (2000) 3 - p. 484-494 , 2000

Link: https://doi.org/10.1139/..

6

The effects of heating on the behaviour of Oxytricha bifari..:

Barbanera, F. ; Erra, F. ; Ricci, N.
Canadian Journal of Zoology. 78 (2000) 3 - p. 484-494 , 2000

Link: https://doi.org/10.1139/..

7

Intersection and Union Types: Syntax and Semantics:

Barbanera, F. ; Dezaniciancaglini, M. ; Deliguoro, U.
Information and Computation. 119 (1995) 2 - p. 202-230 , 1995

Link: https://doi.org/10.1006/..

8

Multicompatibility for multiparty-session composition:

Barbanera, F ; Gheri, L ; Dezani-Ciancaglini, M.
https://ora.ox.ac.uk/objects/uuid:9e474a66-cee7-4c90-8de5-6cb60fdc3365. , 2023

Link: https://ora.ox.ac.uk/obj..

9

A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES:

Barbanera F ; Lanese I ; Tuosto E
info:eu-repo/semantics/altIdentifier/wos/WOS:001045997000001. , 2023

Link: https://hdl.handle.net/1..

10

On Composing Communicating Systems:

Barbanera F ; Lanese I ; Tuosto E
ispartofbook:Proceedings 15th Interaction and Concurrency Experience. , 2022

Link: https://hdl.handle.net/1..

11

Composition and decomposition of multiparty sessions:

Barbanera F ; Dezani-Ciancaglini M ; Lanese I.
info:eu-repo/semantics/altIdentifier/wos/WOS:000618727200005. , 2021

Link: http://hdl.handle.net/11..

12

Corinne, a Tool for Choreography Automata:

Orlando S ; Pasquale V. D ; Barbanera F..
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-90635-1. , 2021

Link: http://hdl.handle.net/11..

13

Composing Communicating Systems, Synchronously:

Barbanera F ; Lanese I ; Tuosto E
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-61361-7. , 2020

Link: http://hdl.handle.net/11..

14

Choreography automata:

Barbanera F ; Lanese I ; Tuosto E
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-50028-3. , 2020

Link: http://hdl.handle.net/11..

15

Intersection types for the λμ-calculus:

Van Bakel, S ; Barbanera, F ; De'Liguoro, U
Logical Methods in Computer Science (LMCS). , 2018

Link: http://hdl.handle.net/10..