ZANASI, FABIO
ZANASI, FABIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A categorical semantics of signal flow graphs
2014 Bonchi F.; Sobocinski P.; Zanasi F.
A coalgebraic perspective on probabilistic logic programming
2019 Gu T.; 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.
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.
Causal inference via string diagram surgery
2021 Jacobs B.; Kissinger A.; Zanasi F.
Coalgebraic semantics for probabilistic logic programming
2021 Gu T.; Zanasi F.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
2020 Kappe T.; Brunet P.; Silva A.; Wagemaker J.; Zanasi F.
Concurrent kleene algebra: Free model and completeness
2018 Kappe T.; Brunet P.; Silva A.; Zanasi F.
Confluence of graph rewriting with interfaces
2017 Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F.
Contextual Equivalence for Signal Flow Graphs
2020 Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 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 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 | - |
| 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 |
| 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 | - |
| 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 | - |
| Causal Inference by String Diagram Surgery | Jacobs B.; Kissinger A.; Zanasi F. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Causal inference via string diagram surgery | Jacobs B.; Kissinger A.; Zanasi F. | 2021-01-01 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Coalgebraic semantics for probabilistic logic programming | Gu T.; Zanasi F. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2012.03916.pdf |
| Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness | Kappe T.; Brunet P.; Silva A.; Wagemaker J.; Zanasi F. | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Concurrent kleene algebra: Free model and completeness | Kappe T.; Brunet P.; Silva A.; Zanasi F. | 2018-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Confluence of graph rewriting with interfaces | Bonchi F.; Gadducci F.; Kissinger A.; Sobocinski P.; Zanasi F. | 2017-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Contextual Equivalence for Signal Flow Graphs | Bonchi F.; Piedeleu R.; Sobocinski P.; Zanasi F. | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |