Concepedia

Fabio Zanasi

FZ

18

Publications

510

Citations

14

H-Index

2013

Active since

Affiliations

University of Southampton(Current)

École Normale Supérieure de Lyon

Centre National de la Recherche Scientifique

University College London

Radboud University Nijmegen

Fabio Zanasi is an author at University of Southampton specializing in automated reasoning, engineering, and computer science.

Top concepts

Computer ScienceEngineeringAutomated ReasoningFormal MethodsSemanticsFormal VerificationData ScienceGraph TheoryNetwork ScienceGraph Processing

Publications per year

2013–2022

18

Publications

18

Interacting Hopf algebras

Filippo Bonchi, Paweł Sobociński, Fabio Zanasi · Journal of Pure and Applied Algebra · 2016 · 77 citations · Full text

Hopf Algebra, Representation Theory, Quantum Algebra +2

Full Abstraction for Signal Flow Graphs

Filippo Bonchi, Paweł Sobociński, Fabio Zanasi · 2014 · 63 citations

Full Abstraction, String Diagrammatic Language, Directed Graph +15

Diagrammatic algebra: from linear to concurrent systems

Filippo Bonchi, Joshua Holland, Robin Piedeleu et al. · Proceedings of the ACM on Programming Languages · 2019 · 50 citations · Full text

Petri Net, Engineering, Operational Semantics +11

Graphical Affine Algebra

Filippo Bonchi, Robin Piedeleu, Paweł Sobociński et al. · 2019 · 41 citations · Full text

Affine Behaviour, Graphical Affine Algebra, Programming Language Theory +15

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

Filippo Bonchi, Paweł Sobociński, Fabio Zanasi · Information and Computation · 2016 · 40 citations

Data Flow, Linear Relations, Formal Methods +4

Rows per page

1–5 of 18