Search dblp for Publications

export results for "toc:db/conf/cmcs/cmcs2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cmcs/AbramskyJP22,
  author       = {Samson Abramsky and
                  Tomas Jakl and
                  Thomas Paine},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Discrete Density Comonads and Graph Parameters},
  booktitle    = {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},
  pages        = {23--44},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_2},
  doi          = {10.1007/978-3-031-10736-8\_2},
  timestamp    = {Tue, 23 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/AbramskyJP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/BeoharKKM22,
  author       = {Harsh Beohar and
                  Barbara K{\"{o}}nig and
                  Sebastian K{\"{u}}pper and
                  Christina Mika{-}Michalski},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Predicate and Relation Liftings for Coalgebras with Side Effects:
                  An Application in Coalgebraic Modal Logic},
  booktitle    = {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},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_1},
  doi          = {10.1007/978-3-031-10736-8\_1},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/BeoharKKM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/FrankMU22,
  author       = {Florian Frank and
                  Stefan Milius and
                  Henning Urbat},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Coalgebraic Semantics for Nominal Automata},
  booktitle    = {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},
  pages        = {45--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_3},
  doi          = {10.1007/978-3-031-10736-8\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/FrankMU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/GummT22,
  author       = {H. Peter Gumm and
                  Mona Taheri},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Saturated Kripke Structures as Vietoris Coalgebras},
  booktitle    = {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},
  pages        = {88--109},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_5},
  doi          = {10.1007/978-3-031-10736-8\_5},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/GummT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/HeerdtKRSS22,
  author       = {Gerco van Heerdt and
                  Tobias Kapp{\'{e}} and
                  Jurriaan Rot and
                  Matteo Sammartino and
                  Alexandra Silva},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {A Categorical Framework for Learning Generalised Tree Automata},
  booktitle    = {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},
  pages        = {67--87},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_4},
  doi          = {10.1007/978-3-031-10736-8\_4},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/HeerdtKRSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Jacobs22,
  author       = {Bart Jacobs},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Stick Breaking, in Coalgebra and Probability},
  booktitle    = {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},
  pages        = {176--193},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_9},
  doi          = {10.1007/978-3-031-10736-8\_9},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Jacobs22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/MossN22,
  author       = {Lawrence S. Moss and
                  Victoria Noquez},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Corecursive Algebras in Nature},
  booktitle    = {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},
  pages        = {155--175},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_8},
  doi          = {10.1007/978-3-031-10736-8\_8},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/MossN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/PousRT22,
  author       = {Damien Pous and
                  Jurriaan Rot and
                  Ruben Turkenburg},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Corecursion Up-to via Causal Transformations},
  booktitle    = {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},
  pages        = {133--154},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_7},
  doi          = {10.1007/978-3-031-10736-8\_7},
  timestamp    = {Mon, 08 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/PousRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/RossetHE22,
  author       = {Alo{\"{\i}}s Rosset and
                  Helle Hvid Hansen and
                  J{\"{o}}rg Endrullis},
  editor       = {Helle Hvid Hansen and
                  Fabio Zanasi},
  title        = {Algebraic Presentation of Semifree Monads},
  booktitle    = {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},
  pages        = {110--132},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10736-8\_6},
  doi          = {10.1007/978-3-031-10736-8\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/RossetHE22.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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.