BONCHI, FILIPPO Statistiche
BONCHI, FILIPPO
DIPARTIMENTO DI INFORMATICA
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022-01-01 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String diagram rewrite theory III: Confluence with and without Frobenius
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia
2021-01-01 Bonchi, Filippo
A Survey of Compositional Signal Flow Theory
2021-01-01 Bonchi, F.; Sobocinski, P.; Zanasi, F.
Bialgebraic foundations for the operational semantics of string diagrams
2021-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Combining semilattices and semimodules
2021-01-01 Bonchi, F.; Santamaria, A.
Diagrammatic Polyhedral Algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Sobocinski, P.
Distribution bisimilarity via the power of convex algebras
2021-01-01 Bonchi, F.; Silva, A.; Sokolova, A.
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Zanasi, F.
On doctrines and cartesian bicategories
2021-01-01 Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P.
Presenting convex sets of probability distributions by convex semilattices and unique bases
2021-01-01 Bonchi, F.; Sokolova, A.; Vignudelli, V.
Contextual Equivalence for Signal Flow Graphs
2020-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Bialgebraic semantics for string diagrams
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Bisimilarity of open terms in stream GSOS
2019-01-01 Bonchi, F.; van Bussel, T.; Lee, M. D.; Rot, J.
Diagrammatic algebra: from linear to concurrent systems
2019-01-01 Bonchi, Filippo; Holland, Joshua; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio
Graphical affine algebra
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Polyadic soft constraints
2019-01-01 Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco
The axiom of choice in cartesian bicategories
2019-01-01 Bonchi, F.; Seeber, J.; Sobocinski, P.
The theory of traces for systems with nondeterminism and probability
2019-01-01 Bonchi, F.; Sokolova, A.; Vignudelli, V.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure | 1-gen-2022 | Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio | |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure | 1-gen-2022 | Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F | |
String diagram rewrite theory III: Confluence with and without Frobenius | 1-gen-2022 | Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F | |
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia | 1-gen-2021 | Bonchi, Filippo | |
A Survey of Compositional Signal Flow Theory | 1-gen-2021 | Bonchi, F.; Sobocinski, P.; Zanasi, F. | |
Bialgebraic foundations for the operational semantics of string diagrams | 1-gen-2021 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
Combining semilattices and semimodules | 1-gen-2021 | Bonchi, F.; Santamaria, A. | |
Diagrammatic Polyhedral Algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Sobocinski, P. | |
Distribution bisimilarity via the power of convex algebras | 1-gen-2021 | Bonchi, F.; Silva, A.; Sokolova, A. | |
From Farkas’ lemma to linear programming: An exercise in diagrammatic algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Zanasi, F. | |
On doctrines and cartesian bicategories | 1-gen-2021 | Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P. | |
Presenting convex sets of probability distributions by convex semilattices and unique bases | 1-gen-2021 | Bonchi, F.; Sokolova, A.; Vignudelli, V. | |
Contextual Equivalence for Signal Flow Graphs | 1-gen-2020 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
Bialgebraic semantics for string diagrams | 1-gen-2019 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
Bisimilarity of open terms in stream GSOS | 1-gen-2019 | Bonchi, F.; van Bussel, T.; Lee, M. D.; Rot, J. | |
Diagrammatic algebra: from linear to concurrent systems | 1-gen-2019 | Bonchi, Filippo; Holland, Joshua; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio | |
Graphical affine algebra | 1-gen-2019 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
Polyadic soft constraints | 1-gen-2019 | Bonchi, Filippo; Bussi, Laura; Gadducci, Fabio; Santini, Francesco | |
The axiom of choice in cartesian bicategories | 1-gen-2019 | Bonchi, F.; Seeber, J.; Sobocinski, P. | |
The theory of traces for systems with nondeterminism and probability | 1-gen-2019 | Bonchi, F.; Sokolova, A.; Vignudelli, V. |