PINNA, ANDREA
PINNA, ANDREA
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Smart Contract Languages: a comparative analysis
2025-01-01 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
Blockchain-Based Verifiable Credentials for Virtual Teams Management in the Metaverse
2024-01-01 Lunesu, Maria Ilaria; Pinna, Andrea; Lai, Riccardo; Wang, Xiaofeng
Interoperability Between EVM-Based Blockchains
2024-01-01 Bigiotti, Alessandro; Mostarda, Leonardo; Navarra, Alfredo; Pinna, Andrea; Tonelli, Roberto; Vaccargiu, Matteo
Low-Cost Tamper-Proof IoT Devices to Improve Data Origin Verification and Privacy in Blockchain-Based Energy Consumption Records
2024-01-01 Orrù1, Daniele; Pinna, Andrea; Tonelli, Roberto
Soulbound token applications. A case study in the health sector
2024-01-01 Pinna, Andrea; Lunesu, Maria Ilaria; Tonelli, Roberto; Sansoni, Simone
Topics Analysis and Trends on Blockchain Applications in the Energy Sector
2024-01-01 Vaccargiu, Matteo; Ibba, Giacomo; Pinna, Andrea
A Notarization System for Water Quality Parameters
2023-01-01 Cabras, Marco; Lunesu, Maria Ilaria; Pinna, Andrea; Fenu, Gianni
Blockchain in the Energy Sector for SDG Achievement
2023-01-01 Vaccargiu, Matteo; Pinna, Andrea; Tonelli, Roberto; Cocco, Luisanna
Blockchain oracles for document certification: A case study
2023-01-01 Boi, Manuel; Pinna, Andrea; Lunesu, Maria Ilaria
Investigation on Self-Admitted Technical Debt in Open-Source Blockchain Projects
2023-01-01 Pinna, A; Lunesu, Mi; Orrù, S; Tonelli, R
Performance Analysis of a BESU Permissioned Blockchain
2023-01-01 Mostarda, L.; Pinna, A.; Sestili, D.; Tonelli, R.
Waste management: A comprehensive state of the art about the rise of blockchain technology
2023-01-01 Baralla, G.; Pinna, A.; Tonelli, R.; Marchesi, M.
Blockchain Oriented Software Engineering for Dapp smart contracts in smart energy markets
2022-01-01 Tonelli, R.; Marchesi, M.; Pinna, A.; Mureddu, M.; Ghiani, E.; Pilo, F.; Galici, M.
Data security and protection in blockchain-based local energy markets for smart cities
2022-01-01 Galici, Marco; Ghiani, Emilio; Mureddu, Mario; Pilo, Fabrizio; Pinna, Andrea; Tonelli, Roberto; Marchesi, Michele
On the use of Petri Nets in Smart Contracts modeling, generation and verification
2022-01-01 Pinna, Andrea; Tonelli, Roberto
BATDIV: A Blockchain-based Approach for Tourism Data Insertion and Visualization
2021-01-01 Scarlato, M.; Catte, M.; Massidda, C.; Modica, P.; Pinna, A.; Piras, R.; Tonelli, R.; Jeon, M.
Design of a blockchain-oriented system for the sustainable disintermediation in tourism
2021-01-01 Farris, Giorgia; Pinna, Andrea; Baralla, Gavina; Tonelli, Roberto; Modica, Patrizia; Marchesi, Michele
Ensuring transparency and traceability of food local products: a blockchain application to a Smart Tourism Region
2021-01-01 Baralla, Gavina; Pinna, Andrea; Tonelli, Roberto; Marchesi, Michele; Ibba, Simona
Opportunities and challenges of Blockchain-Oriented systems in the tourism industry
2021-01-01 Caddeo, Fabio; Pinna, Andrea
Raising Sustainability Awareness in Agile Blockchain-Oriented Software Engineering
2021-01-01 Pinna, A.; Baralla, G.; Marchesi, M.; Tonelli, R.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Smart Contract Languages: a comparative analysis | 1-gen-2025 | Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto | FUTURE GENERATION COMPUTER SYSTEMS | - |
| Blockchain-Based Verifiable Credentials for Virtual Teams Management in the Metaverse | 1-gen-2024 | Lunesu, Maria Ilaria; Pinna, Andrea; Lai, Riccardo; Wang, Xiaofeng | - | IEEE COMPUTER SOC |
| Interoperability Between EVM-Based Blockchains | 1-gen-2024 | Bigiotti, Alessandro; Mostarda, Leonardo; Navarra, Alfredo; Pinna, Andrea; Tonelli, Roberto; Vaccargiu, Matteo | - | SPRINGER INTERNATIONAL PUBLISHING AG |
| Low-Cost Tamper-Proof IoT Devices to Improve Data Origin Verification and Privacy in Blockchain-Based Energy Consumption Records | 1-gen-2024 | Orrù1, Daniele; Pinna, Andrea; Tonelli, Roberto | - | CEUR |
| Soulbound token applications. A case study in the health sector | 1-gen-2024 | Pinna, Andrea; Lunesu, Maria Ilaria; Tonelli, Roberto; Sansoni, Simone | DISTRIBUTED LEDGER TECHNOLOGIES | - |
| Topics Analysis and Trends on Blockchain Applications in the Energy Sector | 1-gen-2024 | Vaccargiu, Matteo; Ibba, Giacomo; Pinna, Andrea | - | IEEE COMPUTER SOC |
| A Notarization System for Water Quality Parameters | 1-gen-2023 | Cabras, Marco; Lunesu, Maria Ilaria; Pinna, Andrea; Fenu, Gianni | - | IEEE COMPUTER SOC |
| Blockchain in the Energy Sector for SDG Achievement | 1-gen-2023 | Vaccargiu, Matteo; Pinna, Andrea; Tonelli, Roberto; Cocco, Luisanna | SUSTAINABILITY | - |
| Blockchain oracles for document certification: A case study | 1-gen-2023 | Boi, Manuel; Pinna, Andrea; Lunesu, Maria Ilaria | - | IEEE |
| Investigation on Self-Admitted Technical Debt in Open-Source Blockchain Projects | 1-gen-2023 | Pinna, A; Lunesu, Mi; Orrù, S; Tonelli, R | FUTURE INTERNET | - |
| Performance Analysis of a BESU Permissioned Blockchain | 1-gen-2023 | Mostarda, L.; Pinna, A.; Sestili, D.; Tonelli, R. | - | Springer |
| Waste management: A comprehensive state of the art about the rise of blockchain technology | 1-gen-2023 | Baralla, G.; Pinna, A.; Tonelli, R.; Marchesi, M. | COMPUTERS IN INDUSTRY | - |
| Blockchain Oriented Software Engineering for Dapp smart contracts in smart energy markets | 1-gen-2022 | Tonelli, R.; Marchesi, M.; Pinna, A.; Mureddu, M.; Ghiani, E.; Pilo, F.; Galici, M. | - | - |
| Data security and protection in blockchain-based local energy markets for smart cities | 1-gen-2022 | Galici, Marco; Ghiani, Emilio; Mureddu, Mario; Pilo, Fabrizio; Pinna, Andrea; Tonelli, Roberto; Marchesi, Michele | - | - |
| On the use of Petri Nets in Smart Contracts modeling, generation and verification | 1-gen-2022 | Pinna, Andrea; Tonelli, Roberto | - | - |
| BATDIV: A Blockchain-based Approach for Tourism Data Insertion and Visualization | 1-gen-2021 | Scarlato, M.; Catte, M.; Massidda, C.; Modica, P.; Pinna, A.; Piras, R.; Tonelli, R.; Jeon, M. | - | IEEE (Institute of Electrical and Electronics Engineers) |
| Design of a blockchain-oriented system for the sustainable disintermediation in tourism | 1-gen-2021 | Farris, Giorgia; Pinna, Andrea; Baralla, Gavina; Tonelli, Roberto; Modica, Patrizia; Marchesi, Michele | - | - |
| Ensuring transparency and traceability of food local products: a blockchain application to a Smart Tourism Region | 1-gen-2021 | Baralla, Gavina; Pinna, Andrea; Tonelli, Roberto; Marchesi, Michele; Ibba, Simona | CONCURRENCY AND COMPUTATION | - |
| Opportunities and challenges of Blockchain-Oriented systems in the tourism industry | 1-gen-2021 | Caddeo, Fabio; Pinna, Andrea | - | - |
| Raising Sustainability Awareness in Agile Blockchain-Oriented Software Engineering | 1-gen-2021 | Pinna, A.; Baralla, G.; Marchesi, M.; Tonelli, R. | - | Institute of Electrical and Electronics Engineers |