Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cmcs/0001MS20,
  author       = {Barbara K{\"{o}}nig and
                  Christina Mika{-}Michalski and
                  Lutz Schr{\"{o}}der},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing
                  Formulas},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {133--154},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_8},
  doi          = {10.1007/978-3-030-57201-3\_8},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/0001MS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/0001NDP20,
  author       = {Stelios Tsampas and
                  Andreas Nuyts and
                  Dominique Devriese and
                  Frank Piessens},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {A Categorical Approach to Secure Compilation},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {155--179},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_9},
  doi          = {10.1007/978-3-030-57201-3\_9},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/0001NDP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/0001S20,
  author       = {Bart Jacobs and
                  Sam Staton},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {De Finetti's Construction as a Categorical Limit},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {90--111},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_6},
  doi          = {10.1007/978-3-030-57201-3\_6},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/0001S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Adamek20,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Approximate Coalgebra Homomorphisms and Approximate Solutions},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {11--31},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_2},
  doi          = {10.1007/978-3-030-57201-3\_2},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Adamek20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/BezhanishviliEG20,
  author       = {Nick Bezhanishvili and
                  Sebastian Enqvist and
                  Jim de Groot},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Duality for Instantial Neighbourhood Logic via Coalgebra},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {32--54},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_3},
  doi          = {10.1007/978-3-030-57201-3\_3},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/BezhanishviliEG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Fijalkow20,
  author       = {Nathana{\"{e}}l Fijalkow},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {The Theory of Universal Graphs for Games: Past and Future},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_1},
  doi          = {10.1007/978-3-030-57201-3\_1},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Fijalkow20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Gumm20,
  author       = {H. Peter Gumm},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Free-Algebra Functors from a Coalgebraic Perspective},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {55--67},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_4},
  doi          = {10.1007/978-3-030-57201-3\_4},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Gumm20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/HeerdtS020,
  author       = {Gerco van Heerdt and
                  Matteo Sammartino and
                  Alexandra Silva},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Learning Automata with Side-Effects},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {68--89},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_5},
  doi          = {10.1007/978-3-030-57201-3\_5},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/HeerdtS020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Komorida20,
  author       = {Yuichi Komorida},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Injective Objects and Fibered Codensity Liftings},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {112--132},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_7},
  doi          = {10.1007/978-3-030-57201-3\_7},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Komorida20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Zamdzhiev20,
  author       = {Vladimir Zamdzhiev},
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Semantics for First-Order Affine Inductive Data Types via Slice Categories},
  booktitle    = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  pages        = {180--200},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3\_10},
  doi          = {10.1007/978-3-030-57201-3\_10},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Zamdzhiev20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmcs/2020,
  editor       = {Daniela Petrisan and
                  Jurriaan Rot},
  title        = {Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland,
                  April 25-26, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12094},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57201-3},
  doi          = {10.1007/978-3-030-57201-3},
  isbn         = {978-3-030-57200-6},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/2020.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.