default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Filippo Bonchi
@inproceedings{DBLP:conf/lics/Bonchi0H024,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Nathan Haydon and
Pawel Sobocinski},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Diagrammatic Algebra of First Order Logic},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {16:1--16:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662078},
doi = {10.1145/3661814.3662078},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Bonchi0H024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bonchi0T24,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Davide Trotta},
editor = {Rastislav Kr{\'{a}}lovic and
Anton{\'{\i}}n Kucera},
title = {When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines},
booktitle = {49th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia},
series = {LIPIcs},
volume = {306},
pages = {30:1--30:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.30},
doi = {10.4230/LIPICS.MFCS.2024.30},
timestamp = {Mon, 26 Aug 2024 16:40:52 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Bonchi0T24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07055,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Nathan Haydon and
Pawel Sobocinski},
title = {Diagrammatic Algebra of First Order Logic},
journal = {CoRR},
volume = {abs/2401.07055},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.07055},
doi = {10.48550/ARXIV.2401.07055},
eprinttype = {arXiv},
eprint = {2401.07055},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-07055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18795,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Davide Trotta},
title = {When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines},
journal = {CoRR},
volume = {abs/2404.18795},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18795},
doi = {10.48550/ARXIV.2404.18795},
eprinttype = {arXiv},
eprint = {2404.18795},
timestamp = {Wed, 29 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bonchi0P23,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
title = {Up-to techniques for behavioural metrics via fibrations},
journal = {Math. Struct. Comput. Sci.},
volume = {33},
number = {4-5},
pages = {182--221},
year = {2023},
url = {https://doi.org/10.1017/s0960129523000166},
doi = {10.1017/S0960129523000166},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Bonchi0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BonchiGS23,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Alessio Santamaria},
title = {Deconstructing the Calculus of Relations with Tape Diagrams},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1864--1894},
year = {2023},
url = {https://doi.org/10.1145/3571257},
doi = {10.1145/3571257},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BonchiGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KoriABBGH23,
author = {Mayuko Kori and
Flavio Ascari and
Filippo Bonchi and
Roberto Bruni and
Roberta Gori and
Ichiro Hasuo},
editor = {Constantin Enea and
Akash Lal},
title = {Exploiting Adjoints in Property Directed Reachability Analysis},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {41--63},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_3},
doi = {10.1007/978-3-031-37703-7\_3},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/KoriABBGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02817,
author = {Mayuko Kori and
Flavio Ascari and
Filippo Bonchi and
Roberto Bruni and
Roberta Gori and
Ichiro Hasuo},
title = {Exploiting Adjoints in Property Directed Reachability Analysis},
journal = {CoRR},
volume = {abs/2307.02817},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.02817},
doi = {10.48550/ARXIV.2307.02817},
eprinttype = {arXiv},
eprint = {2307.02817},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BonchiGKSZ22,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure},
journal = {J. {ACM}},
volume = {69},
number = {2},
pages = {14:1--14:58},
year = {2022},
url = {https://doi.org/10.1145/3502719},
doi = {10.1145/3502719},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BonchiGKSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonchiSV22,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
title = {The Theory of Traces for Systems with Nondeterminism, Probability,
and Termination},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:21)2022},
doi = {10.46298/LMCS-18(2:21)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BonchiSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonchiS22,
author = {Filippo Bonchi and
Alessio Santamaria},
title = {Convexity via Weak Distributive Laws},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:8)2022},
doi = {10.46298/LMCS-18(4:8)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BonchiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiGKSZ22,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String diagram rewrite theory {II:} Rewriting with symmetric monoidal
structure},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {4},
pages = {511--541},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000317},
doi = {10.1017/S0960129522000317},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiGKSZ22a,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String diagram rewrite theory {III:} Confluence with and without Frobenius},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {7},
pages = {829--869},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000123},
doi = {10.1017/S0960129522000123},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BonchiGKSZ22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-09950,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Alessio Santamaria},
title = {Deconstructing the Calculus of Relations with Tape Diagrams},
journal = {CoRR},
volume = {abs/2210.09950},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.09950},
doi = {10.48550/ARXIV.2210.09950},
eprinttype = {arXiv},
eprint = {2210.09950},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-09950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonchiPSZ21,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Bialgebraic foundations for the operational semantics of string diagrams},
journal = {Inf. Comput.},
volume = {281},
pages = {104767},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104767},
doi = {10.1016/J.IC.2021.104767},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BonchiPSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonchiSS21,
author = {Filippo Bonchi and
Alexandra Silva and
Ana Sokolova},
title = {Distribution Bisimilarity via the Power of Convex Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:10)2021},
doi = {10.46298/LMCS-17(3:10)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BonchiSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Bonchi0Z21,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Fabio Zanasi},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic
Algebra ((Co)algebraic pearls)},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.9},
doi = {10.4230/LIPICS.CALCO.2021.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Bonchi0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiSS021,
author = {Filippo Bonchi and
Alessio Santamaria and
Jens Seeber and
Pawel Sobocinski},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {On Doctrines and Cartesian Bicategories},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {10:1--10:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.10},
doi = {10.4230/LIPICS.CALCO.2021.10},
timestamp = {Mon, 08 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/BonchiSS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiSV21,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Presenting Convex Sets of Probability Distributions by Convex Semilattices
and Unique Bases ((Co)algebraic pearls)},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {11:1--11:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.11},
doi = {10.4230/LIPICS.CALCO.2021.11},
timestamp = {Mon, 08 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/BonchiSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiS21,
author = {Filippo Bonchi and
Alessio Santamaria},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Combining Semilattices and Semimodules},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {102--123},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_6},
doi = {10.1007/978-3-030-71995-1\_6},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BonchiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Bonchi0021,
author = {Filippo Bonchi and
Alessandro Di Giorgio and
Pawel Sobocinski},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Diagrammatic Polyhedral Algebra},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {40:1--40:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40},
doi = {10.4230/LIPICS.FSTTCS.2021.40},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Bonchi0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/Bonchi0Z21,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {A Survey of Compositional Signal Flow Theory},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {29--56},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_2},
doi = {10.1007/978-3-030-81701-5\_2},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/Bonchi0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2021,
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-201-3},
isbn = {978-3-95977-201-3},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14686,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {II:} Rewriting with Symmetric Monoidal
Structure},
journal = {CoRR},
volume = {abs/2104.14686},
year = {2021},
url = {https://arxiv.org/abs/2104.14686},
eprinttype = {arXiv},
eprint = {2104.14686},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10946,
author = {Guillaume Boisseau and
Filippo Bonchi and
Alessandro Di Giorgio and
Pawel Sobocinski},
title = {Diagrammatic Polyhedral Algebra},
journal = {CoRR},
volume = {abs/2105.10946},
year = {2021},
url = {https://arxiv.org/abs/2105.10946},
eprinttype = {arXiv},
eprint = {2105.10946},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-08142,
author = {Filippo Bonchi and
Alessio Santamaria and
Jens Seeber and
Pawel Sobocinski},
title = {On Doctrines and Cartesian Bicategories},
journal = {CoRR},
volume = {abs/2106.08142},
year = {2021},
url = {https://arxiv.org/abs/2106.08142},
eprinttype = {arXiv},
eprint = {2106.08142},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-08142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-10718,
author = {Filippo Bonchi and
Alessio Santamaria},
title = {Convexity via Weak Distributive Laws},
journal = {CoRR},
volume = {abs/2108.10718},
year = {2021},
url = {https://arxiv.org/abs/2108.10718},
eprinttype = {arXiv},
eprint = {2108.10718},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06049,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {III:} Confluence with and without Frobenius},
journal = {CoRR},
volume = {abs/2109.06049},
year = {2021},
url = {https://arxiv.org/abs/2109.06049},
eprinttype = {arXiv},
eprint = {2109.06049},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiPSZ20,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Contextual Equivalence for Signal Flow Graphs},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {77--96},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_5},
doi = {10.1007/978-3-030-45231-5\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonchiPSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08874,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Contextual Equivalence for Signal Flow Graphs},
journal = {CoRR},
volume = {abs/2002.08874},
year = {2020},
url = {https://arxiv.org/abs/2002.08874},
eprinttype = {arXiv},
eprint = {2002.08874},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-09453,
author = {Filippo Bonchi and
Jens Seeber and
Pawel Sobocinski},
title = {Cartesian bicategories with choice},
journal = {CoRR},
volume = {abs/2003.09453},
year = {2020},
url = {https://arxiv.org/abs/2003.09453},
eprinttype = {arXiv},
eprint = {2003.09453},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-09453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01670,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
title = {Presenting convex sets of probability distributions by convex semilattices
and unique bases},
journal = {CoRR},
volume = {abs/2005.01670},
year = {2020},
url = {https://arxiv.org/abs/2005.01670},
eprinttype = {arXiv},
eprint = {2005.01670},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01847,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {String Diagram Rewrite Theory {I:} Rewriting with Frobenius Structure},
journal = {CoRR},
volume = {abs/2012.01847},
year = {2020},
url = {https://arxiv.org/abs/2012.01847},
eprinttype = {arXiv},
eprint = {2012.01847},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14778,
author = {Filippo Bonchi and
Alessio Santamaria},
title = {Combining Semilattices and Semimodules},
journal = {CoRR},
volume = {abs/2012.14778},
year = {2020},
url = {https://arxiv.org/abs/2012.14778},
eprinttype = {arXiv},
eprint = {2012.14778},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BonchiHPSZ19,
author = {Filippo Bonchi and
Joshua Holland and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Diagrammatic algebra: from linear to concurrent systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {25:1--25:28},
year = {2019},
url = {https://doi.org/10.1145/3290338},
doi = {10.1145/3290338},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BonchiHPSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BonchiBLR19,
author = {Filippo Bonchi and
Tom van Bussel and
Matias David Lee and
Jurriaan Rot},
title = {Bisimilarity of open terms in stream {GSOS}},
journal = {Sci. Comput. Program.},
volume = {172},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.10.007},
doi = {10.1016/J.SCICO.2018.10.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BonchiBLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonchiBGS19,
author = {Filippo Bonchi and
Laura Bussi and
Fabio Gadducci and
Francesco Santini},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Polyadic Soft Constraints},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {241--257},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_14},
doi = {10.1007/978-3-030-31175-9\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BonchiBGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiSS19,
author = {Filippo Bonchi and
Jens Seeber and
Pawel Sobocinski},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {The Axiom of Choice in Cartesian Bicategories},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.15},
doi = {10.4230/LIPICS.CALCO.2019.15},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BonchiSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiPSZ19,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Bialgebraic Semantics for String Diagrams},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {37:1--37:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.37},
doi = {10.4230/LIPICS.CONCUR.2019.37},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiPSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Bonchi19,
author = {Filippo Bonchi},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Interacting Hopf Algebras: the Theory of Linear Systems (text not
included)},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Bonchi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiPSZ19,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Graphical Affine Algebra},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785877},
doi = {10.1109/LICS.2019.8785877},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiPSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiSV19,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
title = {The Theory of Traces for Systems with Nondeterminism and Probability},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785673},
doi = {10.1109/LICS.2019.8785673},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-01519,
author = {Filippo Bonchi and
Robin Piedeleu and
Pawel Sobocinski and
Fabio Zanasi},
title = {Bialgebraic Semantics for String Diagrams},
journal = {CoRR},
volume = {abs/1906.01519},
year = {2019},
url = {http://arxiv.org/abs/1906.01519},
eprinttype = {arXiv},
eprint = {1906.01519},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-01519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BonchiSZ18,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
title = {Deconstructing Lawvere with distributive laws},
journal = {J. Log. Algebraic Methods Program.},
volume = {95},
pages = {128--146},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.12.002},
doi = {10.1016/J.JLAMP.2017.12.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BonchiSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaldanBKK18,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Behavioral Metrics},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:20)2018},
doi = {10.23638/LMCS-14(3:20)2018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaldanBKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BonchiBCS18,
author = {Filippo Bonchi and
Antonio Brogi and
Andrea Canciani and
Jacopo Soldani},
title = {Simulation-based matching of cloud applications},
journal = {Sci. Comput. Program.},
volume = {162},
pages = {110--131},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.06.001},
doi = {10.1016/J.SCICO.2017.06.001},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BonchiBCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bonchi0P18,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
editor = {Sven Schewe and
Lijun Zhang},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.17},
doi = {10.4230/LIPICS.CONCUR.2018.17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bonchi0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonchiSS18,
author = {Filippo Bonchi and
Jens Seeber and
Pawel Sobocinski},
editor = {Dan R. Ghica and
Achim Jung},
title = {Graphical Conjunctive Queries},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {13:1--13:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.13},
doi = {10.4230/LIPICS.CSL.2018.13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonchiSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGKSZ18,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Rewriting with Frobenius},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {165--174},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209137},
doi = {10.1145/3209108.3209137},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGGP18,
author = {Filippo Bonchi and
Pierre Ganty and
Roberto Giacobazzi and
Dusko Pavlovic},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Sound up-to techniques and Complete abstract domains},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {175--184},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209169},
doi = {10.1145/3209108.3209169},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07626,
author = {Filippo Bonchi and
Jens Seeber and
Pawel Sobocinski},
title = {Graphical Conjunctive Queries},
journal = {CoRR},
volume = {abs/1804.07626},
year = {2018},
url = {http://arxiv.org/abs/1804.07626},
eprinttype = {arXiv},
eprint = {1804.07626},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10507,
author = {Filippo Bonchi and
Pierre Ganty and
Roberto Giacobazzi and
Dusko Pavlovic},
title = {Sound up-to techniques and Complete abstract domains},
journal = {CoRR},
volume = {abs/1804.10507},
year = {2018},
url = {http://arxiv.org/abs/1804.10507},
eprinttype = {arXiv},
eprint = {1804.10507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11064,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Daniela Petrisan},
title = {Up-To Techniques for Behavioural Metrics via Fibrations},
journal = {CoRR},
volume = {abs/1806.11064},
year = {2018},
url = {http://arxiv.org/abs/1806.11064},
eprinttype = {arXiv},
eprint = {1806.11064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00923,
author = {Filippo Bonchi and
Ana Sokolova and
Valeria Vignudelli},
title = {Trace Semantics for Nondeterministic Probabilistic Automata via Determinization},
journal = {CoRR},
volume = {abs/1808.00923},
year = {2018},
url = {http://arxiv.org/abs/1808.00923},
eprinttype = {arXiv},
eprint = {1808.00923},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03606,
author = {Filippo Bonchi and
Tom van Bussel and
Matias David Lee and
Jurriaan Rot},
title = {Bisimilarity of Open Terms in Stream {GSOS}},
journal = {CoRR},
volume = {abs/1811.03606},
year = {2018},
url = {http://arxiv.org/abs/1811.03606},
eprinttype = {arXiv},
eprint = {1811.03606},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BonchiPPR17,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
title = {A general account of coinduction up-to},
journal = {Acta Informatica},
volume = {54},
number = {2},
pages = {127--190},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0271-4},
doi = {10.1007/S00236-016-0271-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BonchiPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonchiSZ17,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
title = {The Calculus of Signal Flow Diagrams {I:} Linear relations on streams},
journal = {Inf. Comput.},
volume = {252},
pages = {2--29},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.03.002},
doi = {10.1016/J.IC.2016.03.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BonchiSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RotBBPRS17,
author = {Jurriaan Rot and
Filippo Bonchi and
Marcello M. Bonsangue and
Damien Pous and
Jan Rutten and
Alexandra Silva},
title = {Enhanced coalgebraic bisimulation},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1236--1264},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000523},
doi = {10.1017/S0960129515000523},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RotBBPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Bonchi0S17,
author = {Filippo Bonchi and
Alexandra Silva and
Ana Sokolova},
editor = {Roland Meyer and
Uwe Nestmann},
title = {The Power of Convex Algebras},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {23:1--23:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.23},
doi = {10.4230/LIPICS.CONCUR.2017.23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Bonchi0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiHPS17,
author = {Filippo Bonchi and
Joshua Holland and
Dusko Pavlovic and
Pawel Sobocinski},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Refinement for Signal Flow Graphs},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {24:1--24:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.24},
doi = {10.4230/LIPICS.CONCUR.2017.24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiHPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BonchiGKSZ17,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Hongseok Yang},
title = {Confluence of Graph Rewriting with Interfaces},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {141--169},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_6},
doi = {10.1007/978-3-662-54434-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BonchiGKSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BonchiLR17,
author = {Filippo Bonchi and
Matias David Lee and
Jurriaan Rot},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Bisimilarity of Open Terms in Stream {GSOS}},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {35--50},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_3},
doi = {10.1007/978-3-319-68972-2\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BonchiLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bonchi0K17,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
editor = {Axel Legay and
Tiziana Margaria},
title = {Up-To Techniques for Weighted Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {535--552},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_31},
doi = {10.1007/978-3-662-54577-5\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Bonchi0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2017,
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-033-0},
isbn = {978-3-95977-033-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bonchi0K17,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Sebastian K{\"{u}}pper},
title = {Up-To Techniques for Weighted Systems (Extended Version)},
journal = {CoRR},
volume = {abs/1701.05001},
year = {2017},
url = {http://arxiv.org/abs/1701.05001},
eprinttype = {arXiv},
eprint = {1701.05001},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bonchi0K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bonchi0S17,
author = {Filippo Bonchi and
Alexandra Silva and
Ana Sokolova},
title = {The Power of Convex Algebras},
journal = {CoRR},
volume = {abs/1707.02344},
year = {2017},
url = {http://arxiv.org/abs/1707.02344},
eprinttype = {arXiv},
eprint = {1707.02344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bonchi0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08699,
author = {Filippo Bonchi and
Dusko Pavlovic and
Pawel Sobocinski},
title = {Functorial Semantics for Relational Theories},
journal = {CoRR},
volume = {abs/1711.08699},
year = {2017},
url = {http://arxiv.org/abs/1711.08699},
eprinttype = {arXiv},
eprint = {1711.08699},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07511,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Behavioral Metrics},
journal = {CoRR},
volume = {abs/1712.07511},
year = {2017},
url = {http://arxiv.org/abs/1712.07511},
eprinttype = {arXiv},
eprint = {1712.07511},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiBCR016,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Georgiana Caltais and
Jan Rutten and
Alexandra Silva},
title = {A coalgebraic view on decorated traces},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1234--1268},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000449},
doi = {10.1017/S0960129514000449},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonchiBCR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BonchiSZ16,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Ichiro Hasuo},
title = {Lawvere Categories as Composed PROPs},
booktitle = {Coalgebraic Methods in Computer Science - 13th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2016, Colocated with {ETAPS} 2016, Eindhoven, The
Netherlands, April 2-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9608},
pages = {11--32},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40370-0\_3},
doi = {10.1007/978-3-319-40370-0\_3},
timestamp = {Thu, 14 Oct 2021 10:31:02 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BonchiSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGKSZ16,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Rewriting modulo symmetric monoidal structure},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {710--719},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935316},
doi = {10.1145/2933575.2935316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BonchiBCS16,
author = {Filippo Bonchi and
Antonio Brogi and
Andrea Canciani and
Jacopo Soldani},
title = {Behaviour-Aware Matching of Cloud Applications},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.32},
doi = {10.1109/TASE.2016.32},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BonchiBCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiGKSZ16,
author = {Filippo Bonchi and
Fabio Gadducci and
Aleks Kissinger and
Pawel Sobocinski and
Fabio Zanasi},
title = {Rewriting modulo symmetric monoidal structure},
journal = {CoRR},
volume = {abs/1602.06771},
year = {2016},
url = {http://arxiv.org/abs/1602.06771},
eprinttype = {arXiv},
eprint = {1602.06771},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiGKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BonchiP15,
author = {Filippo Bonchi and
Damien Pous},
title = {Hacking nondeterminism with induction and coinduction},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {87--95},
year = {2015},
url = {https://doi.org/10.1145/2713167},
doi = {10.1145/2713167},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BonchiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiZ15,
author = {Filippo Bonchi and
Fabio Zanasi},
title = {Bialgebraic Semantics for Logic Programming},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:14)2015},
doi = {10.2168/LMCS-11(1:14)2015},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaldanBGM15,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
title = {Concurrency cannot be observed, asynchronously},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {4},
pages = {978--1004},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000108},
doi = {10.1017/S0960129513000108},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaldanBGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PinoPBV15,
author = {Luis Fernando Pino and
Andr{\'{e}}s A. Aristiz{\'{a}}bal P. and
Filippo Bonchi and
Frank D. Valencia},
title = {Weak {CCP} bisimilarity with strong procedures},
journal = {Sci. Comput. Program.},
volume = {100},
pages = {84--104},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.007},
doi = {10.1016/J.SCICO.2014.09.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PinoPBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaldanBGM15,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
title = {Modular encoding of synchronous and asynchronous interactions using
open Petri nets},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {96--124},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.019},
doi = {10.1016/J.SCICO.2014.11.019},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BaldanBGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PinoBV15,
author = {Luis Fernando Pino and
Filippo Bonchi and
Frank D. Valencia},
title = {Efficient algorithms for program equivalence for confluent concurrent
constraint programming},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {135--155},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.12.003},
doi = {10.1016/J.SCICO.2014.12.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PinoBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonchiM0Z15,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
title = {Killing epsilons with a dagger: {A} coalgebraic study of systems with
algebraic label structure},
journal = {Theor. Comput. Sci.},
volume = {604},
pages = {102--126},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.024},
doi = {10.1016/J.TCS.2015.03.024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonchiM0Z15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaldanBGV15,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Asynchronous Traces and Open Petri Nets},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {86--102},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_8},
doi = {10.1007/978-3-319-25527-9\_8},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaldanBGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanBK015,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Towards Trace Metrics via Functor Lifting},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {35--49},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.35},
doi = {10.4230/LIPICS.CALCO.2015.35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BaldanBK015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiPPR15,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Lax Bialgebras and Up-To Techniques for Weak Bisimulations},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {240--253},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.240},
doi = {10.4230/LIPICS.CONCUR.2015.240},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiPPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BonchiSZ15,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Sriram K. Rajamani and
David Walker},
title = {Full Abstraction for Signal Flow Graphs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {515--526},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676993},
doi = {10.1145/2676726.2676993},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/BonchiSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaldanBK015,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Towards Trace Metrics via Functor Lifting},
journal = {CoRR},
volume = {abs/1505.08105},
year = {2015},
url = {http://arxiv.org/abs/1505.08105},
eprinttype = {arXiv},
eprint = {1505.08105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaldanBK015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiGM14,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
title = {{RPO} semantics for mobile ambients},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000333},
doi = {10.1017/S0960129512000333},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonchiGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonchiBHPRS14,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Helle Hvid Hansen and
Prakash Panangaden and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Algebra-coalgebra duality in Brzozowski's minimization algorithm},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {1},
pages = {3:1--3:29},
year = {2014},
url = {https://doi.org/10.1145/2490818},
doi = {10.1145/2490818},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonchiBHPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonchiGM14,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
title = {A General Theory of Barbs, Contexts, and Labels},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {35:1--35:27},
year = {2014},
url = {https://doi.org/10.1145/2631916},
doi = {10.1145/2631916},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonchiGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BonchiM0Z14,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
editor = {Marcello M. Bonsangue},
title = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
with Algebraic Label Structure},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {53--74},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_4},
doi = {10.1007/978-3-662-44124-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BonchiM0Z14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiSZ14,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Paolo Baldan and
Daniele Gorla},
title = {A Categorical Semantics of Signal Flow Graphs},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {435--450},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_30},
doi = {10.1007/978-3-662-44584-6\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BaldanBGM14,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Eva K{\"{u}}hn and
Rosario Pugliese},
title = {Encoding Synchronous Interactions Using Labelled Petri Nets},
booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2014, Held as Part of the 9th International
Federated Conferences on Distributed Computing Techniques, DisCoTec
2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43376-8\_1},
doi = {10.1007/978-3-662-43376-8\_1},
timestamp = {Tue, 15 Nov 2022 15:22:35 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BaldanBGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonchiPPR14,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Coinduction up-to in a fibrational setting},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {20:1--20:9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603149},
doi = {10.1145/2603088.2603149},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonchiPPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiSZ14,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Anca Muscholl},
title = {Interacting Bialgebras Are Frobenius},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {351--365},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_23},
doi = {10.1007/978-3-642-54830-7\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonchiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaldanBKK14,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Behavioral Metrics via Functor Lifting},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {403--415},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403},
doi = {10.4230/LIPICS.FSTTCS.2014.403},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaldanBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PinoBV14,
author = {Luis Fernando Pino and
Filippo Bonchi and
Frank D. Valencia},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {A Behavioral Congruence for Concurrent Constraint Programming with
Nondeterministic Choice},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {351--368},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_21},
doi = {10.1007/978-3-319-10882-7\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/PinoBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiPPR14,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
title = {Coinduction up to in a fibrational setting},
journal = {CoRR},
volume = {abs/1401.6675},
year = {2014},
url = {http://arxiv.org/abs/1401.6675},
eprinttype = {arXiv},
eprint = {1401.6675},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiPPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiMSZ14,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
title = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
with Algebraic Label Structure},
journal = {CoRR},
volume = {abs/1402.4062},
year = {2014},
url = {http://arxiv.org/abs/1402.4062},
eprinttype = {arXiv},
eprint = {1402.4062},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiMSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiSZ14,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
title = {Interacting Hopf Algebras},
journal = {CoRR},
volume = {abs/1403.7048},
year = {2014},
url = {http://arxiv.org/abs/1403.7048},
eprinttype = {arXiv},
eprint = {1403.7048},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaldanBKK14,
author = {Paolo Baldan and
Filippo Bonchi and
Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Behavioral Metrics via Functor Lifting},
journal = {CoRR},
volume = {abs/1410.3385},
year = {2014},
url = {http://arxiv.org/abs/1410.3385},
eprinttype = {arXiv},
eprint = {1410.3385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaldanBKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1046,
author = {Alexandra Silva and
Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
title = {Generalizing determinization from automata to coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:9)2013},
doi = {10.2168/LMCS-9(1:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BonchiCPS13,
author = {Filippo Bonchi and
Georgiana Caltais and
Damien Pous and
Alexandra Silva},
editor = {Chung{-}chieh Shan},
title = {Brzozowski's and Up-To Algorithms for Must Testing},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_1},
doi = {10.1007/978-3-319-03542-0\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BonchiCPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiZ13,
author = {Filippo Bonchi and
Fabio Zanasi},
editor = {Reiko Heckel and
Stefan Milius},
title = {Saturated Semantics for Coalgebraic Logic Programming},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {80--94},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_8},
doi = {10.1007/978-3-642-40206-7\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BonchiZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BonchiP13,
author = {Filippo Bonchi and
Damien Pous},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Checking {NFA} equivalence with bisimulations up to congruence},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {457--468},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429124},
doi = {10.1145/2429069.2429124},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BonchiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PinoBV13,
author = {Luis Fernando Pino and
Filippo Bonchi and
Frank D. Valencia},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Efficient computation of program equivalence for confluent concurrent
constraint programming},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {263--274},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505902},
doi = {10.1145/2505879.2505902},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/PinoBV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonchiBBRS12,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Michele Boreale and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {A coalgebraic perspective on linear weighted automata},
journal = {Inf. Comput.},
volume = {211},
pages = {77--105},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.12.002},
doi = {10.1016/J.IC.2011.12.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BonchiBBRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BonchiBCG12,
author = {Filippo Bonchi and
Maria Grazia Buscemi and
Vincenzo Ciancia and
Fabio Gadducci},
title = {A Presheaf Environment for the Explicit Fusion Calculus},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {161--183},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9224-3},
doi = {10.1007/S10817-011-9224-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BonchiBCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiFGK12,
author = {Filippo Bonchi and
Sibylle B. Fr{\"{o}}schle and
Daniele Gorla and
Bartek Klin},
title = {Preface to special issue: EXPRESS, {ICE} and {SOS} 2009},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {123--124},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000363},
doi = {10.1017/S0960129511000363},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonchiFGK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonchiBRS12,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Robert L. Constable and
Alexandra Silva},
title = {Brzozowski's Algorithm (Co)Algebraically},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {12--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_2},
doi = {10.1007/978-3-642-29485-3\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BonchiBRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekBHKMS12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Filippo Bonchi and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Stefan Milius and
Alexandra Silva},
editor = {Lars Birkedal},
title = {A Coalgebraic Perspective on Minimization and Determinization},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {58--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_4},
doi = {10.1007/978-3-642-28729-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekBHKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AristizabalBVP12,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Frank D. Valencia and
Luis Fernando Pino},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Partition refinement for bisimilarity in {CCP}},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {88--93},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2245296},
doi = {10.1145/2245276.2245296},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AristizabalBVP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3874,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Luis Fernando Pino and
Frank Valencia},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Reducing Weak to Strong Bisimilarity in {CCP}},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {2--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.2},
doi = {10.4204/EPTCS.104.2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiBCRS12,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Georgiana Caltais and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Final Semantics for Decorated Traces},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {73--86},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.006},
doi = {10.1016/J.ENTCS.2012.08.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BonchiBCRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1548,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Luis Fernando Pino and
Frank D. Valencia},
title = {Partition Refinement for Bisimilarity in {CCP}},
journal = {CoRR},
volume = {abs/1212.1548},
year = {2012},
url = {http://arxiv.org/abs/1212.1548},
eprinttype = {arXiv},
eprint = {1212.1548},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-0437,
author = {Filippo Bonchi and
Ugo Montanari},
title = {Symbolic and Asynchronous Semantics via Normalized Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:7)2011},
doi = {10.2168/LMCS-7(2:7)2011},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-0437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SilvaBBR11,
author = {Alexandra Silva and
Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
title = {Quantitative Kleene coalgebras},
journal = {Inf. Comput.},
volume = {209},
number = {5},
pages = {822--849},
year = {2011},
url = {https://doi.org/10.1016/j.ic.2010.09.007},
doi = {10.1016/J.IC.2010.09.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/SilvaBBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BaldanBCHK11,
author = {Paolo Baldan and
Filippo Bonchi and
Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {A lattice-theoretical perspective on adhesive categories},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {222--245},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.006},
doi = {10.1016/J.JSC.2010.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BaldanBCHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BonchiGM11,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Hongseok Yang},
title = {Towards a General Theory of Barbs, Contexts and Labels},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {289--304},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_22},
doi = {10.1007/978-3-642-25318-8\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BonchiGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AristizabalBPPV11,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Catuscia Palamidessi and
Luis Fernando Pino and
Frank D. Valencia},
editor = {Martin Hofmann},
title = {Deriving Labels and Bisimilarity for Concurrent Constraint Programming},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {138--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_10},
doi = {10.1007/978-3-642-19805-2\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AristizabalBPPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BaldanBGM10,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Kazunori Ueda},
title = {Concurrency Can't Be Observed, Asynchronously},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {424--438},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_29},
doi = {10.1007/978-3-642-17164-2\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BaldanBGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SilvaBBR10,
author = {Alexandra Silva and
Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Generalizing the powerset construction, coalgebraically},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {272--283},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.272},
doi = {10.4230/LIPICS.FSTTCS.2010.272},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SilvaBBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BonchiGMM10,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale and
Ugo Montanari},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Saturated LTSs for Adhesive Rewriting Systems},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {123--138},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_9},
doi = {10.1007/978-3-642-15928-2\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BonchiGMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BonchiBCG09,
author = {Filippo Bonchi and
Antonio Brogi and
Sara Corfini and
Fabio Gadducci},
title = {A Net-based Approach to Web Services Publication and Replaceability},
journal = {Fundam. Informaticae},
volume = {94},
number = {3-4},
pages = {305--330},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-133},
doi = {10.3233/FI-2009-133},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BonchiBCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonchiGK09,
author = {Filippo Bonchi and
Fabio Gadducci and
Barbara K{\"{o}}nig},
title = {Synthesising {CCS} bisimulation using graph rewriting},
journal = {Inf. Comput.},
volume = {207},
number = {1},
pages = {14--40},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.10.005},
doi = {10.1016/J.IC.2008.10.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BonchiGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonchiM09,
author = {Filippo Bonchi and
Ugo Montanari},
title = {Reactive systems, (semi-)saturated semantics and coalgebras on presheaves},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4044--4066},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.010},
doi = {10.1016/J.TCS.2009.06.010},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonchiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonchiM09,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Coalgebraic Symbolic Semantics},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {173--190},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_13},
doi = {10.1007/978-3-642-03741-2\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BonchiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaldanBG09,
author = {Paolo Baldan and
Filippo Bonchi and
Fabio Gadducci},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Encoding Asynchronous Interactions Using Open Petri Nets},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {99--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_8},
doi = {10.1007/978-3-642-04081-8\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaldanBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiBRS09,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten and
Alexandra Silva},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Deriving Syntax and Axioms for Quantitative Regular Behaviours},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {146--162},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_11},
doi = {10.1007/978-3-642-04081-8\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiBRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BonchiM09,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Giuseppe Castagna},
title = {Minimization Algorithm for Symbolic Bisimilarity},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {267--284},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_20},
doi = {10.1007/978-3-642-00590-9\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BonchiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiGM09,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Luca de Alfaro},
title = {Reactive Systems, Barbed Semantics, and the Mobile Ambients},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {272--287},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_20},
doi = {10.1007/978-3-642-00596-1\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonchiGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2869,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {On Barbs and Labels in Reactive Systems},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {46--61},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.4},
doi = {10.4204/EPTCS.18.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ice/2008,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/3},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ice/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-0759,
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Emilio Tuosto},
title = {Proceedings 2nd Interaction and Concurrency Experience: Structured
Interactions, {ICE} 2009, Bologna, Italy, 31st August 2009},
series = {{EPTCS}},
volume = {12},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.12},
doi = {10.4204/EPTCS.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-0759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Bonchi08,
author = {Filippo Bonchi},
title = {Abstract Semantics by Observable Contexts},
school = {University of Pisa, Italy},
year = {2008},
url = {https://etd.adm.unipi.it/theses/available/etd-05302008-112836/},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Bonchi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BonchiBCG08,
author = {Filippo Bonchi and
Antonio Brogi and
Sara Corfini and
Fabio Gadducci},
title = {On the Use of Behavioural Equivalences for Web Services' Development},
journal = {Fundam. Informaticae},
volume = {89},
number = {4},
pages = {479--510},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BonchiBCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BonchiBCG08,
author = {Filippo Bonchi and
Antonio Brogi and
Sara Corfini and
Fabio Gadducci},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Compositional Specification of Web Services Via Behavioural Equivalence
of Nets: {A} Case Study},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {52--71},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_8},
doi = {10.1007/978-3-540-68746-7\_8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BonchiBCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonchiBCG08,
author = {Filippo Bonchi and
Maria Grazia Buscemi and
Vincenzo Ciancia and
Fabio Gadducci},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {A Category of Explicit Fusions},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {544--562},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_34},
doi = {10.1007/978-3-540-68679-8\_34},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BonchiBCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiM08,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Roberto M. Amadio},
title = {Symbolic Semantics Revisited},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {395--412},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_28},
doi = {10.1007/978-3-540-78499-9\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonchiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BonchiGH08,
author = {Filippo Bonchi and
Fabio Gadducci and
Tobias Heindel},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Parallel and Sequential Independence for Borrowed Contexts},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {226--241},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_16},
doi = {10.1007/978-3-540-87405-8\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BonchiGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Bonchi08,
author = {Filippo Bonchi},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Abstract Semantics by Observable Contexts},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {478--480},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_38},
doi = {10.1007/978-3-540-87405-8\_38},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Bonchi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiGSTT09,
author = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Preface},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.035},
doi = {10.1016/J.ENTCS.2009.06.035},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiGSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiGM09,
author = {Filippo Bonchi and
Fabio Gadducci and
Giacoma Valentina Monreale},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical
Encoding)},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
{EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {1},
pages = {73--98},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.014},
doi = {10.1016/J.ENTCS.2009.06.014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BonchiGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiM07,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Coalgebraic Models for Reactive Systems},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {364--379},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_25},
doi = {10.1007/978-3-540-74407-8\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BonchiBCG07,
author = {Filippo Bonchi and
Antonio Brogi and
Sara Corfini and
Fabio Gadducci},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Behavioural Congruence for Web Services},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {240--256},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_16},
doi = {10.1007/978-3-540-75698-9\_16},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BonchiBCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiM08,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {G-Reactive Systems as Coalgebras},
booktitle = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
pages = {3--17},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.040},
doi = {10.1016/J.ENTCS.2008.10.040},
timestamp = {Mon, 13 Feb 2023 13:35:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BonchiGK06,
author = {Filippo Bonchi and
Fabio Gadducci and
Barbara K{\"{o}}nig},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Process Bisimulation \emph{Via} a Graphical Encoding},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {168--183},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_13},
doi = {10.1007/11841883\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BonchiGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiKM06,
author = {Filippo Bonchi and
Barbara K{\"{o}}nig and
Ugo Montanari},
title = {Saturated Semantics for Reactive Systems},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {69--80},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.46},
doi = {10.1109/LICS.2006.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonchiKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiH07,
author = {Filippo Bonchi and
Tobias Heindel},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Adhesive {DPO} Parallelism for Monic Matches},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {51--61},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.016},
doi = {10.1016/J.ENTCS.2007.04.016},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonchiaM08,
author = {Filippo Bonchi and
Ugo Montanari},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {A Coalgebraic Theory of Reactive Systems},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {201--215},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.012},
doi = {10.1016/J.ENTCS.2009.02.012},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonchiaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-27 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
