Filippo Bonchi

164 papers A* 10A 2B 41C 3Misc 2Journal 79Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Actionable Interpretability Must Be Defined in Terms of Symmetries.
CoRR
Pietro Barbiero, Mateo Espinosa Zarlenga, Francesco Giannini, Alberto Termine, Filippo Bonchi, Mateja Jamnik, Giuseppe Marra
2026 B conf
Tapes as Stochastic Matrices of String Diagrams.
FoSSaCS
Filippo Bonchi, Cipriano Junior Cioffo
2026 J jnl
Tapes as Stochastic Matrices of String Diagrams.
CoRR
Filippo Bonchi, Cipriano Junior Cioffo
2025 B conf
A Diagrammatic Algebra for Program Logics.
FoSSaCS
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
A Diagrammatic Basis for Computer Programming.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2025 A* conf
Effectful Mealy Machines: Bisimulation and Trace.
LICS
Filippo Bonchi, Elena Di Lavore, Mario Román
2025 B conf
Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk).
CALCO
Filippo Bonchi, Elena Di Lavore, Mario Román
2025 — conf
Mathematical Foundation of Interpretable Equivariant Surrogate Models.
xAI (2)
Jacopo Joy Colombini, Filippo Bonchi, Francesco Giannini, Fosca Giannotti, Roberto Pellungrini, Patrizio Frosini
2025 J jnl
Mathematical Foundation of Interpretable Equivariant Surrogate Models.
CoRR
Jacopo Joy Colombini, Filippo Bonchi, Francesco Giannini, Fosca Giannotti, Roberto Pellungrini, Patrizio Frosini
2025 J jnl
Program Logics via Distributive Monoidal Categories.
CoRR
Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton
2025 B conf
Strong Induction Is an Up-To Technique.
CSL
Filippo Bonchi, Elena Di Lavore, Anna Ricci
2025 B conf
Tape Diagrams for Monoidal Monads.
CALCO
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
Tape Diagrams for Monoidal Monads.
CoRR
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
2025 J jnl
The calculus of neo-Peircean relations.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 J jnl
A Diagrammatic Algebra for Program Logics.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
2024 A* conf
Diagrammatic Algebra of First Order Logic.
LICS
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 J jnl
Diagrammatic Algebra of First Order Logic.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024 J jnl
Effectful Mealy Machines: Bisimulation and Trace.
CoRR
Filippo Bonchi, Elena Di Lavore, Mario Román
2024 B conf
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.
MFCS
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2024 J jnl
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2023 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
Proc. ACM Program. Lang.
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2023 — conf
Exploiting Adjoints in Property Directed Reachability Analysis.
CAV (2)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023 J jnl
Exploiting Adjoints in Property Directed Reachability Analysis.
CoRR
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023 J jnl
Up-to techniques for behavioural metrics via fibrations.
Math. Struct. Comput. Sci.
Filippo Bonchi, Barbara König, Daniela Petrisan
2022 J jnl
Convexity via Weak Distributive Laws.
Log. Methods Comput. Sci.
Filippo Bonchi, Alessio Santamaria
2022 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2022 J jnl
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.
J. ACM
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022 J jnl
String diagram rewrite theory II: Rewriting with symmetric monoidal structure.
Math. Struct. Comput. Sci.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022 J jnl
String diagram rewrite theory III: Confluence with and without Frobenius.
Math. Struct. Comput. Sci.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022 J jnl
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.
Log. Methods Comput. Sci.
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2021 B ed.
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, Tallinn, Estonia, August 23-27, 2021
MFCS
Filippo Bonchi, Simon J. Puglisi
2021 — ch.
A Survey of Compositional Signal Flow Theory.
IFIP's Exciting First 60+ Years
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2021 J jnl
Bialgebraic foundations for the operational semantics of string diagrams.
Inf. Comput.
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2021 B conf
Combining Semilattices and Semimodules.
FoSSaCS
Filippo Bonchi, Alessio Santamaria
2021 J jnl
Convexity via Weak Distributive Laws.
CoRR
Filippo Bonchi, Alessio Santamaria
2021 — conf
Diagrammatic Polyhedral Algebra.
FSTTCS
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021 J jnl
Diagrammatic Polyhedral Algebra.
CoRR
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021 J jnl
Distribution Bisimilarity via the Power of Convex Algebras.
Log. Methods Comput. Sci.
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2021 B conf
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls).
CALCO
Filippo Bonchi, Alessandro Di Giorgio, Fabio Zanasi
2021 B conf
On Doctrines and Cartesian Bicategories.
CALCO
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2021 J jnl
On Doctrines and Cartesian Bicategories.
CoRR
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2021 B conf
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).
CALCO
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2021 J jnl
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure.
CoRR
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021 J jnl
String Diagram Rewrite Theory III: Confluence with and without Frobenius.
CoRR
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2020 J jnl
Cartesian bicategories with choice.
CoRR
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2020 J jnl
Combining Semilattices and Semimodules.
CoRR
Filippo Bonchi, Alessio Santamaria
2020 B conf
Contextual Equivalence for Signal Flow Graphs.
FoSSaCS
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2020 J jnl
Contextual Equivalence for Signal Flow Graphs.
CoRR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2020 J jnl
Presenting convex sets of probability distributions by convex semilattices and unique bases.
CoRR
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2020 J jnl
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.
CoRR
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2019 B conf
Bialgebraic Semantics for String Diagrams.
CONCUR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 J jnl
Bialgebraic Semantics for String Diagrams.
CoRR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 J jnl
Bisimilarity of open terms in stream GSOS.
Sci. Comput. Program.
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2019 J jnl
Diagrammatic algebra: from linear to concurrent systems.
Proc. ACM Program. Lang.
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 A* conf
Graphical Affine Algebra.
LICS
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 — conf
Interacting Hopf Algebras: the Theory of Linear Systems (text not included).
ICTCS
Filippo Bonchi
2019 — conf
Polyadic Soft Constraints.
The Art of Modelling Computational Systems
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
2019 B conf
The Axiom of Choice in Cartesian Bicategories.
CALCO
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2019 A* conf
The Theory of Traces for Systems with Nondeterminism and Probability.
LICS
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2018 J jnl
Bisimilarity of Open Terms in Stream GSOS.
CoRR
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2018 J jnl
Coalgebraic Behavioral Metrics.
Log. Methods Comput. Sci.
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2018 J jnl
Deconstructing Lawvere with distributive laws.
J. Log. Algebraic Methods Program.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2018 B conf
Graphical Conjunctive Queries.
CSL
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2018 J jnl
Graphical Conjunctive Queries.
CoRR
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2018 A* conf
Rewriting with Frobenius.
LICS
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2018 J jnl
Simulation-based matching of cloud applications.
Sci. Comput. Program.
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani
2018 A* conf
Sound up-to techniques and Complete abstract domains.
LICS
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2018 J jnl
Sound up-to techniques and Complete abstract domains.
CoRR
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2018 J jnl
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.
CoRR
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2018 B conf
Up-To Techniques for Behavioural Metrics via Fibrations.
CONCUR
Filippo Bonchi, Barbara König, Daniela Petrisan
2018 J jnl
Up-To Techniques for Behavioural Metrics via Fibrations.
CoRR
Filippo Bonchi, Barbara König, Daniela Petrisan
2017 B ed.
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, June 12-16, 2017
CALCO
Filippo Bonchi, Barbara König
2017 J jnl
A general account of coinduction up-to.
Acta Informatica
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2017 — conf
Bisimilarity of Open Terms in Stream GSOS.
FSEN
Filippo Bonchi, Matias David Lee, Jurriaan Rot
2017 J jnl
Coalgebraic Behavioral Metrics.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2017 A conf
Confluence of Graph Rewriting with Interfaces.
ESOP
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2017 J jnl
Enhanced coalgebraic bisimulation.
Math. Struct. Comput. Sci.
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
2017 J jnl
Functorial Semantics for Relational Theories.
CoRR
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
2017 B conf
Refinement for Signal Flow Graphs.
CONCUR
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
2017 J jnl
The Calculus of Signal Flow Diagrams I: Linear relations on streams.
Inf. Comput.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2017 B conf
The Power of Convex Algebras.
CONCUR
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2017 J jnl
The Power of Convex Algebras.
CoRR
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2017 J jnl
Up-To Techniques for Weighted Systems (Extended Version).
CoRR
Filippo Bonchi, Barbara König, Sebastian Küpper
2017 — conf
Up-To Techniques for Weighted Systems.
TACAS (1)
Filippo Bonchi, Barbara König, Sebastian Küpper
2016 J jnl
A coalgebraic view on decorated traces.
Math. Struct. Comput. Sci.
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
2016 Misc conf
Behaviour-Aware Matching of Cloud Applications.
TASE
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani
2016 — conf
Lawvere Categories as Composed PROPs.
CMCS
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2016 A* conf
Rewriting modulo symmetric monoidal structure.
LICS
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016 J jnl
Rewriting modulo symmetric monoidal structure.
CoRR
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2015 — conf
Asynchronous Traces and Open Petri Nets.
Programming Languages with Applications to Biology and Security
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015 J jnl
Bialgebraic Semantics for Logic Programming.
Log. Methods Comput. Sci.
Filippo Bonchi, Fabio Zanasi
2015 J jnl
Concurrency cannot be observed, asynchronously.
Math. Struct. Comput. Sci.
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015 J jnl
Efficient algorithms for program equivalence for confluent concurrent constraint programming.
Sci. Comput. Program.
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2015 A* conf
Full Abstraction for Signal Flow Graphs.
POPL
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2015 J jnl
Hacking nondeterminism with induction and coinduction.
Commun. ACM
Filippo Bonchi, Damien Pous
2015 J jnl
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.
Theor. Comput. Sci.
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2015 B conf
Lax Bialgebras and Up-To Techniques for Weak Bisimulations.
CONCUR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2015 J jnl
Modular encoding of synchronous and asynchronous interactions using open Petri nets.
Sci. Comput. Program.
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2015 B conf
Towards Trace Metrics via Functor Lifting.
CALCO
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2015 J jnl
Towards Trace Metrics via Functor Lifting.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2015 J jnl
Weak CCP bisimilarity with strong procedures.
Sci. Comput. Program.
Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, Frank D. Valencia
2014 C conf
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.
ICTAC
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2014 B conf
A Categorical Semantics of Signal Flow Graphs.
CONCUR
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014 J jnl
A General Theory of Barbs, Contexts, and Labels.
ACM Trans. Comput. Log.
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2014 J jnl
Algebra-coalgebra duality in Brzozowski's minimization algorithm.
ACM Trans. Comput. Log.
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2014 — conf
Behavioral Metrics via Functor Lifting.
FSTTCS
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014 J jnl
Behavioral Metrics via Functor Lifting.
CoRR
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
2014 J jnl
Coinduction up to in a fibrational setting.
CoRR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2014 — conf
Coinduction up-to in a fibrational setting.
CSL-LICS
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2014 C conf
Encoding Synchronous Interactions Using Labelled Petri Nets.
COORDINATION
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2014 — conf
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CMCS
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 J jnl
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CoRR
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 B conf
Interacting Bialgebras Are Frobenius.
FoSSaCS
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014 J jnl
Interacting Hopf Algebras.
CoRR
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014 J jnl
RPO semantics for mobile ambients.
Math. Struct. Comput. Sci.
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2013 B conf
Brzozowski's and Up-To Algorithms for Must Testing.
APLAS
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
2013 A* conf
Checking NFA equivalence with bisimulations up to congruence.
POPL
Filippo Bonchi, Damien Pous
2013 C conf
Efficient computation of program equivalence for confluent concurrent constraint programming.
PPDP
Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia
2013 J jnl
Generalizing determinization from automata to coalgebras
Log. Methods Comput. Sci.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 B conf
Saturated Semantics for Coalgebraic Logic Programming.
CALCO
Filippo Bonchi, Fabio Zanasi
2012 B conf
A Coalgebraic Perspective on Minimization and Determinization.
FoSSaCS
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
2012 J jnl
A Presheaf Environment for the Explicit Fusion Calculus.
J. Autom. Reason.
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2012 J jnl
A coalgebraic perspective on linear weighted automata.
Inf. Comput.
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
2012 — conf
Brzozowski's Algorithm (Co)Algebraically.
Logic and Program Semantics
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2012 B conf
Final Semantics for Decorated Traces.
MFPS
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
2012 J jnl
Partition Refinement for Bisimilarity in CCP
CoRR
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank D. Valencia
2012 Misc conf
Partition refinement for bisimilarity in CCP.
SAC
Andrés Aristizábal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino
2012 J jnl
Preface to special issue: EXPRESS, ICE and SOS 2009.
Math. Struct. Comput. Sci.
Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin
2012 — conf
Reducing Weak to Strong Bisimilarity in CCP
ICE
Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, Frank Valencia
2011 J jnl
A lattice-theoretical perspective on adhesive categories.
J. Symb. Comput.
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
2011 B conf
Deriving Labels and Bisimilarity for Concurrent Constraint Programming.
FoSSaCS
Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia
2011 J jnl
Quantitative Kleene coalgebras.
Inf. Comput.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2011 J jnl
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Log. Methods Comput. Sci.
Filippo Bonchi, Ugo Montanari
2011 B conf
Towards a General Theory of Barbs, Contexts and Labels.
APLAS
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010 B conf
Concurrency Can't Be Observed, Asynchronously.
APLAS
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010 — conf
Generalizing the powerset construction, coalgebraically.
FSTTCS
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 B conf
Saturated LTSs for Adhesive Rewriting Systems.
ICGT
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
2009 J jnl
A Net-based Approach to Web Services Publication and Replaceability.
Fundam. Informaticae
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2009 B conf
Coalgebraic Symbolic Semantics.
CALCO
Filippo Bonchi, Ugo Montanari
2009 B conf
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 B conf
Encoding Asynchronous Interactions Using Open Petri Nets.
CONCUR
Paolo Baldan, Filippo Bonchi, Fabio Gadducci
2009 A conf
Minimization Algorithm for Symbolic Bisimilarity.
ESOP
Filippo Bonchi, Ugo Montanari
2009 — conf
On Barbs and Labels in Reactive Systems
SOS
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2009 — ed.
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009.
ICE
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto
2009 — ed.
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2009 B conf
Reactive Systems, Barbed Semantics, and the Mobile Ambients.
FoSSaCS
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2009 J jnl
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.
Theor. Comput. Sci.
Filippo Bonchi, Ugo Montanari
2009 J jnl
Synthesising CCS bisimulation using graph rewriting.
Inf. Comput.
Filippo Bonchi, Fabio Gadducci, Barbara König
2008 — conf
A Category of Explicit Fusions.
Concurrency, Graphs and Models
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
2008 B conf
Abstract Semantics by Observable Contexts.
ICGT
Filippo Bonchi
2008 — —
Abstract Semantics by Observable Contexts.
Filippo Bonchi
2008 B conf
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.
Petri Nets
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008 — conf
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).
EXPRESS
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2008 J jnl
On the Use of Behavioural Equivalences for Web Services' Development.
Fundam. Informaticae
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2008 B conf
Parallel and Sequential Independence for Borrowed Contexts.
ICGT
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
2008 — conf
Preface.
ICE@ICALP
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
2008 B conf
Symbolic Semantics Revisited.
FoSSaCS
Filippo Bonchi, Ugo Montanari
2007 — conf
A Behavioural Congruence for Web Services.
FSEN
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
2007 B conf
Coalgebraic Models for Reactive Systems.
CONCUR
Filippo Bonchi, Ugo Montanari
2007 — conf
G-Reactive Systems as Coalgebras.
ACCAT@ETAPS
Filippo Bonchi, Ugo Montanari
2006 — conf
A Coalgebraic Theory of Reactive Systems.
LIX
Filippo Bonchi, Ugo Montanari
2006 — conf
Adhesive DPO Parallelism for Monic Matches.
GT-VC@CONCUR
Filippo Bonchi, Tobias Heindel
2006 B conf
Process Bisimulation
ICGT
Filippo Bonchi, Fabio Gadducci, Barbara König
2006 A* conf
Saturated Semantics for Reactive Systems.
LICS
Filippo Bonchi, Barbara König, Ugo Montanari