Fabio Zanasi

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 87

Top Venues

CoRR

CALCO

FoSSaCS

Log. Methods Comput. Sci.

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. CoRR (2024)
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
On Iteration in Discrete Probabilistic Programming. FSCD (2024)
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Deep Learning with Parametric Lenses. CoRR (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. FSCD (2024)
Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
Graphical Quadratic Algebra. CoRR (2024)
Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi
Learning Closed Signal Flow Graphs. CoRR (2024)
Paul W. Wilson, Fabio Zanasi
An axiomatic approach to differentiation of polynomial circuits. J. Log. Algebraic Methods Program. 135 (2023)
Dan R. Ghica, Fabio Zanasi
Hierarchical string diagrams and applications. CoRR (2023)
Robin Piedeleu, Fabio Zanasi
An Introduction to String Diagrams for Computer Scientists. CoRR (2023)
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. CALCO (2023)
Ella Gale, Leo Lobski, Fabio Zanasi
A Categorical Model for Retrosynthetic Reaction Analysis. CoRR (2023)
Paul W. Wilson, Fabio Zanasi
Data-Parallel Algorithms for String Diagrams. CoRR (2023)
Ella Gale, Leo Lobski, Fabio Zanasi
A Categorical Approach to Synthetic Chemistry. ICTAC (2023)
Robin Piedeleu, Fabio Zanasi
A Finite Axiomatisation of Finite-State Automata Using String Diagrams. Log. Methods Comput. Sci. 19 (1) (2023)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL (2023)
Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
String Diagrams for Non-Strict Monoidal Categories. CSL (2023)
Helle Hvid Hansen, Fabio Zanasi
Report on coalgebraic methods in computer science 2022. ACM SIGLOG News 9 (3) (2022)
Paul W. Wilson, Fabio Zanasi
Categories of Differentiable Polynomial Circuits for Machine Learning. ICGT (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32 (7) (2022)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. 61 (3-4) (2022)
Robin Piedeleu, Fabio Zanasi
A Finite Axiomatisation of Finite-State Automata Using String Diagrams. CoRR (2022)
Paul W. Wilson, Fabio Zanasi
Categories of Differentiable Polynomial Circuits for Machine Learning. CoRR (2022)
Leo Lobski, Fabio Zanasi
String Diagrams for Layered Explanations. CoRR (2022)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Rewriting for Monoidal Closed Categories. FSCD (2022)
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Categorical Foundations of Gradient-Based Learning. ESOP (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69 (2) (2022)
Tao Gu, Robin Piedeleu, Fabio Zanasi
A Complete Diagrammatic Calculus for Boolean Satisfiability. CoRR (2022)
Aleksandar Milosavljevic, Fabio Zanasi
String Diagram Rewriting Modulo Commutative Monoid Structure. CoRR (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32 (4) (2022)
Tao Gu, Fabio Zanasi
Coalgebraic Semantics for Probabilistic Logic Programming. Log. Methods Comput. Sci. 17 (2) (2021)
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO (2021)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR (2021)
Robin Piedeleu, Fabio Zanasi
A String Diagrammatic Axiomatisation of Finite-State Automata. FoSSaCS (2021)
Paul W. Wilson, Fabio Zanasi
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. CoRR (2021)
Geoff S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
Categorical Foundations of Gradient-Based Learning. CoRR (2021)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17 (3) (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR (2021)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281 (2021)
Tao Gu, Fabio Zanasi
Functorial Semantics as a Unifying Perspective on Logic Programming. CALCO (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR (2021)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31 (5) (2021)
Paul W. Wilson, Fabio Zanasi
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. ACT (2020)
Tao Gu, Alexandra Silva, Fabio Zanasi
Hennessy-Milner Results for Probabilistic PDL. MFPS (2020)
Robin Piedeleu, Fabio Zanasi
A String Diagrammatic Axiomatisation of Finite-State Automata. CoRR (2020)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. CoRR (2020)
Tao Gu, Fabio Zanasi
Coalgebraic Semantics for Probabilistic Logic Programming. CoRR (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS (2020)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. ACM Trans. Comput. Log. 21 (2) (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. FoSSaCS (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CONCUR (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Graphical Affine Algebra. LICS (2019)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103 (2019)
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. FoSSaCS (2019)
Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). CALCO (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CoRR (2019)
Tao Gu, Fabio Zanasi
A Coalgebraic Perspective on Probabilistic Logic Programming. CALCO (2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CONCUR (2019)
Brendan Fong, Fabio Zanasi
Universal Constructions for (Co)Relations: categories, monoidal categories, and props. Log. Methods Comput. Sci. 14 (3) (2018)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR (2018)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95 (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting with Frobenius. LICS (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. CoRR (2018)
Bart Jacobs, Fabio Zanasi
The Logical Essentials of Bayesian Reasoning. CoRR (2018)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. ESOP (2018)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. CoRR (2018)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CoRR (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR (2018)
Bart Jacobs, Aleks Kissinger, Fabio Zanasi
Causal Inference by String Diagram Surgery. CoRR (2018)
Fabio Zanasi
Interacting Hopf Algebras: the theory of linear systems. CoRR (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Confluence of Graph Rewriting with Interfaces. ESOP (2017)
Brendan Fong, Fabio Zanasi
Universal Constructions for (Co)Relations: categories, monoidal categories, and props. CoRR (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR (2017)
Bart Jacobs, Fabio Zanasi
A Formal Semantics of Influence in Bayesian Reasoning. MFCS (2017)
Fabio Zanasi
Rewriting in Free Hypegraph Categories. GaM@ETAPS (2017)
Brendan Fong, Fabio Zanasi
A Universal Construction for (Co)Relations. CoRR (2017)
Brendan Fong, Fabio Zanasi
A Universal Construction for (Co)Relations. CALCO (2017)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. CoRR (2017)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252 (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Lawvere Categories as Composed PROPs. CMCS (2016)
Bart Jacobs, Fabio Zanasi
A Predicate/State Transformer Semantics for Bayesian Learning. MFPS (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. CoRR (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. LICS (2016)
Fabio Zanasi
The Algebra of Partial Equivalence Relations. MFPS (2016)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Full Abstraction for Signal Flow Graphs. POPL (2015)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604 (2015)
Filippo Bonchi, Fabio Zanasi
Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. 11 (1) (2015)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Bialgebras Are Frobenius. FoSSaCS (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Hopf Algebras. CoRR (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
A Categorical Semantics of Signal Flow Graphs. CONCUR (2014)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS (2014)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS (2014)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR (2014)
Alessandro Facchini, Yde Venema, Fabio Zanasi
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. LICS (2013)
Filippo Bonchi, Fabio Zanasi
Saturated Semantics for Coalgebraic Logic Programming. CALCO (2013)

Fabio Zanasi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabio Zanasi