Fabio Zanasi

990 total citations
32 papers, 165 citations indexed

About

Fabio Zanasi is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems and Management. According to data from OpenAlex, Fabio Zanasi has authored 32 papers receiving a total of 165 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 5 papers in Information Systems and Management. Recurrent topics in Fabio Zanasi's work include Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (10 papers). Fabio Zanasi is often cited by papers focused on Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (10 papers). Fabio Zanasi collaborates with scholars based in United Kingdom, Italy and Netherlands. Fabio Zanasi's co-authors include Filippo Bonchi, Paweł Sobociński, Bart Jacobs, P. Wilson, Aleks Kissinger, Fabio Gadducci, Stefan Milius, Alessandro Facchini, Helle Hvid Hansen and Alexandra Silva and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Theoretical Computer Science.

In The Last Decade

Fabio Zanasi

24 papers receiving 147 citations

Peers

Fabio Zanasi

CTM

ISM

CNC

D. A. Wolfram Australia

Rajagopal Nagarajan United Kingdom

Roy L. Crole United Kingdom

Clemens Ballarin Germany

W. Lavrijsen United States

Laurent Régnier France

Paul-André Melliès France

Peter LeFanu Lumsdaine United States

Sam Staton United Kingdom

P.R.J. Asveld Netherlands

D. A. Wolfram Australia

Fabio Zanasi

116 ×0.9

78 ×1.3

CTM

3 ×0.1

ISM

7 ×0.3

28 ×1.6

CNC

Citations per year, relative to Fabio Zanasi Fabio Zanasi (= 1×) peers D. A. Wolfram

Countries citing papers authored by Fabio Zanasi

Since Specialization

Citations

This map shows the geographic impact of Fabio Zanasi'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 Fabio Zanasi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Fabio Zanasi more than expected).

Fields of papers citing papers by Fabio Zanasi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Fabio Zanasi. 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 Fabio Zanasi. The network helps show where Fabio Zanasi may publish in the future.

Co-authorship network of co-authors of Fabio Zanasi

This figure shows the co-authorship network connecting the top 25 collaborators of Fabio Zanasi. A scholar is included among the top collaborators of Fabio Zanasi 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 Fabio Zanasi. Fabio Zanasi 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

Zanasi, Fabio, et al.. (2025). An Introduction to String Diagrams for Computer Scientists. Cambridge University Press eBooks. 3 indexed citations

Wilson, P. & Fabio Zanasi. (2023). An axiomatic approach to differentiation of polynomial circuits. Journal of Logical and Algebraic Methods in Programming. 135. 100892–100892. 1 indexed citations

Zanasi, Fabio, et al.. (2023). String Diagrams for Layered Explanations. Electronic Proceedings in Theoretical Computer Science. 380. 362–382.

Zanasi, Fabio, et al.. (2023). A Finite Axiomatisation of Finite-State Automata Using String Diagrams. Logical Methods in Computer Science. Volume 19, Issue 1. 2 indexed citations

Facchini, Alessandro, et al.. (2022). Model theory of monadic predicate logic with the infinity quantifier. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 1 indexed citations

Bonchi, Filippo, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński, & Fabio Zanasi. (2022). String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. Journal of the ACM. 69(2). 1–58. 10 indexed citations

Zanasi, Fabio, et al.. (2021). Functorial Semantics as a Unifying Perspective on Logic Programming. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 22.

Wilson, P. & Fabio Zanasi. (2021). Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. Electronic Proceedings in Theoretical Computer Science. 333. 247–260. 6 indexed citations

Facchini, Alessandro, et al.. (2020). The Power of the Weak. ACM Transactions on Computational Logic. 21(2). 1–47. 2 indexed citations

10.

Sobociński, Paweł, P. Wilson, & Fabio Zanasi. (2019). CARTOGRAPHER: a Tool for String Diagrammatic Reasoning. UCL Discovery (University College London). 2 indexed citations

11.

Zanasi, Fabio, et al.. (2019). A Coalgebraic Perspective on Probabilistic Logic Programming. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).

12.

Bonchi, Filippo, et al.. (2019). Diagrammatic algebra: from linear to concurrent systems. Proceedings of the ACM on Programming Languages. 3(POPL). 1–28. 15 indexed citations

13.

Bonchi, Filippo, et al.. (2019). Graphical Affine Algebra. UCL Discovery (University College London). 1–12. 14 indexed citations

14.

Bonchi, Filippo, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński, & Fabio Zanasi. (2018). Rewriting with Frobenius. ePrints Soton (University of Southampton). 30. 165–174. 2 indexed citations

15.

Bonchi, Filippo, Paweł Sobociński, & Fabio Zanasi. (2017). Deconstructing Lawvere with distributive laws. Journal of Logical and Algebraic Methods in Programming. 95. 128–146. 5 indexed citations

16.

Zanasi, Fabio. (2017). Rewriting in Free Hypergraph Categories. SHILAP Revista de lepidopterología. 263. 16–30. 3 indexed citations

17.

Zanasi, Fabio. (2016). The Algebra of Partial Equivalence Relations. Electronic Notes in Theoretical Computer Science. 325. 313–333. 6 indexed citations

18.

Bonchi, Filippo, Paweł Sobociński, & Fabio Zanasi. (2016). The Calculus of Signal Flow Diagrams I: Linear relations on streams. Information and Computation. 252. 2–29. 15 indexed citations

19.

Bonchi, Filippo & Fabio Zanasi. (2015). Bialgebraic Semantics for Logic Programming. Logical Methods in Computer Science. Volume 11, Issue 1. 7 indexed citations

20.

Bonchi, Filippo, Stefan Milius, Alexandra Silva, & Fabio Zanasi. (2015). Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theoretical Computer Science. 604. 102–126. 3 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