Fabio Zanasi

According to our database, Fabio Zanasi authored at least 78 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Disconnection Rules are Complete for Chemical Reactions.

Ella Gale, Leo Lobski, Fabio Zanasi

CoRR, 2024

A Fibrational Theory of First Order Differential Structures.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani, Fabio Zanasi

CoRR, 2024

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

CoRR, 2024

Learning Closed Signal Flow Graphs.

Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi

CoRR, 2024

Deep Learning with Parametric Lenses.

Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi

CoRR, 2024

Graphical Quadratic Algebra.

Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu

CoRR, 2024

On Iteration in Discrete Probabilistic Programming.

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

A Categorical Approach to DIBI Models.

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

An axiomatic approach to differentiation of polynomial circuits.

Paul W. Wilson, Fabio Zanasi

J. Log. Algebraic Methods Program., October, 2023

A Finite Axiomatisation of Finite-State Automata Using String Diagrams.

Robin Piedeleu, Fabio Zanasi

Log. Methods Comput. Sci., 2023

A Categorical Model for Retrosynthetic Reaction Analysis.

Ella Gale, Leo Lobski, Fabio Zanasi

CoRR, 2023

Hierarchical string diagrams and applications.

Dan R. Ghica, Fabio Zanasi

CoRR, 2023

An Introduction to String Diagrams for Computer Scientists.

Robin Piedeleu, Fabio Zanasi

CoRR, 2023

Data-Parallel Algorithms for String Diagrams.

Paul W. Wilson, Fabio Zanasi

CoRR, 2023

A Categorical Approach to Synthetic Chemistry.

Ella Gale, Leo Lobski, Fabio Zanasi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Functorial String Diagrams for Reverse-Mode Automatic Differentiation.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

String Diagrams for Non-Strict Monoidal Categories.

Paul W. Wilson, Dan R. Ghica, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.

Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

String diagram rewrite theory III: Confluence with and without Frobenius.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Math. Struct. Comput. Sci., August, 2022

String diagram rewrite theory II: Rewriting with symmetric monoidal structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Math. Struct. Comput. Sci., April, 2022

Report on coalgebraic methods in computer science 2022.

Helle Hvid Hansen, Fabio Zanasi

ACM SIGLOG News, 2022

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

J. ACM, 2022

A Complete Diagrammatic Calculus for Boolean Satisfiability.

Tao Gu, Robin Piedeleu, Fabio Zanasi

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

String Diagrams for Layered Explanations.

Leo Lobski, Fabio Zanasi

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

String Diagram Rewriting Modulo Commutative Monoid Structure.

Aleksandar Milosavljevic, Fabio Zanasi

CoRR, 2022

Model theory of monadic predicate logic with the infinity quantifier.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Arch. Math. Log., 2022

Categories of Differentiable Polynomial Circuits for Machine Learning.

Paul W. Wilson, Fabio Zanasi

Proceedings of the Graph Transformation - 15th International Conference, 2022

Rewriting for Monoidal Closed Categories.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Categorical Foundations of Gradient-Based Learning.

Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2022

2021

A Survey of Compositional Signal Flow Theory.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Advancing Research in Information and Communication Technology, 2021

Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Math. Struct. Comput. Sci., 2021

Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Log. Methods Comput. Sci., 2021

Coalgebraic Semantics for Probabilistic Logic Programming.

Tao Gu, Fabio Zanasi

Log. Methods Comput. Sci., 2021

Bialgebraic foundations for the operational semantics of string diagrams.

Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Inf. Comput., 2021

The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition.

Paul W. Wilson, Fabio Zanasi

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

A String Diagrammatic Axiomatisation of Finite-State Automata.

Robin Piedeleu, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2021

Functorial Semantics as a Unifying Perspective on Logic Programming.

Tao Gu, Fabio Zanasi

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).

Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

The Power of the Weak.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

ACM Trans. Comput. Log., 2020

Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits.

Paul W. Wilson, Fabio Zanasi

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Hennessy-Milner Results for Probabilistic PDL.

Tao Gu, Alexandra Silva, Fabio Zanasi

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Contextual Equivalence for Signal Flow Graphs.

Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Diagrammatic algebra: from linear to concurrent systems.

Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Proc. ACM Program. Lang., 2019

On series-parallel pomset languages: Rationality, context-freeness and automata.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

J. Log. Algebraic Methods Program., 2019

Graphical Affine Algebra.

Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Causal Inference by String Diagram Surgery.

Bart Jacobs, Aleks Kissinger, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Bialgebraic Semantics for String Diagrams.

Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper).

Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

A Coalgebraic Perspective on Probabilistic Logic Programming.

Tao Gu, Fabio Zanasi

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Universal Constructions for (Co)Relations: categories, monoidal categories, and props.

Brendan Fong, Fabio Zanasi

Log. Methods Comput. Sci., 2018

Deconstructing Lawvere with distributive laws.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

J. Log. Algebraic Methods Program., 2018

Interacting Hopf Algebras: the theory of linear systems.

Fabio Zanasi

CoRR, 2018

The Logical Essentials of Bayesian Reasoning.

Bart Jacobs, Fabio Zanasi

CoRR, 2018

Rewriting with Frobenius.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2018

2017

The Calculus of Signal Flow Diagrams I: Linear relations on streams.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Inf. Comput., 2017

Rewriting in Free Hypegraph Categories.

Fabio Zanasi

Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

A Formal Semantics of Influence in Bayesian Reasoning.

Bart Jacobs, Fabio Zanasi

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Confluence of Graph Rewriting with Interfaces.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Proceedings of the 28th International Conference on Concurrency Theory, 2017

A Universal Construction for (Co)Relations.

Brendan Fong, Fabio Zanasi

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

The Algebra of Partial Equivalence Relations.

Fabio Zanasi

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

A Predicate/State Transformer Semantics for Bayesian Learning.

Bart Jacobs, Fabio Zanasi

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Rewriting modulo symmetric monoidal structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Lawvere Categories as Composed PROPs.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015

Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting Hopf Algebras - la théorie des systèmes linéaires).

Fabio Zanasi

PhD thesis, 2015

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Theor. Comput. Sci., 2015

Bialgebraic Semantics for Logic Programming.

Filippo Bonchi, Fabio Zanasi

Log. Methods Comput. Sci., 2015

Full Abstraction for Signal Flow Graphs.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Interacting Hopf Algebras.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

CoRR, 2014

Interacting Bialgebras Are Frobenius.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Weak MSO: automata and expressiveness modulo bisimilarity.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

A Categorical Semantics of Signal Flow Graphs.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus.

Alessandro Facchini, Yde Venema, Fabio Zanasi

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Saturated Semantics for Coalgebraic Logic Programming.

Filippo Bonchi, Fabio Zanasi

Proceedings of the Algebra and Coalgebra in Computer Science, 2013