Enhanced mutation testing of smart contracts in support of code inspection
2024-01-01 Banescu, S.; Barboni, M.; Morichetta, A.; Polini, A.; Zulkoski, E.
Crashworthiness of C-Shaped CFRP Composites: A Numerical and Experimental Study
2025-01-01 Capretti, Monica; Ricciardi, Maria Rosaria; Papa, Ilaria; Lopresto, Valentina; Boria, Simonetta; Antonucci, Vincenza
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
CATANA: Replay Testing for the Ethereum Blockchain
2023-01-01 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A.
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
2003-01-01 Padovani, Luca
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 N., Busi; Padovani, Luca
On Global Types and Multi-Party Sessions
2011-01-01 Giuseppe, Castagna; Dezani, Mariangiola; 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.
Disciplined use of BPMN for mission modeling of Multi-Robot Systems
2021-01-01 Bourr, Khalid; Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
ChorChain: A model-driven framework for choreography-based systems using blockchain
2021-01-01 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F.
Food System Trade Study for an Early Mars Mission
2001-01-01 Levri, J; Ewert, M; Kloeris, V; Perchonok, M; Peterson, L; Swango, B; Toerne, M. E.; Vittadini, E.
1H and 2H NMR mobility in Xanthan and Locust Bean gum gels
1997-01-01 Vittadini, E.; Chinachoti, P.
Reference Intervals and innovative parameters using Sysmex XN-2000V in horses
2025-01-01 Masci, C; Fani, C; Quagliardi, M; Rossi, G; Gavazza, A
The effect of high pressure and temperature on the macroscopic, microscopic, structural and molecular propertes of tapoca starch gels
2004-01-01 Vittadini, E.; Carini, E.; Barbanti, D.
Water state of nutritionally enhances tortillas during storage
2009-01-01 Carini, E.; Curti, E.; Vittadini, E.
Proceedings 13th-ICDD-Conference-proceedings-13th-International-Conference-on-Development-of-Dryland-Areas
2019-01-01 Billi, Paolo; Bisci, Carlo; Fazzini, Massimiliano
Utilizzo della calorimetria a scansione differenziale per la valutazione della provenienza geografica di olio extra vergine di oliva
2009-01-01 Chiavaro, E.; Rodriguez-Estrada, M. T.; Cerretani, L.; Vittadini, E.; Bendini, A.
Thermomechanical Properties of Microwaved pizza shells
1995-01-01 Vittadini, E.; Chen, X. J.; Chinachoti, P.
Nel “cono d’ombra” della città adriatica La conservazione come risposta ai cambiamenti del mondo.
2025-01-01 Romagni, Ludovico
Baking of fresh and frozen potato by multistage cooking cycles: effect on selected properties and yield
2005-01-01 Chiavaro, E.; Barbanti, D.; Rinaldi, M.; Vittadini, E.; Massini, R.
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 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 | |
| Crashworthiness of C-Shaped CFRP Composites: A Numerical and Experimental Study | 1-gen-2025 | Capretti, Monica; Ricciardi, Maria Rosaria; Papa, Ilaria; Lopresto, Valentina; Boria, Simonetta; Antonucci, Vincenza | Contributo in atto di convegno su volume | |
| Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo | 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 the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions | 1-gen-2003 | 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 | |
| On Global Types and Multi-Party Sessions | 1-gen-2011 | Giuseppe, Castagna; Dezani, Mariangiola; 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 | |
| Disciplined use of BPMN for mission modeling of Multi-Robot Systems | 1-gen-2021 | Bourr, Khalid; Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
| ChorChain: A model-driven framework for choreography-based systems using blockchain | 1-gen-2021 | Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
| Food System Trade Study for an Early Mars Mission | 1-gen-2001 | Levri, J; Ewert, M; Kloeris, V; Perchonok, M; Peterson, L; Swango, B; Toerne, M. E.; Vittadini, E. | Contributo in atto di convegno su volume | |
| 1H and 2H NMR mobility in Xanthan and Locust Bean gum gels | 1-gen-1997 | Vittadini, E.; Chinachoti, P. | Contributo in atto di convegno su volume | |
| Reference Intervals and innovative parameters using Sysmex XN-2000V in horses | 1-gen-2025 | Masci, C; Fani, C; Quagliardi, M; Rossi, G; Gavazza, A | Contributo in atto di convegno su volume | |
| The effect of high pressure and temperature on the macroscopic, microscopic, structural and molecular propertes of tapoca starch gels | 1-gen-2004 | Vittadini, E.; Carini, E.; Barbanti, D. | Contributo in atto di convegno su volume | |
| Water state of nutritionally enhances tortillas during storage | 1-gen-2009 | Carini, E.; Curti, E.; Vittadini, E. | Contributo in atto di convegno su volume | |
| Proceedings 13th-ICDD-Conference-proceedings-13th-International-Conference-on-Development-of-Dryland-Areas | 1-gen-2019 | Billi, Paolo; Bisci, Carlo; Fazzini, Massimiliano | Contributo in atto di convegno su volume | |
| Utilizzo della calorimetria a scansione differenziale per la valutazione della provenienza geografica di olio extra vergine di oliva | 1-gen-2009 | Chiavaro, E.; Rodriguez-Estrada, M. T.; Cerretani, L.; Vittadini, E.; Bendini, A. | Contributo in atto di convegno su volume | |
| Thermomechanical Properties of Microwaved pizza shells | 1-gen-1995 | Vittadini, E.; Chen, X. J.; Chinachoti, P. | Contributo in atto di convegno su volume | |
| Nel “cono d’ombra” della città adriatica La conservazione come risposta ai cambiamenti del mondo. | 1-gen-2025 | Romagni, Ludovico | Contributo in atto di convegno su volume | |
| Baking of fresh and frozen potato by multistage cooking cycles: effect on selected properties and yield | 1-gen-2005 | Chiavaro, E.; Barbanti, D.; Rinaldi, M.; Vittadini, E.; Massini, R. | 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 VOLUME3012
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026515
- 2010 - 20191317
- 2000 - 2009883
- 1990 - 1999242
- 1980 - 198949
- 1972 - 19793
Editore
- Springer132
- IEEE103
- Springer Science and Business Med...42
- SISVET35
- ACM32
- Institute of Electrical and Elect...29
- 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
- LECTURE NOTES IN BUSINESS INFORMA...23
- CEUR WORKSHOP PROCEEDINGS22
- LECTURE NOTES IN CIVIL ENGINEERING20
- LECTURE NOTES IN NETWORKS AND SYS...10
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- ADVANCES IN INTELLIGENT SYSTEMS A...6
- COMMUNICATIONS IN COMPUTER AND IN...6
- UID PER IL DISEGNO6
- AIP CONFERENCE PROCEEDINGS5
Keyword
- HBIM6
- survey6
- Process Mining5
- Structural Health Monitoring5
- database4
- modelli4
- rappresentazione4
- Activity Recognition3
- color3
- Digital Image Correlation3
Lingua
- eng2238
- ita898
- spa28
- fre21
- und6
- ger4
- hrv2
- por2
- enm1
- hun1
Accesso al fulltext
- no fulltext2559
- reserved283
- open155
- partially open15