DEVELOPMENT OF DESIGN TOOLS FOR PLYWOOD-BASED SEISMIC RETROFITTING OF EXISTING TIMBER FLOORS
2024-01-01 Mirra, M.; Gerardini, A.; Ravenshorst, G. J. P.
Balancing Confidentiality and Transparency for Blockchain-Based Process-Aware Information Systems
2025-01-01 Marcelletti, Alessandro; Marangone, Edoardo; Kryston, Michele; Di Ciccio, Claudio
Looseness for Choreography-based Software Architectures on Blockchain
2025-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
DTMN a Modelling Notation for Digital Twins
2023-01-01 Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B.
Enhanced mutation testing of smart contracts in support of code inspection
2024-01-01 Banescu, S.; Barboni, M.; Morichetta, A.; Polini, A.; Zulkoski, E.
On sessions and infinite data
2016-01-01 Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
2003-01-01 Padovani, Luca
CATANA: Replay Testing for the Ethereum Blockchain
2023-01-01 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A.
On Global Types and Multi-Party Sessions
2011-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 N., Busi; Padovani, Luca
Seismic Behaviour of an Innovative Hybrid Coupled Wall System Investigated Through Cyclic Tests
2024-01-01 Das, R.; Dan, D.; van Vugt, G.; Vulcu, C.; Scozzese, F.; Natali, A.; Zona, A.; Morelli, F.; Hoffmeister, B.; Degee, H.
Dispersive XAS on a High Brilliance Source: Highlights and Future Opportunities
2007-01-01 Pascarelli, S; Aquilanti, G; Dubrovinsky, L; Guilera, G; Mathon, O; Muñoz, M; Newton, M. A.; Pasquale, M; Trapananti, A
Injection of CO2/N2 gaseous mixtures into gas hydrates to contemporary perform CH4 recovery and CO2 storage
2021-01-01 Filipponi, Mirko; Gambelli, Alberto Maria; Li, Yan; Presciutti, Andrea; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico; Cotana, Franco
Experimental analysis of the CO2/CH4 Replacement Efficiency due to Sodium Chloride Presence in Natural Gas Hydrates Reservoirs
2020-01-01 Gambelli, Alberto Maria; Castellani, Beatrice; Filipponi, Mirko; Nicolini, Andrea; Rossi, Federico
Materials for outdoor curtains and awnings as a solution for improving thermal comfort and mitigating urban heat island
2022-01-01 Rossi, Federico; Filipponi, Mirko; Castellani, Beatrice; Nicolini, Andrea; Cardinali, Marta; Gambelli, Alberto Maria; Piselli, Cristina
Glass beads retro-reflective coating for building application: albedo assessment in urban canyon configurations
2022-01-01 Cardinali, Marta; Giuseppe, Alessia Di; Gambelli, Alberto Maria; Filipponi, Mirko; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico
Drawing and interactive architectural walkthrough to communicate complex spaces
2023-01-01 Basso, Alessandro; Meschini, Alessandra; Russo, Michele
Session Types = Intersection Types + Union Types
2011-01-01 Padovani, Luca
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
2021-01-01 Ciccone, Luca; Padovani, Luca
New Cu(I) Complexes of Bis(pyrazol-1-yl)acetate Ligands Functionalized with an NMDA Receptor Antagonist with Cytotoxic Activity
2020-01-01 Bagnarelli, Luca; Santini, Carlo; DEL BELLO, Fabio; Quaglia, Wilma; Pellei, Maura
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| DEVELOPMENT OF DESIGN TOOLS FOR PLYWOOD-BASED SEISMIC RETROFITTING OF EXISTING TIMBER FLOORS | 1-gen-2024 | Mirra, M.; Gerardini, A.; Ravenshorst, G. J. P. | Contributo in atto di convegno su volume | |
| Balancing Confidentiality and Transparency for Blockchain-Based Process-Aware Information Systems | 1-gen-2025 | Marcelletti, Alessandro; Marangone, Edoardo; Kryston, Michele; Di Ciccio, Claudio | Contributo in atto di convegno su volume | |
| Looseness for Choreography-based Software Architectures on Blockchain | 1-gen-2025 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
| DTMN a Modelling Notation for Digital Twins | 1-gen-2023 | Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B. | Contributo in atto di convegno su volume | |
| Enhanced mutation testing of smart contracts in support of code inspection | 1-gen-2024 | Banescu, S.; Barboni, M.; Morichetta, A.; Polini, A.; Zulkoski, E. | Contributo in atto di convegno su volume | |
| On sessions and infinite data | 1-gen-2016 | Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola | Contributo in atto di convegno su volume | |
| On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions | 1-gen-2003 | Padovani, Luca | Contributo in atto di convegno su volume | |
| CATANA: Replay Testing for the Ethereum Blockchain | 1-gen-2023 | Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
| On Global Types and Multi-Party Sessions | 1-gen-2011 | Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca | Contributo in atto di convegno su volume | |
| A Distributed Implementation of Mobile Nets as Mobile Agents | 1-gen-2005 | N., Busi; Padovani, Luca | Contributo in atto di convegno su volume | |
| Seismic Behaviour of an Innovative Hybrid Coupled Wall System Investigated Through Cyclic Tests | 1-gen-2024 | Das, R.; Dan, D.; van Vugt, G.; Vulcu, C.; Scozzese, F.; Natali, A.; Zona, A.; Morelli, F.; Hoffmeister, B.; Degee, H. | Contributo in atto di convegno su volume | |
| Dispersive XAS on a High Brilliance Source: Highlights and Future Opportunities | 1-gen-2007 | Pascarelli, S; Aquilanti, G; Dubrovinsky, L; Guilera, G; Mathon, O; Muñoz, M; Newton, M. A.; Pasquale, M; Trapananti, A | Contributo in atto di convegno su volume | |
| Injection of CO2/N2 gaseous mixtures into gas hydrates to contemporary perform CH4 recovery and CO2 storage | 1-gen-2021 | Filipponi, Mirko; Gambelli, Alberto Maria; Li, Yan; Presciutti, Andrea; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico; Cotana, Franco | Contributo in atto di convegno su volume | |
| Experimental analysis of the CO2/CH4 Replacement Efficiency due to Sodium Chloride Presence in Natural Gas Hydrates Reservoirs | 1-gen-2020 | Gambelli, Alberto Maria; Castellani, Beatrice; Filipponi, Mirko; Nicolini, Andrea; Rossi, Federico | Contributo in atto di convegno su volume | |
| Materials for outdoor curtains and awnings as a solution for improving thermal comfort and mitigating urban heat island | 1-gen-2022 | Rossi, Federico; Filipponi, Mirko; Castellani, Beatrice; Nicolini, Andrea; Cardinali, Marta; Gambelli, Alberto Maria; Piselli, Cristina | Contributo in atto di convegno su volume | |
| Glass beads retro-reflective coating for building application: albedo assessment in urban canyon configurations | 1-gen-2022 | Cardinali, Marta; Giuseppe, Alessia Di; Gambelli, Alberto Maria; Filipponi, Mirko; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico | Contributo in atto di convegno su volume | |
| Drawing and interactive architectural walkthrough to communicate complex spaces | 1-gen-2023 | Basso, Alessandro; Meschini, Alessandra; Russo, Michele | Contributo in atto di convegno su volume | |
| Session Types = Intersection Types + Union Types | 1-gen-2011 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types | 1-gen-2021 | Ciccone, Luca; Padovani, Luca | Contributo in atto di convegno su volume | |
| New Cu(I) Complexes of Bis(pyrazol-1-yl)acetate Ligands Functionalized with an NMDA Receptor Antagonist with Cytotoxic Activity | 1-gen-2020 | Bagnarelli, Luca; Santini, Carlo; DEL BELLO, Fabio; Quaglia, Wilma; Pellei, Maura | Contributo in atto di convegno su volume |
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