SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements
2024-01-01 Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto
A Termination Analyzer for Java Bytecode based on Path-Length
2010-01-01 Spoto, Nicola Fausto; F., Mesnard; E., Payet
Analysing omics data sets with weighted nodes networks (WNNets)
2021-01-01 Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G.
Biological network analysis with CentiScaPe: centralities and experimental dataset integration
2015-01-01 Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo
Class Analyses as Abstract Interpretations of Trace Semantics
2003-01-01 Spoto, Nicola Fausto; T., Jensen
Creating, generating and comparing random network models with NetworkRandomizer
2017-01-01 Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G.
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto
Deriving Escape Analysis by Abstract Interpretation
2006-01-01 P. M., Hill; Spoto, Nicola Fausto
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain
2024-01-01 Bin Saif, Muhammad; Migliorini, Sara; Spoto, Fausto
Field-sensitive unreachability and non-cyclicity analysis
2014-01-01 Scapin, Enrico; Spoto, Nicola Fausto
Finding the shortest path with PesCa: A tool for network reconstruction
2016-01-01 Scardoni, G.; Tosadori, G.; Pratap, S.; Spoto, F.; Laudanna, C.
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
2020-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Generalising Def and Pos to Type Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Logic Programs as Compact Denotations
2003-01-01 P. M., Hill; Spoto, Nicola Fausto
Magic-sets for localised analysis of Java bytecode
2010-01-01 Spoto, Nicola Fausto; Payet, É.
On the use of generic types for smart contracts
2023-01-01 Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
2000-01-01 Spoto, Nicola Fausto
Optimality and Condensing of Information Flow through Linear Refinement
2007-01-01 Spoto, Nicola Fausto