Sfoglia per Titolo
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
2014-01-01 Padovani, Luca
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
2015-01-01 Padovani, Luca
Type-Based Analysis of Linear Communications
2017-01-01 Padovani, Luca
Type-Based Analysis of Linear Communications
2017-01-01 Padovani, Luca
Types for Deadlock-Free Higher-Order Programs
2015-01-01 Padovani, Luca; Novara, Luca
Typical Housing District
2014-01-01 Cao, Umberto
Typical Leishmaniosis in a Dog Regularly Vaccinated with CanileishR©
2016-01-01 Gavazza, Alessandra; Medina Valentin, Anyela A.; Lubas, George
Typical plant-based food from a nutraceutical perspective: The case of the Marche region
2023-01-01 Sagratini, Gianni; Santini, Cristina; Caprioli, Giovanni; Vittori, Sauro; Maggi, Filippo; KAMGANG NZEKOUE, ASTRIDE FRANKS; Petrelli, Riccardo
Typical products of the small ruminant sector and the factors affecting their quality
1999-01-01 Rubino, R.; MORAND FEHR, P.; Renieri, Carlo; Peraza, C.; Sarti, F. M.
Typification and Correct Place of Publication of the Name Allium kermesinum (Amaryllidaceae)
2022-01-01 Bartolucci, F.; Iocchi, M.; De Castro, O.; Conti, F.
Typification and taxonomic remarks on five species names in Cytisus (Fabaceae)
2020-01-01 Domina, G.; Bartolucci, F.; Mraz, P.; Peruzzi, L.; Conti, F.; Sida, O.; Galasso, G.
Typification of the name Adonis distorta (Ranunculaceae)
2021-01-01 Bartolucci, F.; Stinca, A.; Conti, F.
Typification of the name Astragalus vulnerarioides, basionym of Anthyllis vulneraria subsp. vulnerarioides (Fabaceae), and notes on its distribution
2016-01-01 Conti, Fabio; Guglielmone, L.; Pennesi, R.; Bartolucci, Fabrizio
Typification of the name Centaurea deusta Ten. (Asteraceae)
2019-01-01 Stinca, A.; Conti, F.; Bartolucci, F.
Typification, morphological characterization and distribution of Knautia gussonei (Caprifoliaceae).
2014-01-01 Bartolucci, Fabrizio; Conti, Fabio
Typing Copyless Message Passing
2012-01-01 Bono, Viviana; Padovani, Luca
Typing Copyless Message Passing
2011-01-01 Bono, Viviana; Chiara, Messa; Padovani, Luca
Typing Liveness in Multiparty Communicating Systems
2014-01-01 Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira
A TYPOLOGICAL-MECHANICAL APPROACH TO ASSESS LARGE-SCALE SEISMIC FRAGILITY OF MASONRY BUILDINGS IN HISTORICAL CENTRES
2023-01-01 Tosto, C.; Leggieri, V.; Ruggieri, S.; Uva, G.
UaESMC: Usable and Efficient Secure Multiparty Computation 1st Year revison FET OPEN
2012-01-01 Merelli, Emanuela
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types | 1-gen-2014 | Padovani, Luca | Contributo in atto di convegno su volume | |
Type Reconstruction for the Linear π-Calculus with Composite Regular Types | 1-gen-2015 | Padovani, Luca | Articolo | |
Type-Based Analysis of Linear Communications | 1-gen-2017 | Padovani, Luca | Capitolo di libro o voce di enciclopedia | |
Type-Based Analysis of Linear Communications | 1-gen-2017 | Padovani, Luca | Capitolo di libro o voce di enciclopedia | |
Types for Deadlock-Free Higher-Order Programs | 1-gen-2015 | Padovani, Luca; Novara, Luca | Contributo in atto di convegno su volume | |
Typical Housing District | 1-gen-2014 | Cao, Umberto | Capitolo di libro o voce di enciclopedia | |
Typical Leishmaniosis in a Dog Regularly Vaccinated with CanileishR© | 1-gen-2016 | Gavazza, Alessandra; Medina Valentin, Anyela A.; Lubas, George | Articolo | |
Typical plant-based food from a nutraceutical perspective: The case of the Marche region | 1-gen-2023 | Sagratini, Gianni; Santini, Cristina; Caprioli, Giovanni; Vittori, Sauro; Maggi, Filippo; KAMGANG NZEKOUE, ASTRIDE FRANKS; Petrelli, Riccardo | Capitolo di libro o voce di enciclopedia | |
Typical products of the small ruminant sector and the factors affecting their quality | 1-gen-1999 | Rubino, R.; MORAND FEHR, P.; Renieri, Carlo; Peraza, C.; Sarti, F. M. | Articolo | |
Typification and Correct Place of Publication of the Name Allium kermesinum (Amaryllidaceae) | 1-gen-2022 | Bartolucci, F.; Iocchi, M.; De Castro, O.; Conti, F. | Articolo | |
Typification and taxonomic remarks on five species names in Cytisus (Fabaceae) | 1-gen-2020 | Domina, G.; Bartolucci, F.; Mraz, P.; Peruzzi, L.; Conti, F.; Sida, O.; Galasso, G. | Articolo | |
Typification of the name Adonis distorta (Ranunculaceae) | 1-gen-2021 | Bartolucci, F.; Stinca, A.; Conti, F. | Articolo | |
Typification of the name Astragalus vulnerarioides, basionym of Anthyllis vulneraria subsp. vulnerarioides (Fabaceae), and notes on its distribution | 1-gen-2016 | Conti, Fabio; Guglielmone, L.; Pennesi, R.; Bartolucci, Fabrizio | Articolo | |
Typification of the name Centaurea deusta Ten. (Asteraceae) | 1-gen-2019 | Stinca, A.; Conti, F.; Bartolucci, F. | Articolo | |
Typification, morphological characterization and distribution of Knautia gussonei (Caprifoliaceae). | 1-gen-2014 | Bartolucci, Fabrizio; Conti, Fabio | Articolo | |
Typing Copyless Message Passing | 1-gen-2012 | Bono, Viviana; Padovani, Luca | Articolo | |
Typing Copyless Message Passing | 1-gen-2011 | Bono, Viviana; Chiara, Messa; Padovani, Luca | Contributo in atto di convegno su volume | |
Typing Liveness in Multiparty Communicating Systems | 1-gen-2014 | Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira | Contributo in atto di convegno su volume | |
A TYPOLOGICAL-MECHANICAL APPROACH TO ASSESS LARGE-SCALE SEISMIC FRAGILITY OF MASONRY BUILDINGS IN HISTORICAL CENTRES | 1-gen-2023 | Tosto, C.; Leggieri, V.; Ruggieri, S.; Uva, G. | Contributo in atto di convegno su volume | |
UaESMC: Usable and Efficient Secure Multiparty Computation 1st Year revison FET OPEN | 1-gen-2012 | Merelli, Emanuela | REVISIONE DI PROGETTI |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile