Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fabio Zanasi
@article{DBLP:journals/corr/abs-2401-05842,
author = {Tao Gu and
Jialu Bao and
Justin Hsu and
Alexandra Silva and
Fabio Zanasi},
title = {A Categorical Approach to {DIBI} Models},
journal = {CoRR},
volume = {abs/2401.05842},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.05842},
doi = {10.48550/ARXIV.2401.05842},
eprinttype = {arXiv},
eprint = {2401.05842},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-05842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02284,
author = {Dario Stein and
Fabio Zanasi and
Richard Samuelson and
Robin Piedeleu},
title = {Graphical Quadratic Algebra},
journal = {CoRR},
volume = {abs/2403.02284},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02284},
doi = {10.48550/ARXIV.2403.02284},
eprinttype = {arXiv},
eprint = {2403.02284},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/WilsonZ23,
author = {Paul W. Wilson and
Fabio Zanasi},
title = {An axiomatic approach to differentiation of polynomial circuits},
journal = {J. Log. Algebraic Methods Program.},
volume = {135},
pages = {100892},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100892},
doi = {10.1016/J.JLAMP.2023.100892},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/WilsonZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PiedeleuZ23,
author = {Robin Piedeleu and
Fabio Zanasi},
title = {A Finite Axiomatisation of Finite-State Automata Using String Diagrams},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:13)2023},
doi = {10.46298/LMCS-19(1:13)2023},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PiedeleuZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MilosavljevicPZ23,
author = {Aleksandar Milosavljevic and
Robin Piedeleu and
Fabio Zanasi},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {String Diagram Rewriting Modulo Commutative (Co)Monoid Structure},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.9},
doi = {10.4230/LIPICS.CALCO.2023.9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/MilosavljevicPZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Alvarez-Picallo23,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
editor = {Bartek Klin and
Elaine Pimentel},
title = {Functorial String Diagrams for Reverse-Mode Automatic Differentiation},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {6:1--6:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.6},
doi = {10.4230/LIPICS.CSL.2023.6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Alvarez-Picallo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0002GZ23,
author = {Paul W. Wilson and
Dan R. Ghica and
Fabio Zanasi},
editor = {Bartek Klin and
Elaine Pimentel},
title = {String Diagrams for Non-Strict Monoidal Categories},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {37:1--37:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.37},
doi = {10.4230/LIPICS.CSL.2023.37},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0002GZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GaleLZ23,
author = {Ella Gale and
Leo Lobski and
Fabio Zanasi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {A Categorical Approach to Synthetic Chemistry},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {276--294},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_17},
doi = {10.1007/978-3-031-47963-2\_17},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GaleLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01041,
author = {Paul W. Wilson and
Fabio Zanasi},
title = {Data-Parallel Algorithms for String Diagrams},
journal = {CoRR},
volume = {abs/2305.01041},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01041},
doi = {10.48550/ARXIV.2305.01041},
eprinttype = {arXiv},
eprint = {2305.01041},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08768,
author = {Robin Piedeleu and
Fabio Zanasi},
title = {An Introduction to String Diagrams for Computer Scientists},
journal = {CoRR},
volume = {abs/2305.08768},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08768},
doi = {10.48550/ARXIV.2305.08768},
eprinttype = {arXiv},
eprint = {2305.08768},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18945,
author = {Dan R. Ghica and
Fabio Zanasi},
title = {Hierarchical string diagrams and applications},
journal = {CoRR},
volume = {abs/2305.18945},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18945},
doi = {10.48550/ARXIV.2305.18945},
eprinttype = {arXiv},
eprint = {2305.18945},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04085,
author = {Ella Gale and
Leo Lobski and
Fabio Zanasi},
title = {A Categorical Model for Retrosynthetic Reaction Analysis},
journal = {CoRR},
volume = {abs/2311.04085},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04085},
doi = {10.48550/ARXIV.2311.04085},
eprinttype = {arXiv},
eprint = {2311.04085},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CarreiroFVZ22,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {Model theory of monadic predicate logic with the infinity quantifier},
journal = {Arch. Math. Log.},
volume = {61},
number = {3-4},
pages = {465--502},
year = {2022},
url = {https://doi.org/10.1007/s00153-021-00797-0},
doi = {10.1007/S00153-021-00797-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CarreiroFVZ22.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/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/siglog/HansenZ22,
author = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Report on coalgebraic methods in computer science 2022},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {61--62},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559742},
doi = {10.1145/3559736.3559742},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/HansenZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CruttwellGGWZ22,
author = {Geoffrey S. H. Cruttwell and
Bruno Gavranovic and
Neil Ghani and
Paul W. Wilson and
Fabio Zanasi},
editor = {Ilya Sergey},
title = {Categorical Foundations of Gradient-Based Learning},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {1--28},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_1},
doi = {10.1007/978-3-030-99336-8\_1},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CruttwellGGWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Alvarez-Picallo22,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
editor = {Amy P. Felty},
title = {Rewriting for Monoidal Closed Categories},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {29:1--29:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.29},
doi = {10.4230/LIPICS.FSCD.2022.29},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fscd/Alvarez-Picallo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/WilsonZ22,
author = {Paul W. Wilson and
Fabio Zanasi},
editor = {Nicolas Behr and
Daniel Str{\"{u}}ber},
title = {Categories of Differentiable Polynomial Circuits for Machine Learning},
booktitle = {Graph Transformation - 15th International Conference, {ICGT} 2022,
Held as Part of {STAF} 2022, Nantes, France, July 7-8, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13349},
pages = {77--93},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09843-7\_5},
doi = {10.1007/978-3-031-09843-7\_5},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/WilsonZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-03929,
author = {Leo Lobski and
Fabio Zanasi},
editor = {Jade Master and
Martha Lewis},
title = {String Diagrams for Layered Explanations},
booktitle = {Proceedings Fifth International Conference on Applied Category Theory,
{ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
series = {{EPTCS}},
volume = {380},
pages = {362--382},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.380.21},
doi = {10.4204/EPTCS.380.21},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-03929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12629,
author = {Tao Gu and
Robin Piedeleu and
Fabio Zanasi},
editor = {Justin Hsu and
Christine Tasson},
title = {A Complete Diagrammatic Calculus for Boolean Satisfiability},
booktitle = {Proceedings of the 38th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} XXXXVIII, Cornell University, Ithaca,
NY, USA, with a satellite event at IRIF, Denis Diderot University,
Paris, France, and online, July 11-13, 2022},
series = {{EPTICS}},
volume = {1},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10481},
doi = {10.46298/ENTICS.10481},
timestamp = {Wed, 03 Jan 2024 15:36:34 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2022,
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8},
doi = {10.1007/978-3-031-10736-8},
isbn = {978-3-031-10735-1},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06430,
author = {Paul W. Wilson and
Fabio Zanasi},
title = {Categories of Differentiable Polynomial Circuits for Machine Learning},
journal = {CoRR},
volume = {abs/2203.06430},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06430},
doi = {10.48550/ARXIV.2203.06430},
eprinttype = {arXiv},
eprint = {2203.06430},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-04274,
author = {Aleksandar Milosavljevic and
Fabio Zanasi},
title = {String Diagram Rewriting Modulo Commutative Monoid Structure},
journal = {CoRR},
volume = {abs/2204.04274},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.04274},
doi = {10.48550/ARXIV.2204.04274},
eprinttype = {arXiv},
eprint = {2204.04274},
timestamp = {Wed, 13 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-04274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16484,
author = {Robin Piedeleu and
Fabio Zanasi},
title = {A Finite Axiomatisation of Finite-State Automata Using String Diagrams},
journal = {CoRR},
volume = {abs/2211.16484},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16484},
doi = {10.48550/ARXIV.2211.16484},
eprinttype = {arXiv},
eprint = {2211.16484},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16484.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/GuZ21,
author = {Tao Gu and
Fabio Zanasi},
title = {Coalgebraic Semantics for Probabilistic Logic Programming},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7365},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GuZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KappeBLSZ21,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Equivalence checking for weak bi-Kleene algebra},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:19)2021},
doi = {10.46298/LMCS-17(3:19)2021},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KappeBLSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/JacobsKZ21,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
title = {Causal inference via string diagram surgery: {A} diagrammatic approach
to interventions and counterfactuals},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {5},
pages = {553--574},
year = {2021},
url = {https://doi.org/10.1017/S096012952100027X},
doi = {10.1017/S096012952100027X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/JacobsKZ21.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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Bonchi0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GuZ21,
author = {Tao Gu and
Fabio Zanasi},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Functorial Semantics as a Unifying Perspective on Logic Programming},
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 = {17:1--17:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.17},
doi = {10.4230/LIPICS.CALCO.2021.17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/GuZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PiedeleuZ21,
author = {Robin Piedeleu and
Fabio Zanasi},
editor = {Stefan Kiefer and
Christine Tasson},
title = {A String Diagrammatic Axiomatisation of Finite-State Automata},
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 = {469--489},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_24},
doi = {10.1007/978-3-030-71995-1\_24},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/PiedeleuZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2105-09257,
author = {Paul W. Wilson and
Fabio Zanasi},
editor = {Kohei Kishida},
title = {The Cost of Compositionality: {A} High-Performance Implementation
of String Diagram Composition},
booktitle = {Proceedings of the Fourth International Conference on Applied Category
Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
series = {{EPTCS}},
volume = {372},
pages = {262--275},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.372.19},
doi = {10.4204/EPTCS.372.19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-09257.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}
}
@article{DBLP:journals/corr/abs-2103-01931,
author = {Geoff S. H. Cruttwell and
Bruno Gavranovic and
Neil Ghani and
Paul W. Wilson and
Fabio Zanasi},
title = {Categorical Foundations of Gradient-Based Learning},
journal = {CoRR},
volume = {abs/2103.01931},
year = {2021},
url = {https://arxiv.org/abs/2103.01931},
eprinttype = {arXiv},
eprint = {2103.01931},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-01931.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-2107-13433,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
title = {Functorial String Diagrams for Reverse-Mode Automatic Differentiation},
journal = {CoRR},
volume = {abs/2107.13433},
year = {2021},
url = {https://arxiv.org/abs/2107.13433},
eprinttype = {arXiv},
eprint = {2107.13433},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13433.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}
}
@article{DBLP:journals/tocl/CarreiroFVZ20,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {The Power of the Weak},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {2},
pages = {15:1--15:47},
year = {2020},
url = {https://doi.org/10.1145/3372392},
doi = {10.1145/3372392},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CarreiroFVZ20.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}
}
@inproceedings{DBLP:conf/fossacs/KappeB0WZ20,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness},
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 = {381--400},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_20},
doi = {10.1007/978-3-030-45231-5\_20},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KappeB0WZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/GuSZ20,
author = {Tao Gu and
Alexandra Silva and
Fabio Zanasi},
editor = {Patricia Johann},
title = {Hennessy-Milner Results for Probabilistic {PDL}},
booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2020, Online, October 1, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {352},
pages = {283--304},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.09.014},
doi = {10.1016/J.ENTCS.2020.09.014},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/GuSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2101-10488,
author = {Paul W. Wilson and
Fabio Zanasi},
editor = {David I. Spivak and
Jamie Vicary},
title = {Reverse Derivative Ascent: {A} Categorical Approach to Learning Boolean
Circuits},
booktitle = {Proceedings of the 3rd Annual International Applied Category Theory
Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
series = {{EPTCS}},
volume = {333},
pages = {247--260},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.333.17},
doi = {10.4204/EPTCS.333.17},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-10488.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-2002-09682,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
title = {Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness},
journal = {CoRR},
volume = {abs/2002.09682},
year = {2020},
url = {https://arxiv.org/abs/2002.09682},
eprinttype = {arXiv},
eprint = {2002.09682},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-14576,
author = {Robin Piedeleu and
Fabio Zanasi},
title = {A String Diagrammatic Axiomatisation of Finite-State Automata},
journal = {CoRR},
volume = {abs/2009.14576},
year = {2020},
url = {https://arxiv.org/abs/2009.14576},
eprinttype = {arXiv},
eprint = {2009.14576},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-14576.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-03916,
author = {Tao Gu and
Fabio Zanasi},
title = {Coalgebraic Semantics for Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/2012.03916},
year = {2020},
url = {https://arxiv.org/abs/2012.03916},
eprinttype = {arXiv},
eprint = {2012.03916},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KappeBLSZ19,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {On series-parallel pomset languages: Rationality, context-freeness
and automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {103},
pages = {130--153},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.12.001},
doi = {10.1016/J.JLAMP.2018.12.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KappeBLSZ19.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}
}
@inproceedings{DBLP:conf/calco/GuZ19,
author = {Tao Gu and
Fabio Zanasi},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {A Coalgebraic Perspective on Probabilistic Logic Programming},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {10:1--10:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.10},
doi = {10.4230/LIPICS.CALCO.2019.10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/GuZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/SobocinskiWZ19,
author = {Pawel Sobocinski and
Paul W. Wilson and
Fabio Zanasi},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {{CARTOGRAPHER:} {A} Tool for String Diagrammatic Reasoning (Tool Paper)},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {20:1--20:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.20},
doi = {10.4230/LIPICS.CALCO.2019.20},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/SobocinskiWZ19.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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiPSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBRSWZ19,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Jurriaan Rot and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Kleene Algebra with Observations},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {41:1--41:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.41},
doi = {10.4230/LIPICS.CONCUR.2019.41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KappeBRSWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JacobsKZ19,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Causal Inference by String Diagram Surgery},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {313--329},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_18},
doi = {10.1007/978-3-030-17127-8\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JacobsKZ19.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}
}
@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/FongZ18,
author = {Brendan Fong and
Fabio Zanasi},
title = {Universal Constructions for (Co)Relations: categories, monoidal categories,
and props},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:14)2018},
doi = {10.23638/LMCS-14(3:14)2018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FongZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KappeB0Z18,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Fabio Zanasi},
editor = {Amal Ahmed},
title = {Concurrent Kleene Algebra: Free Model and Completeness},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {856--882},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_30},
doi = {10.1007/978-3-319-89884-1\_30},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/KappeB0Z18.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}
}
@article{DBLP:journals/corr/abs-1804-01193,
author = {Bart Jacobs and
Fabio Zanasi},
title = {The Logical Essentials of Bayesian Reasoning},
journal = {CoRR},
volume = {abs/1804.01193},
year = {2018},
url = {http://arxiv.org/abs/1804.01193},
eprinttype = {arXiv},
eprint = {1804.01193},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03032,
author = {Fabio Zanasi},
title = {Interacting Hopf Algebras: the theory of linear systems},
journal = {CoRR},
volume = {abs/1805.03032},
year = {2018},
url = {http://arxiv.org/abs/1805.03032},
eprinttype = {arXiv},
eprint = {1805.03032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02102,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Equivalence checking for weak bi-Kleene algebra},
journal = {CoRR},
volume = {abs/1807.02102},
year = {2018},
url = {http://arxiv.org/abs/1807.02102},
eprinttype = {arXiv},
eprint = {1807.02102},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03262,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {Model Theory of Monadic Predicate Logic with the Infinity Quantifier},
journal = {CoRR},
volume = {abs/1809.03262},
year = {2018},
url = {http://arxiv.org/abs/1809.03262},
eprinttype = {arXiv},
eprint = {1809.03262},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03896,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {The Power of the Weak},
journal = {CoRR},
volume = {abs/1809.03896},
year = {2018},
url = {http://arxiv.org/abs/1809.03896},
eprinttype = {arXiv},
eprint = {1809.03896},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08338,
author = {Bart Jacobs and
Aleks Kissinger and
Fabio Zanasi},
title = {Causal Inference by String Diagram Surgery},
journal = {CoRR},
volume = {abs/1811.08338},
year = {2018},
url = {http://arxiv.org/abs/1811.08338},
eprinttype = {arXiv},
eprint = {1811.08338},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10401,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Jurriaan Rot and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
title = {Kleene Algebra with Observations},
journal = {CoRR},
volume = {abs/1811.10401},
year = {2018},
url = {http://arxiv.org/abs/1811.10401},
eprinttype = {arXiv},
eprint = {1811.10401},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03058,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {On Series-Parallel Pomset Languages: Rationality, Context-Freeness
and Automata},
journal = {CoRR},
volume = {abs/1812.03058},
year = {2018},
url = {http://arxiv.org/abs/1812.03058},
eprinttype = {arXiv},
eprint = {1812.03058},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03058.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}
}
@inproceedings{DBLP:conf/calco/FongZ17,
author = {Brendan Fong and
Fabio Zanasi},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {A Universal Construction for (Co)Relations},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.12},
doi = {10.4230/LIPICS.CALCO.2017.12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/FongZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBL0Z17,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {25:1--25:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.25},
doi = {10.4230/LIPICS.CONCUR.2017.25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KappeBL0Z17.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/mfcs/0001Z17,
author = {Bart Jacobs and
Fabio Zanasi},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Formal Semantics of Influence in Bayesian Reasoning},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.21},
doi = {10.4230/LIPICS.MFCS.2017.21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-09495,
author = {Fabio Zanasi},
editor = {Timo Kehrer and
Alice Miller},
title = {Rewriting in Free Hypegraph Categories},
booktitle = {Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala,
Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {263},
pages = {16--30},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.263.2},
doi = {10.4204/EPTCS.263.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-09495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FongZ17,
author = {Brendan Fong and
Fabio Zanasi},
title = {A Universal Construction for (Co)Relations},
journal = {CoRR},
volume = {abs/1703.08247},
year = {2017},
url = {http://arxiv.org/abs/1703.08247},
eprinttype = {arXiv},
eprint = {1703.08247},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FongZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KappeBL0Z17,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
journal = {CoRR},
volume = {abs/1704.07199},
year = {2017},
url = {http://arxiv.org/abs/1704.07199},
eprinttype = {arXiv},
eprint = {1704.07199},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KappeBL0Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02787,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Fabio Zanasi},
title = {Concurrent Kleene Algebra: Free Model and Completeness},
journal = {CoRR},
volume = {abs/1710.02787},
year = {2017},
url = {http://arxiv.org/abs/1710.02787},
eprinttype = {arXiv},
eprint = {1710.02787},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03894,
author = {Brendan Fong and
Fabio Zanasi},
title = {Universal Constructions for (Co)Relations: categories, monoidal categories,
and props},
journal = {CoRR},
volume = {abs/1710.03894},
year = {2017},
url = {http://arxiv.org/abs/1710.03894},
eprinttype = {arXiv},
eprint = {1710.03894},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03894.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:journals/entcs/JacobsZ16,
author = {Bart Jacobs and
Fabio Zanasi},
editor = {Lars Birkedal},
title = {A Predicate/State Transformer Semantics for Bayesian Learning},
booktitle = {The Thirty-second Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
USA, May 23-26, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {325},
pages = {185--200},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.09.038},
doi = {10.1016/J.ENTCS.2016.09.038},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/JacobsZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zanasi16,
author = {Fabio Zanasi},
editor = {Lars Birkedal},
title = {The Algebra of Partial Equivalence Relations},
booktitle = {The Thirty-second Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
USA, May 23-26, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {325},
pages = {313--333},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.09.046},
doi = {10.1016/J.ENTCS.2016.09.046},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Zanasi16.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}
}
@phdthesis{DBLP:phd/hal/Zanasi15,
author = {Fabio Zanasi},
title = {Interacting Hopf Algebras- the Theory of Linear Systems. (Interacting
Hopf Algebras - la th{\'{e}}orie des syst{\`{e}}mes lin{\'{e}}aires)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Lyon, France},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01218015},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Zanasi15.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/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/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}
}
@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/csl/CarreiroFVZ14,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Weak {MSO:} automata and expressiveness modulo bisimilarity},
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 = {27:1--27:27},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603101},
doi = {10.1145/2603088.2603101},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/CarreiroFVZ14.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}
}
@article{DBLP:journals/corr/CarreiroFVZ14,
author = {Facundo Carreiro and
Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {Weak {MSO:} Automata and Expressiveness Modulo Bisimilarity},
journal = {CoRR},
volume = {abs/1401.4374},
year = {2014},
url = {http://arxiv.org/abs/1401.4374},
eprinttype = {arXiv},
eprint = {1401.4374},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CarreiroFVZ14.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}
}
@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/lics/FacchiniVZ13,
author = {Alessandro Facchini and
Yde Venema and
Fabio Zanasi},
title = {A Characterization Theorem for the Alternation-Free Fragment of the
Modal {\(\mathrm{\mu}\)}-Calculus},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {478--487},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.54},
doi = {10.1109/LICS.2013.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FacchiniVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-03 20:28 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:
