Get started
Award

D91B21005370003

Funded outputs count: 9
Funder award ID: D91B21005370003
OpenAlex ID: G4404181663
EVMLiSA: Sound static control-flow graph construction for EVM bytecode
2025 · Vincenzo Arceri, Saverio Mattia Merenda, et al. · Blockchain Research and Applications · 4
HBIM and Information Management for Knowledge and Conservation of Architectural Heritage: A Review
2025 · Maria Parente, Nazarena Bruno, et al. · Heritage · 32
PDF
Divergence cleaning for weakly compressible smoothed particle hydrodynamics
2025 · G. Fourtakas, R. Vacondio, et al. · Computers & Fluids · 19
Engineering shallow and deep level defects in κ-Ga2O3 thin films: comparing metal-organic vapour phase epitaxy to molecular beam epitaxy and the effect of annealing treatments
2024 · P. Mazzolini, J.B. Varley, et al. · Materials Today Physics · 26
Tarsis : An effective automata‐based abstract domain for string analysis
2024 · Luca Negrini, Vincenzo Arceri, et al. · Journal of Software Evolution and Process · 5
PDF
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024 · Luca Olivieri, Luca Negrini, et al. · Distributed Ledger Technologies Research and Practice · 13
PDF
Teaching Through Practice: Advanced Static Analysis with LiSA
2024 · Luca Negrini, Vincenzo Arceri, et al. · Lecture notes in computer science · 10
PDF
Disassembly and Repairability of Mechatronic Products: Insight for Engineering Design
2023 · Núria Boix Rodríguez, Claudio Favi · Journal of Mechanical Design · 16
Vitro-derived hop (Humulus lupulus L.) leaves and roots as source of bioactive compounds: antioxidant activity and polyphenolic profile
2023 · Benedetta Chiancone, Valeria Guarrasi, et al. · Plant Cell Tissue and Organ Culture (PCTOC) · 28
PDF
Year
Topic