Fausto Spoto
Orcid: 0000-0003-2973-0384
According to our database1,
Fausto Spoto
authored at least 90 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
4
3
2
1
3
1
1
3
2
1
1
2
1
2
3
1
1
1
2
2
4
4
1
7
1
3
1
2
2
1
1
2
2
2
1
4
1
2
4
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements.
Future Internet, September, 2024
Int. J. Softw. Tools Technol. Transf., August, 2024
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain.
Future Internet, March, 2024
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access, 2024
Blockchain-Based Multirole Authentication and Authorization in Smart Contracts with a Hierarchical Factory Pattern.
Proceedings of the 6th International Conference on Blockchain Computing and Applications, 2024
2023
Clust. Comput., October, 2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Eng. Knowl. Eng., 2021
Proceedings of the Italian Conference on Cybersecurity, 2021
Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
2020
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.
Sci. Comput. Program., 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the Financial Cryptography and Data Security, 2020
Proceedings of the Advanced Computing and Systems for Security, 2020
2019
ACM Trans. Program. Lang. Syst., 2019
Softw. Pract. Exp., 2019
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
Proceedings of the Financial Cryptography and Data Security, 2019
2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the Smart Computing and Communication - Third International Conference, 2018
Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Proceedings of the Privacy Technologies and Policy - 6th Annual Privacy Forum, 2018
2017
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017
2016
F1000Research, 2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
F1000Research, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
2014
Sci. Comput. Program., 2014
Biological network analysis with CentiScaPe: centralities and experimental dataset integration.
F1000Research, 2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
2013
2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
ACM Trans. Program. Lang. Syst., 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
Proceedings of the Fourth Workshop on Bytecode Semantics, 2009
Proceedings of the Fourth Workshop on Bytecode Semantics, 2009
2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the Static Analysis, 14th International Symposium, 2007
2006
Proceedings of the Verification, 2006
2005
Proceedings of the Static Analysis, 12th International Symposium, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
2003
ACM Trans. Program. Lang. Syst., 2003
Inf. Comput., 2003
Approximate Protein Folding in Oz through Frequency Analysis.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
2000
J. Log. Program., 2000
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Freeness Analysis through Linear Refinement.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
A Denotational Semantics for Prolog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Accurate Analysis of Prolog with cut.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996