Search dblp for Publications

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

 download as .bib file

@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/cmcs/Brengos14,
  author       = {Tomasz Brengos},
  editor       = {Marcello M. Bonsangue},
  title        = {On Coalgebras with Internal Moves},
  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        = {75--97},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_5},
  doi          = {10.1007/978-3-662-44124-4\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/Brengos14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/EnqvistS14,
  author       = {Sebastian Enqvist and
                  Joshua Sack},
  editor       = {Marcello M. Bonsangue},
  title        = {A Coalgebraic View of Characteristic Formulas in Equational Modal
                  Fixed Point Logics},
  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        = {98--117},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_6},
  doi          = {10.1007/978-3-662-44124-4\_6},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/EnqvistS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/GummZ14,
  author       = {H. Peter Gumm and
                  Mehdi Zarrad},
  editor       = {Marcello M. Bonsangue},
  title        = {Coalgebraic Simulations and Congruences},
  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        = {118--134},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_7},
  doi          = {10.1007/978-3-662-44124-4\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/GummZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Hasuo14,
  author       = {Ichiro Hasuo},
  editor       = {Marcello M. Bonsangue},
  title        = {Generic Weakest Precondition Semantics from Monads Enriched with Order},
  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        = {10--32},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_2},
  doi          = {10.1007/978-3-662-44124-4\_2},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Hasuo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Jacobs14,
  author       = {Bart Jacobs},
  editor       = {Marcello M. Bonsangue},
  title        = {Dijkstra Monads in Monadic Computation},
  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        = {135--150},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_8},
  doi          = {10.1007/978-3-662-44124-4\_8},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Jacobs14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Kahl14,
  author       = {Wolfram Kahl},
  editor       = {Marcello M. Bonsangue},
  title        = {Categories of Coalgebras with Monadic Homomorphisms},
  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        = {151--167},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_9},
  doi          = {10.1007/978-3-662-44124-4\_9},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Kahl14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/KerstanKW14,
  author       = {Henning Kerstan and
                  Barbara K{\"{o}}nig and
                  Bram Westerbaan},
  editor       = {Marcello M. Bonsangue},
  title        = {Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions},
  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        = {168--188},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_10},
  doi          = {10.1007/978-3-662-44124-4\_10},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/KerstanKW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Lenisa14,
  author       = {Marina Lenisa},
  editor       = {Marcello M. Bonsangue},
  title        = {Coalgebraic Multigames},
  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        = {33--49},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_3},
  doi          = {10.1007/978-3-662-44124-4\_3},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Lenisa14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/MyersAMU14,
  author       = {Robert S. R. Myers and
                  Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Henning Urbat},
  editor       = {Marcello M. Bonsangue},
  title        = {Canonical Nondeterministic Automata},
  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        = {189--210},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_11},
  doi          = {10.1007/978-3-662-44124-4\_11},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/MyersAMU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Sangiorgi14,
  author       = {Davide Sangiorgi},
  editor       = {Marcello M. Bonsangue},
  title        = {Higher-Order Languages: Bisimulation and Coinductive Equivalences
                  (Extended Abstract)},
  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        = {3--9},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_1},
  doi          = {10.1007/978-3-662-44124-4\_1},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Sangiorgi14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Trancon-y-Widemann14,
  author       = {Baltasar Tranc{\'{o}}n y Widemann},
  editor       = {Marcello M. Bonsangue},
  title        = {Towards Systematic Construction of Temporal Logics for Dynamical Systems
                  via Coalgebra},
  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        = {211--224},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_12},
  doi          = {10.1007/978-3-662-44124-4\_12},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Trancon-y-Widemann14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmcs/Trancon-y-WidemannH14,
  author       = {Baltasar Tranc{\'{o}}n y Widemann and
                  Michael Hauhs},
  editor       = {Marcello M. Bonsangue},
  title        = {Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical
                  System Models},
  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        = {225--244},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4\_13},
  doi          = {10.1007/978-3-662-44124-4\_13},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/Trancon-y-WidemannH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmcs/2014,
  editor       = {Marcello M. Bonsangue},
  title        = {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},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44124-4},
  doi          = {10.1007/978-3-662-44124-4},
  isbn         = {978-3-662-44123-7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmcs/2014.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.