Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cmcs/0001S18,
  author       = {Ulrich Berger and
                  Anton Setzer},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Undecidability of Equality for Codata Types},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {34--55},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_4},
  doi          = {10.1007/978-3-030-00389-0\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/0001S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/AbramskyS18,
  author       = {Samson Abramsky and
                  Nihil Shah},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Relating Structure and Power: Comonadic Semantics for Computational
                  Resources - Extended Abstract},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_1},
  doi          = {10.1007/978-3-030-00389-0\_1},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/AbramskyS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/BerardiT18,
  author       = {Stefano Berardi and
                  Makoto Tatsuta},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between
                  Inductive Definitions and Cyclic Proofs},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {13--33},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_3},
  doi          = {10.1007/978-3-030-00389-0\_3},
  timestamp    = {Thu, 20 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/BerardiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/DorschMSW18,
  author       = {Ulrich Dorsch and
                  Stefan Milius and
                  Lutz Schr{\"{o}}der and
                  Thorsten Wi{\ss}mann},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Predicate Liftings and Functor Presentations in Coalgebraic Expression
                  Languages},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {56--77},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_5},
  doi          = {10.1007/978-3-030-00389-0\_5},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/DorschMSW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/FeysHM18,
  author       = {Frank M. V. Feys and
                  Helle Hvid Hansen and
                  Lawrence S. Moss},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Long-Term Values in Markov Decision Processes, (Co)Algebraically},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {78--99},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_6},
  doi          = {10.1007/978-3-030-00389-0\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/FeysHM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/GoyR18,
  author       = {Alexandre Goy and
                  Jurriaan Rot},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {(In)finite Trace Equivalence of Probabilistic Transition Systems},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {100--121},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_7},
  doi          = {10.1007/978-3-030-00389-0\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/GoyR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/JacobsLR18,
  author       = {Bart Jacobs and
                  Paul Blain Levy and
                  Jurriaan Rot},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Steps and Traces},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {122--143},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_8},
  doi          = {10.1007/978-3-030-00389-0\_8},
  timestamp    = {Wed, 29 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/JacobsLR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Kupke18,
  author       = {Clemens Kupke},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Coalgebraic Logics {\&} Duality},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {6--12},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_2},
  doi          = {10.1007/978-3-030-00389-0\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Kupke18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/MiliusAU18,
  author       = {Stefan Milius and
                  Jir{\'{\i}} Ad{\'{a}}mek and
                  Henning Urbat},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {On Algebras with Effectful Iteration},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {144--166},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_9},
  doi          = {10.1007/978-3-030-00389-0\_9},
  timestamp    = {Thu, 20 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/MiliusAU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/PavlovicY18,
  author       = {Dusko Pavlovic and
                  Muzamil Yahia},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Monoidal Computer {III:} {A} Coalgebraic View of Computability and
                  Complexity (Extended Abstract)},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {167--189},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_10},
  doi          = {10.1007/978-3-030-00389-0\_10},
  timestamp    = {Thu, 20 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/PavlovicY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/SprungerKDH18,
  author       = {David Sprunger and
                  Shin{-}ya Katsumata and
                  J{\'{e}}r{\'{e}}my Dubut and
                  Ichiro Hasuo},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Fibrational Bisimulations and Quantitative Reasoning},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {190--213},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_11},
  doi          = {10.1007/978-3-030-00389-0\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/SprungerKDH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/UrabeH18,
  author       = {Natsuki Urabe and
                  Ichiro Hasuo},
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Categorical B{\"{u}}chi and Parity Conditions via Alternating
                  Fixed Points of Functors},
  booktitle    = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  pages        = {214--234},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0\_12},
  doi          = {10.1007/978-3-030-00389-0\_12},
  timestamp    = {Thu, 20 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/UrabeH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmcs/2018,
  editor       = {Corina C{\^{\i}}rstea},
  title        = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
                  Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
                  Greece, April 14-15, 2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00389-0},
  doi          = {10.1007/978-3-030-00389-0},
  isbn         = {978-3-030-00388-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/2018.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.