ZANASI, FABIO

ZANASI, FABIO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 66 (tempo di esecuzione: 0.043 secondi).
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 -