Folgen
Fabio Zanasi
Fabio Zanasi
Professor of Computer Science, University College London
Bestätigte E-Mail-Adresse bei ucl.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
1162017
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
1142014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
1072015
Interacting Hopf Algebras: the theory of linear systems
F Zanasi
arXiv preprint arXiv:1805.03032, 2018
982018
Categorical foundations of gradient-based learning
GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
European Symposium on Programming, 1-28, 2022
862022
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
712019
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
692016
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
682019
Causal inference by string diagram surgery
B Jacobs, A Kissinger, F Zanasi
Foundations of Software Science and Computation Structures: 22nd …, 2019
682019
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
652017
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
502022
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
Foundations of Software Science and Computation Structures: 17th …, 2014
462014
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
442018
The logical essentials of Bayesian reasoning
B Jacobs, F Zanasi
Foundations of probabilistic programming, 295-331, 2020
432020
A predicate/state transformer semantics for Bayesian learning
B Jacobs, F Zanasi
Electronic Notes in Theoretical Computer Science 325, 185-200, 2016
402016
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
FoSSaCS, 381-400, 2020
282020
Confluence of graph rewriting with interfaces
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
282017
Reverse derivative ascent: A categorical approach to learning boolean circuits
P Wilson, F Zanasi
arXiv preprint arXiv:2101.10488, 2021
252021
Bialgebraic semantics for logic programming
F Bonchi, F Zanasi
Logical Methods in Computer Science 11, 2015
252015
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
232022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20