E-LIB Suche - Ergebnisse für: Bonchi, Filippo

1

The Model Theory of Quantitative Coalgebraic Modal Logics:

Wild, Paul , 2024

Link: https://nbn-resolving.de..

2

Diagrammatic Algebra of First Order Logic:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bonchi, Filippo ; Di Giorgio, Alessandro ; Haydon, Nathan. - p. 1-15 , 2024

Link: https://dl.acm.org/doi/1..

3

Up-to techniques for behavioural metrics via fibrations:

Bonchi, Filippo ; König, Barbara ; Petrişan, Daniela
Mathematical Structures in Computer Science. 33 (2023) 4-5 - p. 182-221 , 2023

Link: https://doi.org/10.1017/..

4

Deconstructing the Calculus of Relations with Tape Diagrams:

Bonchi, Filippo ; Di Giorgio, Alessandro ; Santamaria, Alessio
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1864-1894 , 2023

Link: https://doi.org/10.1145/..

5

Exploiting Adjoints in Property Directed Reachability Analy..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Kori, Mayuko ; Ascari, Flavio ; Bonchi, Filippo... - p. 41-63 , 2023

Link: https://doi.org/10.1007/..

6

String Diagram Rewrite Theory I: Rewriting with Frobenius S..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Journal of the ACM. 69 (2022) 2 - p. 1-58 , 2022

Link: https://doi.org/10.1145/..

7

Convexity via Weak Distributive Laws:

Bonchi, Filippo ; Santamaria, Alessio
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

8

String Diagram Rewrite Theory I: Rewriting with Frobenius S..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Journal of the ACM (JACM). 69 (2022) 2 - p. 1-58 , 2022

Link: https://dl.acm.org/doi/1..

9

The Theory of Traces for Systems with Nondeterminism, Proba..:

Bonchi, Filippo ; Sokolova, Ana ; Vignudelli, Valeria
Logical Methods in Computer Science. 18, Issue 2 (2022) - p. , 2022

Link: https://doi.org/10.46298..

10

String diagram rewrite theory II: Rewriting with symmetric ..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Mathematical Structures in Computer Science. 32 (2022) 4 - p. 511-541 , 2022

Link: https://doi.org/10.1017/..

11

String diagram rewrite theory III: Confluence with and with..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Mathematical Structures in Computer Science. 32 (2022) 7 - p. 829-869 , 2022

Link: https://doi.org/10.1017/..

12

Distribution Bisimilarity via the Power of Convex Algebras:

Bonchi, Filippo ; Silva, Alexandra ; Sokolova, Ana
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

13

A Survey of Compositional Signal Flow Theory:

, In: IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology,

Bonchi, Filippo ; Sobociński, Paweł ; Zanasi, Fabio - p. 29-56 , 2021

Link: https://doi.org/10.1007/..

14

Combining Semilattices and Semimodules:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Bonchi, Filippo ; Santamaria, Alessio - p. 102-123 , 2021

Link: https://doi.org/10.1007/..

15

Bialgebraic foundations for the operational semantics of st..:

Bonchi, Filippo ; Piedeleu, Robin ; Sobociński, Paweł.
Information and Computation. 281 (2021) - p. 104767 , 2021

Link: https://doi.org/10.1016/..