Clik here to view.
Diagrammatic algebra: from linear to concurrent systems.
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi: Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3(POPL): 25:1-25:28 (2019)
View ArticleClik here to view.
On series-parallel pomset languages: Rationality, context-freeness and automata.
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: 130-153...
View ArticleClik here to view.
Coalgebraic Semantics for Probabilistic Logic Programming.
Tao Gu, Fabio Zanasi: Coalgebraic Semantics for Probabilistic Logic Programming. CoRR abs/2012.03916 (2020)
View ArticleClik here to view.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi: String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020)
View ArticleClik here to view.
A String Diagrammatic Axiomatisation of Finite-State Automata.
Robin Piedeleu, Fabio Zanasi: A String Diagrammatic Axiomatisation of Finite-State Automata. CoRR abs/2009.14576 (2020)
View ArticleClik here to view.
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi: Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR abs/2002.09682 (2020)
View ArticleClik here to view.
Contextual Equivalence for Signal Flow Graphs.
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi: Contextual Equivalence for Signal Flow Graphs. CoRR abs/2002.08874 (2020)
View ArticleClik here to view.
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits.
Paul W. Wilson, Fabio Zanasi: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. ACT 2020: 247-260
View ArticleClik here to view.
Hennessy-Milner Results for Probabilistic PDL.
Tao Gu, Alexandra Silva, Fabio Zanasi: Hennessy-Milner Results for Probabilistic PDL. MFPS 2020: 283-304
View ArticleClik here to view.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS 2020: 381-400
View ArticleClik here to view.
Contextual Equivalence for Signal Flow Graphs.
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi: Contextual Equivalence for Signal Flow Graphs. FoSSaCS 2020: 77-96
View ArticleClik here to view.
The Power of the Weak.
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi: The Power of the Weak. ACM Trans. Comput. Log. 21(2): 15:1-15:47 (2020)
View ArticleClik here to view.
String Diagram Rewrite Theory III: Confluence with and without Frobenius.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi: String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021)
View ArticleClik here to view.
Functorial String Diagrams for Reverse-Mode Automatic Differentiation.
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi: Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR abs/2107.13433 (2021)
View ArticleClik here to view.
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi: String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021)
View ArticleClik here to view.
Categorical Foundations of Gradient-Based Learning.
Geoff S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi: Categorical Foundations of Gradient-Based Learning. CoRR abs/2103.01931 (2021)
View ArticleClik here to view.
A Survey of Compositional Signal Flow Theory.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi: A Survey of Compositional Signal Flow Theory. IFIP's Exciting First 60+ Years 2021: 29-56
View ArticleClik here to view.
The Cost of Compositionality: A High-Performance Implementation of String...
Paul W. Wilson, Fabio Zanasi: The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. ACT 2021: 262-275
View ArticleClik here to view.
A String Diagrammatic Axiomatisation of Finite-State Automata.
Robin Piedeleu, Fabio Zanasi: A String Diagrammatic Axiomatisation of Finite-State Automata. FoSSaCS 2021: 469-489
View ArticleClik here to view.
Functorial Semantics as a Unifying Perspective on Logic Programming.
Tao Gu, Fabio Zanasi: Functorial Semantics as a Unifying Perspective on Logic Programming. CALCO 2021: 17:1-17:22
View ArticleClik here to view.
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra...
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi: From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO 2021: 9:1-9:19
View ArticleClik here to view.
Causal inference via string diagram surgery: A diagrammatic approach to...
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): 553-574 (2021)
View ArticleClik here to view.
Equivalence checking for weak bi-Kleene algebra.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi: Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17(3) (2021)
View ArticleClik here to view.
Coalgebraic Semantics for Probabilistic Logic Programming.
Tao Gu, Fabio Zanasi: Coalgebraic Semantics for Probabilistic Logic Programming. Log. Methods Comput. Sci. 17(2) (2021)
View ArticleClik here to view.
Bialgebraic foundations for the operational semantics of string diagrams.
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi: Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281: 104767 (2021)
View ArticleClik here to view.
A Finite Axiomatisation of Finite-State Automata Using String Diagrams.
Robin Piedeleu, Fabio Zanasi: A Finite Axiomatisation of Finite-State Automata Using String Diagrams. CoRR abs/2211.16484 (2022)
View ArticleClik here to view.
String Diagram Rewriting Modulo Commutative Monoid Structure.
Aleksandar Milosavljevic, Fabio Zanasi: String Diagram Rewriting Modulo Commutative Monoid Structure. CoRR abs/2204.04274 (2022)
View ArticleClik here to view.
Categories of Differentiable Polynomial Circuits for Machine Learning.
Paul W. Wilson, Fabio Zanasi: Categories of Differentiable Polynomial Circuits for Machine Learning. CoRR abs/2203.06430 (2022)
View ArticleClik here to view.
Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International...
Helle Hvid Hansen, Fabio Zanasi: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings....
View ArticleClik here to view.
A Complete Diagrammatic Calculus for Boolean Satisfiability.
Tao Gu, Robin Piedeleu, Fabio Zanasi: A Complete Diagrammatic Calculus for Boolean Satisfiability. MFPS 2022
View ArticleClik here to view.
String Diagrams for Layered Explanations.
Leo Lobski, Fabio Zanasi: String Diagrams for Layered Explanations. ACT 2022: 362-382
View ArticleClik here to view.
Categories of Differentiable Polynomial Circuits for Machine Learning.
Paul W. Wilson, Fabio Zanasi: Categories of Differentiable Polynomial Circuits for Machine Learning. ICGT 2022: 77-93
View ArticleClik here to view.
Rewriting for Monoidal Closed Categories.
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi: Rewriting for Monoidal Closed Categories. FSCD 2022: 29:1-29:20
View ArticleClik here to view.
Categorical Foundations of Gradient-Based Learning.
Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi: Categorical Foundations of Gradient-Based Learning. ESOP 2022: 1-28
View ArticleClik here to view.
Report on coalgebraic methods in computer science 2022.
Helle Hvid Hansen, Fabio Zanasi: Report on coalgebraic methods in computer science 2022. ACM SIGLOG News 9(3): 61-62 (2022)
View ArticleClik here to view.
String diagram rewrite theory III: Confluence with and without Frobenius.
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): 829-869 (2022)
View ArticleClik here to view.
String diagram rewrite theory II: Rewriting with symmetric monoidal structure.
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): 511-541...
View ArticleClik here to view.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi: String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022)
View ArticleClik here to view.
Model theory of monadic predicate logic with the infinity quantifier.
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi: Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. 61(3-4): 465-502 (2022)
View ArticleClik here to view.
A Categorical Model for Retrosynthetic Reaction Analysis.
Ella Gale, Leo Lobski, Fabio Zanasi: A Categorical Model for Retrosynthetic Reaction Analysis. CoRR abs/2311.04085 (2023)
View ArticleClik here to view.
Hierarchical string diagrams and applications.
Dan R. Ghica, Fabio Zanasi: Hierarchical string diagrams and applications. CoRR abs/2305.18945 (2023)
View ArticleClik here to view.
An Introduction to String Diagrams for Computer Scientists.
Robin Piedeleu, Fabio Zanasi: An Introduction to String Diagrams for Computer Scientists. CoRR abs/2305.08768 (2023)
View ArticleClik here to view.
Data-Parallel Algorithms for String Diagrams.
Paul W. Wilson, Fabio Zanasi: Data-Parallel Algorithms for String Diagrams. CoRR abs/2305.01041 (2023)
View ArticleClik here to view.
A Categorical Approach to Synthetic Chemistry.
Ella Gale, Leo Lobski, Fabio Zanasi: A Categorical Approach to Synthetic Chemistry. ICTAC 2023: 276-294
View ArticleClik here to view.
String Diagrams for Non-Strict Monoidal Categories.
Paul W. Wilson, Dan R. Ghica, Fabio Zanasi: String Diagrams for Non-Strict Monoidal Categories. CSL 2023: 37:1-37:19
View ArticleClik here to view.
Functorial String Diagrams for Reverse-Mode Automatic Differentiation.
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi: Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL 2023: 6:1-6:20
View ArticleClik here to view.
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi: String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. CALCO 2023: 9:1-9:17
View ArticleClik here to view.
A Finite Axiomatisation of Finite-State Automata Using String Diagrams.
Robin Piedeleu, Fabio Zanasi: A Finite Axiomatisation of Finite-State Automata Using String Diagrams. Log. Methods Comput. Sci. 19(1) (2023)
View ArticleClik here to view.
An axiomatic approach to differentiation of polynomial circuits.
Paul W. Wilson, Fabio Zanasi: An axiomatic approach to differentiation of polynomial circuits. J. Log. Algebraic Methods Program. 135: 100892 (2023)
View ArticleClik here to view.
A Categorical Approach to DIBI Models.
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi: A Categorical Approach to DIBI Models. CoRR abs/2401.05842 (2024)
View Article
