BONCHI, FILIPPO Statistiche

BONCHI, FILIPPO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 99 (tempo di esecuzione: 0.06 secondi).
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.