Filippo Bonchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
16
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Completeness for Probabilistic Boolean Tapes. | Filippo Bonchi, Cipriano Junior Cioffo |
| 2026 | FOSSACS | Tapes as Stochastic Matrices of String Diagrams. | Filippo Bonchi, Cipriano Junior Cioffo |
| 2026 | MFCS | Functorial Semantics for First-Order Theories. | Filippo Bonchi, Alessandro Di Giorgio, Roberto Di Virgilio, Pawel Sobocinski |
| 2025 | CALCO | Tape Diagrams for Monoidal Monads. | Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | CALCO | Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2025 | CSL | Strong Induction Is an Up-To Technique. | Filippo Bonchi, Elena Di Lavore, Anna Ricci |
| 2025 | FOSSACS | A Diagrammatic Algebra for Program Logics. | Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore |
| 2025 | LICS | Effectful Mealy Machines: Bisimulation and Trace. | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2024 | LICS | Diagrammatic Algebra of First Order Logic. | Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski |
| 2024 | MFCS | When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. | Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta |
| 2023 | CAV | Exploiting Adjoints in Property Directed Reachability Analysis. | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo |
| 2021 | CALCO | From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls). | Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi |
| 2021 | CALCO | On Doctrines and Cartesian Bicategories. | Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski |
| 2021 | CALCO | Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2021 | FOSSACS | Combining Semilattices and Semimodules. | Filippo Bonchi, Alessio Santamaria |
| 2020 | FOSSACS | Contextual Equivalence for Signal Flow Graphs. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | CALCO | The Axiom of Choice in Cartesian Bicategories. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2019 | CONCUR | Bialgebraic Semantics for String Diagrams. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | LICS | Graphical Affine Algebra. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | LICS | The Theory of Traces for Systems with Nondeterminism and Probability. | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2018 | CONCUR | Up-To Techniques for Behavioural Metrics via Fibrations. | Filippo Bonchi, Barbara Knig, Daniela Petrisan |
| 2018 | CSL | Graphical Conjunctive Queries. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2018 | LICS | Sound up-to techniques and Complete abstract domains. | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
| 2018 | LICS | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | CONCUR | The Power of Convex Algebras. | Filippo Bonchi, Alexandra Silva, Ana Sokolova |
| 2017 | CONCUR | Refinement for Signal Flow Graphs. | Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski |
| 2017 | ESOP | Confluence of Graph Rewriting with Interfaces. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | TACAS | Up-To Techniques for Weighted Systems. | Filippo Bonchi, Barbara Knig, Sebastian Kpper |
| 2016 | LICS | Rewriting modulo symmetric monoidal structure. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2016 | TASE | Behaviour-Aware Matching of Cloud Applications. | Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani |
| 2015 | CALCO | Towards Trace Metrics via Functor Lifting. | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara Knig |
| 2015 | CONCUR | Lax Bialgebras and Up-To Techniques for Weak Bisimulations. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2015 | POPL | Full Abstraction for Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | CONCUR | A Categorical Semantics of Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | Coordination | Encoding Synchronous Interactions Using Labelled Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2014 | CSL | Coinduction up-to in a fibrational setting. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2014 | FOSSACS | Interacting Bialgebras Are Frobenius. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | ICTAC | A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2013 | APLAS | Brzozowski's and Up-To Algorithms for Must Testing. | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva |
| 2013 | CALCO | Saturated Semantics for Coalgebraic Logic Programming. | Filippo Bonchi, Fabio Zanasi |
| 2013 | POPL | Checking NFA equivalence with bisimulations up to congruence. | Filippo Bonchi, Damien Pous |
| 2013 | PPDP | Efficient computation of program equivalence for confluent concurrent constraint programming. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2012 | FOSSACS | A Coalgebraic Perspective on Minimization and Determinization. | Jir Admek, Filippo Bonchi, Mathias Hlsbusch, Barbara Knig, Stefan Milius, Alexandra Silva |
| 2012 | SAC | Partition refinement for bisimilarity in CCP. | Andrs Aristizbal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino |
| 2011 | APLAS | Towards a General Theory of Barbs, Contexts and Labels. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2011 | FOSSACS | Deriving Labels and Bisimilarity for Concurrent Constraint Programming. | Andrs Aristizbal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia |
| 2010 | APLAS | Concurrency Can't Be Observed, Asynchronously. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2009 | CALCO | Coalgebraic Symbolic Semantics. | Filippo Bonchi, Ugo Montanari |
| 2009 | CONCUR | Encoding Asynchronous Interactions Using Open Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
| 2009 | CONCUR | Deriving Syntax and Axioms for Quantitative Regular Behaviours. | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | ESOP | Minimization Algorithm for Symbolic Bisimilarity. | Filippo Bonchi, Ugo Montanari |
| 2009 | FOSSACS | Reactive Systems, Barbed Semantics, and the Mobile Ambients. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2008 | FOSSACS | Symbolic Semantics Revisited. | Filippo Bonchi, Ugo Montanari |
| 2007 | CONCUR | Coalgebraic Models for Reactive Systems. | Filippo Bonchi, Ugo Montanari |
| 2006 | LICS | Saturated Semantics for Reactive Systems. | Filippo Bonchi, Barbara Knig, Ugo Montanari |