Filippo Bonchi

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 82

Top Venues

CoRR

Math. Struct. Comput. Sci.

CONCUR

LICS

Publications

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. MFCS (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. LICS (2024)
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Deconstructing the Calculus of Relations with Tape Diagrams. Proc. ACM Program. Lang. 7 (POPL) (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Filippo Bonchi, Alessio Santamaria
Convexity via Weak Distributive Laws. Log. Methods Comput. Sci. 18 (4) (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32 (7) (2022)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18 (2) (2022)
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Deconstructing the Calculus of Relations with Tape Diagrams. CoRR (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69 (2) (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32 (4) (2022)
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). CALCO (2021)
Filippo Bonchi, Alessio Santamaria
Combining Semilattices and Semimodules. FoSSaCS (2021)
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. CoRR (2021)
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
On Doctrines and Cartesian Bicategories. CALCO (2021)
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. FSTTCS (2021)
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
On Doctrines and Cartesian Bicategories. CoRR (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR (2021)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO (2021)
Filippo Bonchi, Alessio Santamaria
Convexity via Weak Distributive Laws. CoRR (2021)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17 (3) (2021)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281 (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR (2021)
Filippo Bonchi, Alessio Santamaria
Combining Semilattices and Semimodules. CoRR (2020)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Cartesian bicategories with choice. CoRR (2020)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. FoSSaCS (2020)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CONCUR (2019)
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
Polyadic Soft Constraints. The Art of Modelling Computational Systems (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Graphical Affine Algebra. LICS (2019)
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CoRR (2019)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
The Axiom of Choice in Cartesian Bicategories. CALCO (2019)
Filippo Bonchi
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS (2019)
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172 (2019)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
The Theory of Traces for Systems with Nondeterminism and Probability. LICS (2019)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. CoRR (2018)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Graphical Conjunctive Queries. CSL (2018)
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani
Simulation-based matching of cloud applications. Sci. Comput. Program. 162 (2018)
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
Sound up-to techniques and Complete abstract domains. LICS (2018)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95 (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting with Frobenius. LICS (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR (2018)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Graphical Conjunctive Queries. CoRR (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR (2018)
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR (2018)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14 (3) (2018)
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. CoRR (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Confluence of Graph Rewriting with Interfaces. ESOP (2017)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
A general account of coinduction up-to. Acta Informatica 54 (2) (2017)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. CoRR (2017)
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
Refinement for Signal Flow Graphs. CONCUR (2017)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
The Power of Convex Algebras. CoRR (2017)
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27 (7) (2017)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
The Power of Convex Algebras. CONCUR (2017)
Filippo Bonchi, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. FSEN (2017)
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
Functorial Semantics for Relational Theories. CoRR (2017)
Filippo Bonchi, Barbara König, Sebastian Küpper
Up-To Techniques for Weighted Systems. TACAS (1) (2017)
Filippo Bonchi, Barbara König, Sebastian Küpper
Up-To Techniques for Weighted Systems (Extended Version). CoRR (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252 (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Lawvere Categories as Composed PROPs. CMCS (2016)
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani
Behaviour-Aware Matching of Cloud Applications. TASE (2016)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26 (7) (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. CoRR (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. LICS (2016)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109 (2015)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Full Abstraction for Signal Flow Graphs. POPL (2015)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604 (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25 (4) (2015)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program. 111 (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CALCO (2015)
Filippo Bonchi, Damien Pous
Hacking nondeterminism with induction and coinduction. Commun. ACM 58 (2) (2015)
Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia
Weak CCP bisimilarity with strong procedures. Sci. Comput. Program. 100 (2015)
Filippo Bonchi, Fabio Zanasi
Bialgebraic Semantics for Logic Programming. Log. Methods Comput. Sci. 11 (1) (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CoRR (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION (2014)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. FSTTCS (2014)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up-to in a fibrational setting. CSL-LICS (2014)
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15 (1) (2014)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ICTAC (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Bialgebras Are Frobenius. FoSSaCS (2014)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up to in a fibrational setting. CoRR (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Hopf Algebras. CoRR (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24 (4) (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
A Categorical Semantics of Signal Flow Graphs. CONCUR (2014)
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15 (4) (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. CoRR (2014)
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
Brzozowski's and Up-To Algorithms for Must Testing. APLAS (2013)
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
Efficient computation of program equivalence for confluent concurrent constraint programming. PPDP (2013)
Filippo Bonchi, Fabio Zanasi
Saturated Semantics for Coalgebraic Logic Programming. CALCO (2013)
Filippo Bonchi, Damien Pous
Checking NFA equivalence with bisimulations up to congruence. POPL (2013)

Filippo Bonchi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Filippo Bonchi