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}
}
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.