RAIMONDO, MARIAPIA
RAIMONDO, MARIAPIA
Dipartimento di Matematica e Fisica (DMF)
An approach for the automatic verification of blockchain protocols: the Tweetchain case study
2022 Raimondo, M; Bernardi, S; Marrone, S; Merseguer, J
Demonstrating the Necessity of Model Generation in Security Protocol Verification
2023 Raimondo, Mariapia; Marrone, Stefano; Bernardi, Simona; Palladino, Angelo
Development of multifunctional carbon fiber reinforced composites (CFRCs) - Manufacturing process
2014 Guadagno, L.; Raimondo, M.; Vietri, U.; Barra, G.; Vertuccio, L.; Volponi, R.; Cosentino, G.; De Nicola, F.; Grilli, A.; Spena, P.
Electrical anisotropy controlled heating of acrylonitrile butadiene styrene 3D printed parts
2023 Guadagno, L; Aliberti, F; Longo, R; Raimondo, M; Pantani, R; Sorrentino, A; Catauro, M; Vertuccio, L
Electrical properties of multi-walled carbon nanotube/tetrafunctional epoxy-amine composites
2012 De Vivo, B.; Guadagno, L.; Lamberti, P.; Raimondo, M.; Spinelli, G.; Tucci, V.; Vertuccio, L.; Vittoria, V.
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study
2022 Campanile, L.; Biase, M. S.; Marrone, S.; Raimondo, M.; Verde, L.
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology
2022 Campanile, L.; de Biase, M. S.; Marrone, S.; Marulli, F.; Raimondo, M.; Verde, L.
Sol-Gel Synthesis of Caffeic Acid Entrapped in Silica/Polyethylene Glycol Based Organic-Inorganic Hybrids: Drug Delivery and Biological Properties
2023 Vertuccio, L; Guadagno, L; D'Angelo, A; Viola, V; Raimondo, M; Catauro, M
Temperature effects on the electrical properties of multiphase polymer composites
2014 De Vivo, B.; Guadagno, L.; Lamberti, P.; Raimondo, M.; Spinelli, G.; Tucci, V.; Vertuccio, L.; Vittoria, V.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An approach for the automatic verification of blockchain protocols: the Tweetchain case study | 1-gen-2022 | Raimondo, M; Bernardi, S; Marrone, S; Merseguer, J | |
| Demonstrating the Necessity of Model Generation in Security Protocol Verification | 1-gen-2023 | Raimondo, Mariapia; Marrone, Stefano; Bernardi, Simona; Palladino, Angelo | |
| Development of multifunctional carbon fiber reinforced composites (CFRCs) - Manufacturing process | 1-gen-2014 | Guadagno, L.; Raimondo, M.; Vietri, U.; Barra, G.; Vertuccio, L.; Volponi, R.; Cosentino, G.; De Nicola, F.; Grilli, A.; Spena, P. | |
| Electrical anisotropy controlled heating of acrylonitrile butadiene styrene 3D printed parts | 1-gen-2023 | Guadagno, L; Aliberti, F; Longo, R; Raimondo, M; Pantani, R; Sorrentino, A; Catauro, M; Vertuccio, L | |
| Electrical properties of multi-walled carbon nanotube/tetrafunctional epoxy-amine composites | 1-gen-2012 | De Vivo, B.; Guadagno, L.; Lamberti, P.; Raimondo, M.; Spinelli, G.; Tucci, V.; Vertuccio, L.; Vittoria, V. | |
| On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study | 1-gen-2022 | Campanile, L.; Biase, M. S.; Marrone, S.; Raimondo, M.; Verde, L. | |
| Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology | 1-gen-2022 | Campanile, L.; de Biase, M. S.; Marrone, S.; Marulli, F.; Raimondo, M.; Verde, L. | |
| Sol-Gel Synthesis of Caffeic Acid Entrapped in Silica/Polyethylene Glycol Based Organic-Inorganic Hybrids: Drug Delivery and Biological Properties | 1-gen-2023 | Vertuccio, L; Guadagno, L; D'Angelo, A; Viola, V; Raimondo, M; Catauro, M | |
| Temperature effects on the electrical properties of multiphase polymer composites | 1-gen-2014 | De Vivo, B.; Guadagno, L.; Lamberti, P.; Raimondo, M.; Spinelli, G.; Tucci, V.; Vertuccio, L.; Vittoria, V. |