Filippo Bonchi | DeepAI

AI Chat

Featured Co-authors

Ichiro Hasuo
35 publications
Fabio Zanasi
29 publications
Jurriaan Rot
22 publications
Barbara König
21 publications
Pawel Sobocinski
17 publications
Aleks Kissinger
16 publications
Fabio Gadducci
12 publications
Dusko Pavlovic
11 publications
Robin Piedeleu
10 publications
Paolo Baldan
9 publications
Pierre Ganty
7 publications

∙ 07/06/2023

Exploiting Adjoints in Property Directed Reachability Analysis

We formulate, in lattice-theoretic terms, two novel algorithms inspired ...

0 Mayuko Kori, et al. ∙

∙ 10/18/2022

Deconstructing the Calculus of Relations with Tape Diagrams

Rig categories with finite biproducts are categories with two monoidal p...

0 Filippo Bonchi, et al. ∙

∙ 09/13/2021

String Diagram Rewrite Theory III: Confluence with and without Frobenius

In this paper we address the problem of proving confluence for string di...

0 Filippo Bonchi, et al. ∙

∙ 08/19/2021

Convexity via Weak Distributive Laws

We study the canonical weak distributive law δ of the powerset monad ove...

0 Filippo Bonchi, et al. ∙

∙ 06/15/2021

On Doctrines and Cartesian Bicategories

We study the relationship between cartesian bicategories and a specialis...

0 Filippo Bonchi, et al. ∙

∙ 05/23/2021

Diagrammatic Polyhedral Algebra

We extend the theory of Interacting Hopf algebras with an order primitiv...

0 Guillaume Boisseau, et al. ∙

∙ 04/29/2021

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure

Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...

0 Filippo Bonchi, et al. ∙

∙ 12/29/2020

Combining Semilattices and Semimodules

We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...

0 Filippo Bonchi, et al. ∙

∙ 12/03/2020

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

String diagrams are a powerful and intuitive graphical syntax, originate...

0 Filippo Bonchi, et al. ∙

∙ 05/04/2020

Presenting convex sets of probability distributions by convex semilattices and unique bases

We prove that every finitely generated convex set of finitely supported ...

0 Filippo Bonchi, et al. ∙

∙ 03/20/2020

Cartesian bicategories with choice

Relational structures are emerging as ubiquitous mathematical machinery ...

0 Filippo Bonchi, et al. ∙

∙ 02/20/2020

Contextual Equivalence for Signal Flow Graphs

We extend the signal flow calculus—a compositional account of the classi...

0 Filippo Bonchi, et al. ∙

∙ 06/04/2019

Bialgebraic Semantics for String Diagrams

Turi and Plotkin's bialgebraic semantics is an abstract approach to spec...

0 Filippo Bonchi, et al. ∙

∙ 11/08/2018

Bisimilarity of Open Terms in Stream GSOS

Stream GSOS is a specification format for operations and calculi on infi...

0 Filippo Bonchi, et al. ∙

∙ 08/02/2018

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization

This paper studies trace-based equivalences for automata combining nonde...

0 Filippo Bonchi, et al. ∙

∙ 06/28/2018

Up-To Techniques for Behavioural Metrics via Fibrations

Up-to techniques are a well-known method for enhancing coinductive proof...

0 Filippo Bonchi, et al. ∙

∙ 04/27/2018

Sound up-to techniques and Complete abstract domains

Abstract interpretation is a method to automatically find invariants of ...

0 Filippo Bonchi, et al. ∙

∙ 04/20/2018

Graphical Conjunctive Queries

The Calculus of Conjunctive Queries (CCQ) has foundational status in dat...

0 Filippo Bonchi, et al. ∙

∙ 12/20/2017

Coalgebraic Behavioral Metrics

We study different behavioral metrics, such as those arising from both b...

0 Paolo Baldan, et al. ∙

∙ 11/23/2017

Functorial Semantics for Relational Theories

We introduce the concept of Frobenius theory as a generalisation of Lawv...

0 Filippo Bonchi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world