ZANASI, FABIO
ZANASI, FABIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A Categorical Approach to Synthetic Chemistry
2023 Gale E.; Lobski L.; Zanasi F.
A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS
2023 Piedeleu R.; Zanasi F.
An axiomatic approach to differentiation of polynomial circuits
2023 Wilson P.; Zanasi F.
Functorial String Diagrams for Reverse-Mode Automatic Differentiation
2023 Alvarez-Picallo M.; Ghica D.; Sprunger D.; Zanasi F.
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure
2023 Milosavljevic A.; Piedeleu R.; Zanasi F.
String Diagrams for Layered Explanations
2023 Lobski L.; Zanasi F.
String Diagrams for Non-Strict Monoidal Categories
2023 Wilson P.; Ghica D.; Zanasi F.
Categorical Foundations of Gradient-Based Learning
2022 Cruttwell G.S.H.; Gavranovic B.; Ghani N.; Wilson P.; Zanasi F.
Categories of Differentiable Polynomial Circuits for Machine Learning
2022 Wilson P.; Zanasi F.
Model theory of monadic predicate logic with the infinity quantifier
2022 Carreiro F.; Facchini A.; Venema Y.; Zanasi F.
Preface
2022 Hansen H.H.; Zanasi F.
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
2022 Helle H. Hansen; Fabio Zanasi
Report on coalgebraic methods in computer science 2022
2022 Hansen, Helle Hvid; Zanasi, Fabio
Rewriting for Monoidal Closed Categories
2022 Alvarez-Picallo M.; Ghica D.; Sprunger D.; Zanasi F.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022 Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F.
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
2022 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String Diagram Rewrite Theory III: Confluence with and without Frobenius
2022 Filippo Bonchi ; Fabio Gadducci ; Aleks Kissinger ; Pawel Sobocinski ; Fabio Zanasi
The Cost of Compositionality A High-Performance Implementation of String Diagram Composition
2022 Wilson P.; Zanasi F.
A string diagrammatic axiomatisation of finite-state automata
2021 Piedeleu R.; Zanasi F.
A Survey of Compositional Signal Flow Theory
2021 Bonchi F.; Sobocinski P.; Zanasi F.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Categorical Approach to Synthetic Chemistry | Gale E.; Lobski L.; Zanasi F. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | paperICTAC23 (1).pdf |
| A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS | Piedeleu R.; Zanasi F. | 2023-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2211.16484.pdf |
| An axiomatic approach to differentiation of polynomial circuits | Wilson P.; Zanasi F. | 2023-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S2352220823000469-main.pdf |
| Functorial String Diagrams for Reverse-Mode Automatic Differentiation | Alvarez-Picallo M.; Ghica D.; Sprunger D.; Zanasi F. | 2023-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs.CSL.2023.6.pdf |
| String Diagram Rewriting Modulo Commutative (Co)Monoid Structure | Milosavljevic A.; Piedeleu R.; Zanasi F. | 2023-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs.CALCO.2023.9.pdf |
| String Diagrams for Layered Explanations | Lobski L.; Zanasi F. | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | ACT2022.21.pdf |
| String Diagrams for Non-Strict Monoidal Categories | Wilson P.; Ghica D.; Zanasi F. | 2023-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs.CSL.2023.37.pdf |
| Categorical Foundations of Gradient-Based Learning | Cruttwell G.S.H.; Gavranovic B.; Ghani N.; Wilson P.; Zanasi F. | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | 978-3-030-99336-8_1.pdf |
| Categories of Differentiable Polynomial Circuits for Machine Learning | Wilson P.; Zanasi F. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | 978-3-031-09843-7_5.pdf |
| Model theory of monadic predicate logic with the infinity quantifier | Carreiro F.; Facchini A.; Venema Y.; Zanasi F. | 2022-01-01 | ARCHIVE FOR MATHEMATICAL LOGIC | - | 1.01 Articolo in rivista | s00153-021-00797-0.pdf |
| Preface | Hansen H.H.; Zanasi F. | 2022-01-01 | - | Springer | 2.02 Prefazione | - |
| 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 |
Helle H. Hansen; Fabio Zanasi |
2022-01-01 | - | Springer Verlag | 3.02 Curatela | - |
| Report on coalgebraic methods in computer science 2022 | Hansen, Helle Hvid; Zanasi, Fabio | 2022-01-01 | SIGLOG NEWS | - | 1.04 Replica / breve intervento (e simili) | - |
| Rewriting for Monoidal Closed Categories | Alvarez-Picallo M.; Ghica D.; Sprunger D.; Zanasi F. | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | LIPIcs-FSCD-2022-29.pdf |
| String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F. | 2022-01-01 | JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY | - | 1.01 Articolo in rivista | Zanasi_String Diagram Rewrite Theory I. Rewriting with Frobenius Structure_submitted.pdf |
| String diagram rewrite theory II: Rewriting with symmetric monoidal structure | Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F | 2022-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| String Diagram Rewrite Theory III: Confluence with and without Frobenius |
Filippo Bonchi ; Fabio Gadducci ; Aleks Kissinger ; Pawel Sobocinski ; Fabio Zanasi |
2022-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf |
| The Cost of Compositionality A High-Performance Implementation of String Diagram Composition | Wilson P.; Zanasi F. | 2022-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | paper (3).pdf |
| A string diagrammatic axiomatisation of finite-state automata | Piedeleu R.; Zanasi F. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | 978-3-030-71995-1_24.pdf |
| A Survey of Compositional Signal Flow Theory | Bonchi F.; Sobocinski P.; Zanasi F. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 2.01 Capitolo / saggio in libro | - |