Fabio Zanasi - RankMe

131 papers A* 6A 3B 33C 4Journal 73Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. CSL Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2026	J	`jnl`	Complete Diagrammatic Axiomatisations of Relative Entropy. CoRR Ralph Sarkis, Fabio Zanasi
2026	J	`jnl`	Layered Monoidal Theories I: Diagrammatic Algebra and Applications. CoRR Leo Lobski, Fabio Zanasi
2026	J	`jnl`	Layered Monoidal Theories II: Fibrational Semantics. CoRR Leo Lobski, Fabio Zanasi
2025	—	`conf`	A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. ESOP (2) Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2025	B	`conf`	A Complete Diagrammatic Calculus for Automata Simulation. CSL Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025	J	`jnl`	A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. CoRR Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025	J	`jnl`	A categorical model for organic chemistry. Theor. Comput. Sci. Ella Gale, Leo Lobski, Fabio Zanasi
2025	B	`conf`	An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. CALCO Antonio Lorenzin, Fabio Zanasi
2025	J	`jnl`	An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. CoRR Antonio Lorenzin, Fabio Zanasi
2025	J	`jnl`	Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction. CoRR Antonio Lorenzin, Fabio Zanasi
2025	J	`jnl`	Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective. CoRR Antonio Lorenzin, Fabio Zanasi
2025	A*	`conf`	Categorical Explaining Functors: Ensuring Coherence in Logical Explanations. KR Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicolò Navarin
2025	J	`jnl`	Convergence for Discrete Parameter Update Schemes. CoRR Paul Wilson, Fabio Zanasi, George Constantinides
2025	C	`conf`	Graphical Quadratic Algebra. ICTAC Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson
2025	J	`jnl`	Logic Explanation of AI Classifiers by Categorical Explaining Functors. CoRR Stefano Fioravanti, Francesco Giannini, Paolo Frazzetto, Fabio Zanasi, Pietro Barbiero
2025	B	`conf`	Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. MFCS Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2025	J	`jnl`	Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure. Log. Methods Comput. Sci. Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
2025	B	`conf`	Rewriting for Traced Monoidal Closed Categories. ICGT Alessandro Di Giorgio, Dan R. Ghica, Fabio Zanasi
2025	J	`jnl`	String Diagrams for Graded Monoidal Theories with an Application to Imprecise Probability. CoRR Ralph Sarkis, Fabio Zanasi
2025	B	`conf`	String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability. CALCO Ralph Sarkis, Fabio Zanasi
2024	B	`conf`	A Categorical Approach to DIBI Models. FSCD Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	A Categorical Approach to DIBI Models. CoRR Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. CoRR Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	A Fibrational Theory of First Order Differential Structures. CoRR Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani, Fabio Zanasi
2024	J	`jnl`	Deep Learning with Parametric Lenses. CoRR Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
2024	C	`conf`	Disconnection Rules are Complete for Chemical Reactions. ICTAC Ella Gale, Leo Lobski, Fabio Zanasi
2024	J	`jnl`	Disconnection Rules are Complete for Chemical Reactions. CoRR Ella Gale, Leo Lobski, Fabio Zanasi
2024	J	`jnl`	Graphical Quadratic Algebra. CoRR Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
2024	C	`conf`	Learning Closed Signal Flow Graphs. ICTAC Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi
2024	J	`jnl`	Learning Closed Signal Flow Graphs. CoRR Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi
2024	B	`conf`	On Iteration in Discrete Probabilistic Programming. FSCD Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2024	J	`jnl`	Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. CoRR Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2024	J	`jnl`	String diagrams for Strictification and Coherence. Log. Methods Comput. Sci. Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
2023	C	`conf`	A Categorical Approach to Synthetic Chemistry. ICTAC Ella Gale, Leo Lobski, Fabio Zanasi
2023	J	`jnl`	A Categorical Model for Retrosynthetic Reaction Analysis. CoRR Ella Gale, Leo Lobski, Fabio Zanasi
2023	J	`jnl`	A Finite Axiomatisation of Finite-State Automata Using String Diagrams. Log. Methods Comput. Sci. Robin Piedeleu, Fabio Zanasi
2023	J	`jnl`	An Introduction to String Diagrams for Computer Scientists. CoRR Robin Piedeleu, Fabio Zanasi
2023	J	`jnl`	An axiomatic approach to differentiation of polynomial circuits. J. Log. Algebraic Methods Program. Paul W. Wilson, Fabio Zanasi
2023	J	`jnl`	Data-Parallel Algorithms for String Diagrams. CoRR Paul W. Wilson, Fabio Zanasi
2023	B	`conf`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2023	J	`jnl`	Hierarchical string diagrams and applications. CoRR Dan R. Ghica, Fabio Zanasi
2023	B	`conf`	String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. CALCO Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
2023	B	`conf`	String Diagrams for Non-Strict Monoidal Categories. CSL Paul W. Wilson, Dan R. Ghica, Fabio Zanasi
2022	B	`conf`	A Complete Diagrammatic Calculus for Boolean Satisfiability. MFPS Tao Gu, Robin Piedeleu, Fabio Zanasi
2022	J	`jnl`	A Finite Axiomatisation of Finite-State Automata Using String Diagrams. CoRR Robin Piedeleu, Fabio Zanasi
2022	A	`conf`	Categorical Foundations of Gradient-Based Learning. ESOP Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
2022	B	`conf`	Categories of Differentiable Polynomial Circuits for Machine Learning. ICGT Paul W. Wilson, Fabio Zanasi
2022	J	`jnl`	Categories of Differentiable Polynomial Circuits for Machine Learning. CoRR Paul W. Wilson, Fabio Zanasi
2022	—	`ed.`	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 CMCS Helle Hvid Hansen, Fabio Zanasi
2022	J	`jnl`	Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2022	J	`jnl`	Report on coalgebraic methods in computer science 2022. ACM SIGLOG News Helle Hvid Hansen, Fabio Zanasi
2022	B	`conf`	Rewriting for Monoidal Closed Categories. FSCD Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2022	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String Diagram Rewriting Modulo Commutative Monoid Structure. CoRR Aleksandar Milosavljevic, Fabio Zanasi
2022	—	`conf`	String Diagrams for Layered Explanations. ACT Leo Lobski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	B	`conf`	A String Diagrammatic Axiomatisation of Finite-State Automata. FoSSaCS Robin Piedeleu, Fabio Zanasi
2021	—	`ch.`	A Survey of Compositional Signal Flow Theory. IFIP's Exciting First 60+ Years Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	Categorical Foundations of Gradient-Based Learning. CoRR Geoff S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi
2021	J	`jnl`	Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2021	J	`jnl`	Coalgebraic Semantics for Probabilistic Logic Programming. Log. Methods Comput. Sci. Tao Gu, Fabio Zanasi
2021	J	`jnl`	Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2021	B	`conf`	From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
2021	B	`conf`	Functorial Semantics as a Unifying Perspective on Logic Programming. CALCO Tao Gu, Fabio Zanasi
2021	J	`jnl`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2021	J	`jnl`	String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	—	`conf`	The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. ACT Paul W. Wilson, Fabio Zanasi
2020	J	`jnl`	A String Diagrammatic Axiomatisation of Finite-State Automata. CoRR Robin Piedeleu, Fabio Zanasi
2020	J	`jnl`	Coalgebraic Semantics for Probabilistic Logic Programming. CoRR Tao Gu, Fabio Zanasi
2020	B	`conf`	Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020	J	`jnl`	Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020	B	`conf`	Contextual Equivalence for Signal Flow Graphs. FoSSaCS Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2020	J	`jnl`	Contextual Equivalence for Signal Flow Graphs. CoRR Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2020	B	`conf`	Hennessy-Milner Results for Probabilistic PDL. MFPS Tao Gu, Alexandra Silva, Fabio Zanasi
2020	—	`conf`	Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. ACT Paul W. Wilson, Fabio Zanasi
2020	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2020	—	`ch.`	The Logical Essentials of Bayesian Reasoning. Foundations of Probabilistic Programming Bart Jacobs, Fabio Zanasi
2020	J	`jnl`	The Power of the Weak. ACM Trans. Comput. Log. Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2019	B	`conf`	A Coalgebraic Perspective on Probabilistic Logic Programming. CALCO Tao Gu, Fabio Zanasi
2019	B	`conf`	Bialgebraic Semantics for String Diagrams. CONCUR Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019	J	`jnl`	Bialgebraic Semantics for String Diagrams. CoRR Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019	B	`conf`	CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). CALCO Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi
2019	B	`conf`	Causal Inference by String Diagram Surgery. FoSSaCS Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2019	J	`jnl`	Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019	A*	`conf`	Graphical Affine Algebra. LICS Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019	B	`conf`	Kleene Algebra with Observations. CONCUR Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2019	J	`jnl`	On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018	J	`jnl`	Causal Inference by String Diagram Surgery. CoRR Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2018	A	`conf`	Concurrent Kleene Algebra: Free Model and Completeness. ESOP Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2018	J	`jnl`	Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2018	J	`jnl`	Equivalence checking for weak bi-Kleene algebra. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018	J	`jnl`	Interacting Hopf Algebras: the theory of linear systems. CoRR Fabio Zanasi
2018	J	`jnl`	Kleene Algebra with Observations. CoRR Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018	J	`jnl`	Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2018	J	`jnl`	On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018	A*	`conf`	Rewriting with Frobenius. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2018	J	`jnl`	The Logical Essentials of Bayesian Reasoning. CoRR Bart Jacobs, Fabio Zanasi
2018	J	`jnl`	The Power of the Weak. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2018	J	`jnl`	Universal Constructions for (Co)Relations: categories, monoidal categories, and props. Log. Methods Comput. Sci. Brendan Fong, Fabio Zanasi
2017	B	`conf`	A Formal Semantics of Influence in Bayesian Reasoning. MFCS Bart Jacobs, Fabio Zanasi
2017	B	`conf`	A Universal Construction for (Co)Relations. CALCO Brendan Fong, Fabio Zanasi
2017	J	`jnl`	A Universal Construction for (Co)Relations. CoRR Brendan Fong, Fabio Zanasi
2017	B	`conf`	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017	J	`jnl`	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017	J	`jnl`	Concurrent Kleene Algebra: Free Model and Completeness. CoRR Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2017	A	`conf`	Confluence of Graph Rewriting with Interfaces. ESOP Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2017	—	`conf`	Rewriting in Free Hypegraph Categories. GaM Fabio Zanasi
2017	J	`jnl`	The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2017	J	`jnl`	Universal Constructions for (Co)Relations: categories, monoidal categories, and props. CoRR Brendan Fong, Fabio Zanasi
2016	B	`conf`	A Predicate/State Transformer Semantics for Bayesian Learning. MFPS Bart Jacobs, Fabio Zanasi
2016	—	`conf`	Lawvere Categories as Composed PROPs. CMCS Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2016	A*	`conf`	Rewriting modulo symmetric monoidal structure. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	J	`jnl`	Rewriting modulo symmetric monoidal structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	B	`conf`	The Algebra of Partial Equivalence Relations. MFPS Fabio Zanasi
2015	J	`jnl`	Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. Filippo Bonchi, Fabio Zanasi
2015	A*	`conf`	Full Abstraction for Signal Flow Graphs. POPL Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2015	—	`—`	Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting Hopf Algebras - la théorie des systèmes linéaires). Fabio Zanasi
2015	J	`jnl`	Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014	B	`conf`	A Categorical Semantics of Signal Flow Graphs. CONCUR Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	—	`conf`	How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014	J	`jnl`	How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014	B	`conf`	Interacting Bialgebras Are Frobenius. FoSSaCS Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	J	`jnl`	Interacting Hopf Algebras. CoRR Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	J	`jnl`	Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2014	—	`conf`	Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
2013	A*	`conf`	A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. LICS Alessandro Facchini, Yde Venema, Fabio Zanasi
2013	B	`conf`	Saturated Semantics for Coalgebraic Logic Programming. CALCO Filippo Bonchi, Fabio Zanasi