Fabio Zanasi

Cited by

	All	Since 2020
Citations	1770	1294
h-index	23	20
i10-index	42	33

320

160

240

2014201520162017201820192020202120222023202420258 45 54 76 127 126 132 213 249 291 319 85

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Robin PiedeleuPostdoctoral researcher at University College LondonVerified email at ucl.ac.uk
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
Tobias KappéOpen Universiteit & ILLC, University of AmsterdamVerified email at uva.nl
Paul WilsonVerified email at statusfailed.com
Geoff CruttwellMount Allison UniversityVerified email at mta.ca
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Alessandro FacchiniSUPSI, IDSIA USI-SUPSIVerified email at supsi.ch
Bruno GavranovićVerified email at brunogavranovic.com
Tao GuUniversity College LondonVerified email at ucl.ac.uk
Facundo CarreiroGoogleVerified email at google.com
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Joshua HollandUniversity of SouthamptonVerified email at soton.ac.uk
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl

Fabio Zanasi

Professor of Computer Science, University College London

Verified email at ucl.ac.uk - Homepage

Program Semantics Category Theory String Diagrams Machine Learning Probabilistic Computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	120	2017
A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi International Conference on Concurrency Theory, 435-450, 2014	118	2014
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	112	2015
Interacting Hopf Algebras: the theory of linear systems F Zanasi arXiv preprint arXiv:1805.03032, 2018	101	2018
Categorical foundations of gradient-based learning GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi European Symposium on Programming, 1-28, 2022	94	2022
Diagrammatic algebra: from linear to concurrent systems F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019	76	2019
Graphical affine algebra F Bonchi, R Piedeleu, P Sobociński, F Zanasi 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019	74	2019
Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019	71	2019
Rewriting modulo symmetric monoidal structure F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	71	2016
The calculus of signal flow diagrams I: linear relations on streams F Bonchi, P Sobociński, F Zanasi Information and Computation 252, 2-29, 2017	66	2017
String diagram rewrite theory I: rewriting with Frobenius structure F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi Journal of the ACM (JACM) 69 (2), 1-58, 2022	57	2022
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi Foundations of Software Science and Computation Structures: 17th …, 2014	47	2014
The logical essentials of Bayesian reasoning BPF Jacobs, F Zanasi Cambridge University Press, 2021	45	2021
Concurrent Kleene algebra: Free model and completeness T Kappé, P Brunet, A Silva, F Zanasi Programming Languages and Systems: 27th European Symposium on Programming …, 2018	45	2018
A predicate/state transformer semantics for Bayesian learning B Jacobs, F Zanasi Electronic Notes in Theoretical Computer Science 325, 185-200, 2016	39	2016
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi FoSSaCS, 381-400, 2020	31	2020
Confluence of graph rewriting with interfaces F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi European Symposium on Programming, 141-169, 2017	29	2017
String diagram rewrite theory II: Rewriting with symmetric monoidal structure F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi Mathematical Structures in Computer Science 32 (4), 511-541, 2022	27	2022
Deconstructing Lawvere with distributive laws F Bonchi, P Sobociński, F Zanasi Journal of logical and algebraic methods in programming 95, 128-146, 2018	27	2018
An introduction to string diagrams for computer scientists R Piedeleu, F Zanasi arXiv preprint arXiv:2305.08768, 2023	26	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors