Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.901 a 2.920 di 2.997
An Algebraic Theory for Web Service Contracts
2013-01-01 Cosimo, Laneve; Padovani, Luca
From Notation to Semantics: There and Back Again
2006-01-01 Padovani, Luca; S., Zacchiroli
From Lock Freedom to Progress Using Session Types
2013-01-01 Padovani, Luca
Self-balancing electric motorcycle modelling at low speed: Preliminary results
2020-01-01 Del Rosso, V.; Andreucci, A.; Boria, S.; Corradini, M. L.; Giambo', R.; Ranalli, A.
Ruins of Mass Tourism in Italy. A Conceptual and functional reinterpretation of Tourist Architecture of the 1950s and 1980s in the Mid-Adriatic Landscape
2016-01-01 Cipolletti, S
QTris: a quantum game
2024-01-01 Bondani, Maria; Caprara, Sergio; Chiarello, Fabio; Dabbicco, Maurizio; Hamma, Alioscia; Malgieri, Massimiliano; Marzoli, Irene; Nazzaro, Michela; Paladino, Elisabetta
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022-01-01 Ciccone, Luca; Padovani, Luca
Smart Contract Testing: Challenges and Opportunities
2022-01-01 Barboni, M.; Morichetta, A.; Polini, A.
Fair Termination of Multiparty Sessions
2022-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
Fair Subtyping for Multi-Party Session Types
2011-01-01 Padovani, Luca
Reasoning About Inter-procedural Security Requirements in IoT Applications
2022-01-01 Paccamiccio, M.; Mostarda, L.
Searching RNA Substructures with Arbitrary Pseudoknots
2021-01-01 Quadrini, M.
Measurements of ambient vibrations for a cable-stayed bridge including the soil-foundation system
2020-01-01 Nicoletti, V.; Arezzo, D.; Carbonari, S.; Dezi, F.; Gara, F.
Process variance analysis and configuration in the Public Administration sector
2021-01-01 Corradini, F.; Luciani, C.; Morichetta, A.; Polini, A.
Site response analysis in effective stress of a coastal area in the north-western Adriatic region (Italy)
2019-01-01 Merli, A.; Dezi, F.; Tropeano, G.; Chiaradonna, A.; D'Onofrio, A.
Structural Upgrading and Architectural Conservation of a Historic Timber and Masonry Venetian Sawmill
2025-01-01 Mirra, Michele; Gerardini, Andrea
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach
2013-01-01 Tesei, Luca; Merelli, Emanuela; Paoletti, Nicola
A Methodology for Extracting the Physical Parameters of Soil-Foundation-Pier Systems from Dynamic Tests
2022-01-01 Carbonari, Sandro; Dezi, Francesca; Arezzo, Davide; Gara, Fabrizio
THE SEISMIC RETROFIT BY EXTERNAL DISSIPATIVE SYSTEMS: A CASE STUDY
2019-01-01 Gioiella, Laura; Tubaldi, Enrico; Ragni, Laura; Gara, Fabrizio; Dall'Asta, Andrea
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Ciccone, Luca; Padovani, Luca
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| An Algebraic Theory for Web Service Contracts | 1-gen-2013 | Cosimo, Laneve; Padovani, Luca | Contributo in atto di convegno su volume | |
| From Notation to Semantics: There and Back Again | 1-gen-2006 | Padovani, Luca; S., Zacchiroli | Contributo in atto di convegno su volume | |
| From Lock Freedom to Progress Using Session Types | 1-gen-2013 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Self-balancing electric motorcycle modelling at low speed: Preliminary results | 1-gen-2020 | Del Rosso, V.; Andreucci, A.; Boria, S.; Corradini, M. L.; Giambo', R.; Ranalli, A. | Contributo in atto di convegno su volume | |
| Ruins of Mass Tourism in Italy. A Conceptual and functional reinterpretation of Tourist Architecture of the 1950s and 1980s in the Mid-Adriatic Landscape | 1-gen-2016 | Cipolletti, S | Contributo in atto di convegno su volume | |
| QTris: a quantum game | 1-gen-2024 | Bondani, Maria; Caprara, Sergio; Chiarello, Fabio; Dabbicco, Maurizio; Hamma, Alioscia; Malgieri, Massimiliano; Marzoli, Irene; Nazzaro, Michela; Paladino, Elisabetta | Contributo in atto di convegno su volume | |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus | 1-gen-2022 | Ciccone, Luca; Padovani, Luca | Contributo in atto di convegno su volume | |
| Smart Contract Testing: Challenges and Opportunities | 1-gen-2022 | Barboni, M.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
| Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | Contributo in atto di convegno su volume | |
| Fair Subtyping for Multi-Party Session Types | 1-gen-2011 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Reasoning About Inter-procedural Security Requirements in IoT Applications | 1-gen-2022 | Paccamiccio, M.; Mostarda, L. | Contributo in atto di convegno su volume | |
| Searching RNA Substructures with Arbitrary Pseudoknots | 1-gen-2021 | Quadrini, M. | Contributo in atto di convegno su volume | |
| Measurements of ambient vibrations for a cable-stayed bridge including the soil-foundation system | 1-gen-2020 | Nicoletti, V.; Arezzo, D.; Carbonari, S.; Dezi, F.; Gara, F. | Contributo in atto di convegno su volume | |
| Process variance analysis and configuration in the Public Administration sector | 1-gen-2021 | Corradini, F.; Luciani, C.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
| Site response analysis in effective stress of a coastal area in the north-western Adriatic region (Italy) | 1-gen-2019 | Merli, A.; Dezi, F.; Tropeano, G.; Chiaradonna, A.; D'Onofrio, A. | Contributo in atto di convegno su volume | |
| Structural Upgrading and Architectural Conservation of a Historic Timber and Masonry Venetian Sawmill | 1-gen-2025 | Mirra, Michele; Gerardini, Andrea | Contributo in atto di convegno su volume | |
| Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach | 1-gen-2013 | Tesei, Luca; Merelli, Emanuela; Paoletti, Nicola | Contributo in atto di convegno su volume | |
| A Methodology for Extracting the Physical Parameters of Soil-Foundation-Pier Systems from Dynamic Tests | 1-gen-2022 | Carbonari, Sandro; Dezi, Francesca; Arezzo, Davide; Gara, Fabrizio | Contributo in atto di convegno su volume | |
| THE SEISMIC RETROFIT BY EXTERNAL DISSIPATIVE SYSTEMS: A CASE STUDY | 1-gen-2019 | Gioiella, Laura; Tubaldi, Enrico; Ragni, Laura; Gara, Fabrizio; Dall'Asta, Andrea | Contributo in atto di convegno su volume | |
| A Dependently-Typed Linear π -Calculus in Agda | 1-gen-2020 | Ciccone, Luca; Padovani, Luca | Contributo in atto di convegno su volume |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.901 a 2.920 di 2.997
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
Scopri
Tipologia
- 5 ATTO DI CONVEGNO SU VOLUME2997
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026500
- 2010 - 20191317
- 2000 - 2009883
- 1990 - 1999242
- 1980 - 198949
- 1972 - 19793
Editore
- Springer131
- IEEE103
- Springer Science and Business Med...41
- ACM32
- Institute of Electrical and Elect...29
- SISVET29
- IEEE Computer Society26
- Società Chimica Italiana25
- IEEE / Institute of Electrical an...23
- Università di Camerino23
Rivista
- AIP CONFERENCE PROCEEDINGS3
- CEUR WORKSHOP PROCEEDINGS2
- BioPhotonics, 2011 International ...1
- ELECTRONIC PROCEEDINGS IN THEORET...1
- JOURNAL OF THE PERIPHERAL NERVOUS...1
- LECTURE NOTES IN BUSINESS INFORMA...1
- PLANUM1
- PROCEEDINGS OF SPIE, THE INTERNAT...1
- PROCEEDINGS WORLD RABBIT CONGRESS1
- STUDIES IN CLASSIFICATION, DATA A...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE25
- CEUR WORKSHOP PROCEEDINGS22
- LECTURE NOTES IN BUSINESS INFORMA...22
- LECTURE NOTES IN CIVIL ENGINEERING20
- LECTURE NOTES IN NETWORKS AND SYS...10
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- ADVANCES IN INTELLIGENT SYSTEMS A...6
- UID PER IL DISEGNO6
- AIP CONFERENCE PROCEEDINGS5
- COMMUNICATIONS IN COMPUTER AND IN...5
Keyword
- HBIM6
- survey6
- Process Mining5
- Structural Health Monitoring5
- database4
- modelli4
- rappresentazione4
- Activity Recognition3
- color3
- Digital Image Correlation3
Lingua
- eng2226
- ita895
- spa28
- fre21
- und6
- ger4
- hrv2
- por2
- enm1
- hun1
Accesso al fulltext
- no fulltext2544
- reserved283
- open155
- partially open15