Fabio Zanasi
University College London
H-index: 19
Europe-United Kingdom
Top articles of Fabio Zanasi
Deep Learning with Parametric Lenses
arXiv preprint arXiv:2404.00408
2024/3/30
Paul Wilson
H-Index: 23
Fabio Zanasi
H-Index: 14
A Categorical Approach to DIBI Models
arXiv preprint arXiv:2401.05842
2024/1/11
A Categorical Model for Retrosynthetic Reaction Analysis
arXiv preprint arXiv:2311.04085
2023/11/7
Ella Gale
H-Index: 12
Fabio Zanasi
H-Index: 14
An axiomatic approach to differentiation of polynomial circuits
Journal of Logical and Algebraic Methods in Programming
2023/10/1
Paul Wilson
H-Index: 23
Fabio Zanasi
H-Index: 14
Hierarchical string diagrams and applications
arXiv preprint arXiv:2305.18945
2023/5/30
Fabio Zanasi
H-Index: 14
An introduction to string diagrams for computer scientists
arXiv preprint arXiv:2305.08768
2023/5/15
Robin Piedeleu
H-Index: 6
Fabio Zanasi
H-Index: 14
Data-Parallel Algorithms for String Diagrams
arXiv preprint arXiv:2305.01041
2023/5/1
Paul Wilson
H-Index: 23
Fabio Zanasi
H-Index: 14
A complete diagrammatic calculus for boolean satisfiability
Electronic Notes in Theoretical Informatics and Computer Science
2023/2/22
A finite axiomatisation of finite-state automata using string diagrams
Logical Methods in Computer Science
2023/2/15
Robin Piedeleu
H-Index: 6
Fabio Zanasi
H-Index: 14
Short Contributions of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
2022/5/27
Helle Hvid Hansen
H-Index: 10
Fabio Zanasi
H-Index: 14
Model theory of monadic predicate logic with the infinity quantifier
Archive for Mathematical Logic
2022/5
Fabio Zanasi
H-Index: 14
String diagram rewriting modulo commutative (co) monoid structure
arXiv preprint arXiv:2204.04274
2022/4/8
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science
2022/4
Categorical foundations of gradient-based learning
2022/3/29
Paul Wilson
H-Index: 23
Fabio Zanasi
H-Index: 14
String diagram rewrite theory I: rewriting with frobenius structure
Journal of the ACM (JACM)
2022/3/10
String diagrams for non-strict monoidal categories
arXiv preprint arXiv:2201.11738
2022/1/27
Paul Wilson
H-Index: 23
Fabio Zanasi
H-Index: 14
Proceedings of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022
LECTURE NOTES IN COMPUTER SCIENCE
2022
Fabio Zanasi
H-Index: 14
Rewriting for monoidal closed categories
2022
Fabio Zanasi
H-Index: 14
Co-Authors
