Search dblp for Publications

export results for "toc:db/journals/entcs/entcs11.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/CaspiP98,
  author       = {Paul Caspi and
                  Marc Pouzet},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {A Co-iterative Characterization of Synchronous Stream Functions},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {1--21},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00050-7},
  doi          = {10.1016/S1571-0661(04)00050-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaspiP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CorradiniGH98,
  author       = {Andrea Corradini and
                  Martin Gro{\ss}e{-}Rhode and
                  Reiko Heckel},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Structured Transition Systems as Lax Coalgebras},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {22--41},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00051-9},
  doi          = {10.1016/S1571-0661(04)00051-9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CorradiniGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GummS98,
  author       = {H. Peter Gumm and
                  Tobias Schr{\"{o}}der},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Covarieties and Complete Covarieties},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {42--55},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00052-0},
  doi          = {10.1016/S1571-0661(04)00052-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GummS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jacobs98,
  author       = {Bart Jacobs},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Coalgebraic Reasoning about Classes in Object-Oriented Languages},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {231--242},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00061-1},
  doi          = {10.1016/S1571-0661(04)00061-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jacobs98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JacobsMRR98,
  author       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Preface},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {259},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80564-X},
  doi          = {10.1016/S1571-0661(05)80564-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JacobsMRR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kurz98,
  author       = {Alexander Kurz},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Specifying Coalgebras with Modal Logic},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {56--70},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00053-2},
  doi          = {10.1016/S1571-0661(04)00053-2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kurz98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Monteiro98,
  author       = {Lu{\'{\i}}s Monteiro},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Semantic domains based on sets with families of equivalences},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {71--104},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00054-4},
  doi          = {10.1016/S1571-0661(04)00054-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Monteiro98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pardo98,
  author       = {Alberto Pardo},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Monadic Corecursion - Definition, Fusion Laws, and Applications},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {105--139},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00055-6},
  doi          = {10.1016/S1571-0661(04)00055-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pardo98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pavlovic98,
  author       = {Dusko Pavlovic},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Guarded induction on final coalgebras},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {140--157},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00056-8},
  doi          = {10.1016/S1571-0661(04)00056-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pavlovic98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PowerW98,
  author       = {John Power and
                  Hiroshi Watanabe},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {An axiomatics for categories of coalgebras},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {158--175},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00057-X},
  doi          = {10.1016/S1571-0661(04)00057-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PowerW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reichel98,
  author       = {Horst Reichel},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Dialgebraic Logics},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {243--251},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00062-3},
  doi          = {10.1016/S1571-0661(04)00062-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reichel98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rosu98,
  author       = {Grigore Rosu},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {176--193},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00058-1},
  doi          = {10.1016/S1571-0661(04)00058-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rosu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rutten98,
  author       = {Jan J. M. M. Rutten},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Relators and Metric Bisimulations},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {252--258},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00063-5},
  doi          = {10.1016/S1571-0661(04)00063-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rutten98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schamschurko98,
  author       = {Dmitri Schamschurko},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Modeling Process Calculi with {PVS}},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {194--211},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00059-3},
  doi          = {10.1016/S1571-0661(04)00059-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schamschurko98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Worrell98,
  author       = {James Worrell},
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Toposes of Coalgebras and Hidden Algebras},
  booktitle    = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  pages        = {212--230},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00060-X},
  doi          = {10.1016/S1571-0661(04)00060-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Worrell98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmcs/1998,
  editor       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
                  1998, Lisbon, Portugal, March 28-29, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {11},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/11/suppl/C},
  timestamp    = {Thu, 16 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/1998.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.