Fausto Spoto

1.7k total citations
48 papers, 465 citations indexed

About

Fausto Spoto is a scholar working on Artificial Intelligence, Information Systems and Signal Processing. According to data from OpenAlex, Fausto Spoto has authored 48 papers receiving a total of 465 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 25 papers in Information Systems and 18 papers in Signal Processing. Recurrent topics in Fausto Spoto's work include Logic, programming, and type systems (18 papers), Advanced Malware Detection Techniques (18 papers) and Security and Verification in Computing (17 papers). Fausto Spoto is often cited by papers focused on Logic, programming, and type systems (18 papers), Advanced Malware Detection Techniques (18 papers) and Security and Verification in Computing (17 papers). Fausto Spoto collaborates with scholars based in Italy, United States and India. Fausto Spoto's co-authors include Étienne Payet, Pietro Ferrara, Agostino Cortesi, Fred Mesnard, Thomas Wiben Jensen, Michael D. Ernst, Sara Migliorini, Giorgio Levi, Patricia M. Hill and Lunjin Lu and has published in prestigious journals such as Scientific Reports, IEEE Access and Theoretical Computer Science.

In The Last Decade

Fausto Spoto

44 papers receiving 432 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Fausto Spoto Italy	12	241	220	179	132	129	48	465
Gleb Naumovich United States	12	263 1.1×	201 0.9×	121 0.7×	148 1.1×	243 1.9×	29	545
Pietro Ferrara Italy	12	149 0.6×	185 0.8×	170 0.9×	106 0.8×	74 0.6×	50	336
Stefan Bucur Switzerland	7	108 0.4×	334 1.5×	164 0.9×	247 1.9×	441 3.4×	11	636
Neha Rungta United States	14	201 0.8×	530 2.4×	172 1.0×	146 1.1×	747 5.8×	47	905
Sergiy Vilkomir United States	13	98 0.4×	245 1.1×	76 0.4×	161 1.2×	461 3.6×	42	588
Antoine Delignat-Lavaud United Kingdom	12	288 1.2×	200 0.9×	120 0.7×	178 1.3×	45 0.3×	18	406
Mohamad Jaber Lebanon	10	180 0.7×	97 0.4×	43 0.2×	109 0.8×	56 0.4×	28	327
Caroline Lemieux United States	9	178 0.7×	329 1.5×	168 0.9×	112 0.8×	419 3.2×	21	607
Sharon Shoham Israel	14	313 1.3×	255 1.2×	42 0.2×	187 1.4×	268 2.1×	48	599
Guy-Vincent Jourdan Canada	12	134 0.6×	268 1.2×	156 0.9×	153 1.2×	80 0.6×	63	439

Countries citing papers authored by Fausto Spoto

Since Specialization

Citations

This map shows the geographic impact of Fausto Spoto's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Fausto Spoto with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Fausto Spoto more than expected).

Fields of papers citing papers by Fausto Spoto

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Fausto Spoto. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Fausto Spoto. The network helps show where Fausto Spoto may publish in the future.

Co-authorship network of co-authors of Fausto Spoto

This figure shows the co-authorship network connecting the top 25 collaborators of Fausto Spoto. A scholar is included among the top collaborators of Fausto Spoto based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Fausto Spoto. Fausto Spoto is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Ferrara, Pietro, et al.. (2025). Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. ARCA (Università Ca' Foscari Venezia). 338–347.

Migliorini, Sara, et al.. (2024). Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain. Future Internet. 16(3). 98–98. 11 indexed citations

Spoto, Fausto, et al.. (2024). General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access. 12. 166855–166869. 3 indexed citations

Migliorini, Sara, et al.. (2024). A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements. Future Internet. 16(9). 315–315. 9 indexed citations

Jensen, Thomas Wiben, et al.. (2023). MichelsonLiSA: A Static Analyzer for Tezos. ARCA (Università Ca' Foscari Venezia). 7 indexed citations

Tosadori, Gabriele, Dario Di Silvestre, Fausto Spoto, et al.. (2021). Analysing omics data sets with weighted nodes networks (WNNets). Scientific Reports. 11(1). 14447–14447. 2 indexed citations

Ferrara, Pietro, et al.. (2021). Static Privacy Analysis by Flow Reconstruction of Tainted Data. International Journal of Software Engineering and Knowledge Engineering. 31(7). 973–1016. 5 indexed citations

Ferrara, Pietro, Agostino Cortesi, & Fausto Spoto. (2020). From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Science of Computer Programming. 191. 102392–102392. 2 indexed citations

Ferrara, Pietro, et al.. (2020). Cross-program taint analysis for IoT systems. ARCA (Università Ca' Foscari Venezia). 1944–1952. 14 indexed citations

10.

Spoto, Fausto, et al.. (2019). Static Identification of Injection Attacks in Java. ACM Transactions on Programming Languages and Systems. 41(3). 1–58. 22 indexed citations

11.

Ferrara, Pietro, Agostino Cortesi, & Fausto Spoto. (2018). CIL to Java-bytecode translation for static analysis leveraging. ARCA (Università Ca' Foscari Venezia). 40–49. 1 indexed citations

12.

Ferrara, Pietro & Fausto Spoto. (2018). Static Analysis for GDPR Compliance. ARCA (Università Ca' Foscari Venezia). 2058. 1–10. 21 indexed citations

13.

Spoto, Fausto, et al.. (2014). Field-sensitive unreachability and non-cyclicity analysis. Science of Computer Programming. 95. 359–375. 3 indexed citations

14.

Spoto, Fausto, et al.. (2013). Inferring complete initialization of arrays. Theoretical Computer Science. 484. 16–40. 1 indexed citations

15.

Spoto, Fausto. (2005). Julia: A Generic Static Analyser for the Java Bytecode. 15 indexed citations

16.

Levi, Giorgio & Fausto Spoto. (2003). Pair-independence and freeness analysis through linear refinement. Information and Computation. 182(1). 14–52. 2 indexed citations

17.

Spoto, Fausto. (2000). Operational and goal-independent denotational semantics for Prolog with cut. The Journal of Logic Programming. 42(1). 1–46. 5 indexed citations

18.

Levi, Giorgio & Fausto Spoto. (1999). Non pair-sharing and freeness analysis through linear refinement. 52–61. 2 indexed citations

19.

Spoto, Fausto & Giorgio Levi. (1997). A Denotational Semantics for Prolog.. 201–212.

20.

Levi, Giorgio & Fausto Spoto. (1996). Accurate Analysis of Prolog with cut.. 481–492. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact