BONCHI, FILIPPO Statistiche
BONCHI, FILIPPO
DIPARTIMENTO DI INFORMATICA
Diagrammatic Algebra of First Order Logic
2024-01-01 Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines
2024-01-01 Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide
Deconstructing the Calculus of Relations with Tape Diagrams
2023-01-01 Bonchi, F; Di Giorgio, A; Santamaria, A
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Up-to techniques for behavioural metrics via fibrations
2023-01-01 Bonchi, Filippo; König, Barbara; Petrişan, Daniela
Convexity via Weak Distributive Laws
2022-01-01 Bonchi, Filippo; Santamaria, Alessio
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
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
2022-01-01 Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Diagrammatic Algebra of First Order Logic | 1-gen-2024 | Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel | |
| When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines | 1-gen-2024 | Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide | |
| Deconstructing the Calculus of Relations with Tape Diagrams | 1-gen-2023 | Bonchi, F; Di Giorgio, A; Santamaria, A | |
| Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
| Up-to techniques for behavioural metrics via fibrations | 1-gen-2023 | Bonchi, Filippo; König, Barbara; Petrişan, Daniela | |
| Convexity via Weak Distributive Laws | 1-gen-2022 | Bonchi, Filippo; Santamaria, Alessio | |
| 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 | |
| The Theory of Traces for Systems with Nondeterminism, Probability, and Termination | 1-gen-2022 | Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria | |
| 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. |