SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Foundation of Escape Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
A Java Framework for Smart Contracts
2020-01-01 Spoto, Nicola Fausto
A Refinement of the Escape Property
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
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
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Abstract Compilation for Sharing Analysis
2001-01-01 Gianluca, Amato; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs
1999-01-01 Spoto, Nicola Fausto; G., Levi
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains
2025-01-01 Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto
Algebraic Methods in Language Processing, AMiLP 2003
2003-01-01 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
1998-01-01 G., Levi; Spoto, Nicola Fausto
An Operational Semantics for Android Activities
2014-01-01 E., Payet; Spoto, Nicola Fausto
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.
Analysis of Downward Closed Properties of Logic Programs
2000-01-01 P. M., Hill; Spoto, Nicola Fausto
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
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
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern
2024-01-01 Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto
Boolean Formulas for the Static Identification of Injection Attacks in Java
2015-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto