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 categorical semantics of signal flow graphs
2014 Bonchi F.; Sobocinski P.; Zanasi F.
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus
2013 Facchini A.; Venema Y.; Zanasi F.
A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus
2013 Facchini A.; Venema Y.; Zanasi F.
A coalgebraic perspective on probabilistic logic programming
2019 Gu T.; Zanasi F.
A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS
2023 Piedeleu R.; Zanasi F.
A formal semantics of influence in Bayesian reasoning
2017 Jacobs, Bart; Zanasi, F.
A Predicate/State Transformer Semantics for Bayesian Learning
2016 Jacobs B.; 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.
A universal construction for (Co)Relations
2017 Fong B.; Zanasi F.
An axiomatic approach to differentiation of polynomial circuits
2023 Wilson P.; Zanasi F.
Bialgebraic foundations for the operational semantics of string diagrams
2021 Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F.
Bialgebraic semantics for logic programming
2015 Bonchi F.; Zanasi F.
Bialgebraic semantics for string diagrams
2019 Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F.
Brzozowski goes concurrent - A kleene theorem for pomset languages
2017 Kappe T.; Brunet P.; Luttik B.; Silva A.; Zanasi F.
CARTOGRAPHER: A tool for string diagrammatic reasoning
2019 Sobocinski P.; Wilson P.W.; 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.
Causal Inference by String Diagram Surgery
2019 Jacobs B.; Kissinger A.; 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 | - |
| A categorical semantics of signal flow graphs | Bonchi F.; Sobocinski P.; Zanasi F. | 2014-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus | Facchini A.; Venema Y.; Zanasi F. | 2013-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus | Facchini A.; Venema Y.; Zanasi F. | 2013-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| A coalgebraic perspective on probabilistic logic programming | Gu T.; Zanasi F. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CALCO-2019-10.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 |
| A formal semantics of influence in Bayesian reasoning | Jacobs, Bart; Zanasi, F. | 2017-01-01 | - | Schloss Dagstuhl Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | LIPIcs-MFCS-2017-21.pdf |
| A Predicate/State Transformer Semantics for Bayesian Learning | Jacobs B.; Zanasi F. | 2016-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | ELSEVIER SCIENCE BV | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| A universal construction for (Co)Relations | Fong B.; Zanasi F. | 2017-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CALCO-2017-12.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 |
| Bialgebraic foundations for the operational semantics of string diagrams | Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F. | 2021-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | main (13).pdf |
| Bialgebraic semantics for logic programming | Bonchi F.; Zanasi F. | 2015-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1502.06095.pdf |
| Bialgebraic semantics for string diagrams | Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2019-37.pdf |
| Brzozowski goes concurrent - A kleene theorem for pomset languages | Kappe T.; Brunet P.; Luttik B.; Silva A.; Zanasi F. | 2017-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2017-25.pdf |
| CARTOGRAPHER: A tool for string diagrammatic reasoning | Sobocinski P.; Wilson P.W.; Zanasi F. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CALCO-2019-20.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 |
| Causal Inference by String Diagram Surgery | Jacobs B.; Kissinger A.; Zanasi F. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |