Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BonchiM0Z15,
  author       = {Filippo Bonchi and
                  Stefan Milius and
                  Alexandra Silva and
                  Fabio Zanasi},
  title        = {Killing epsilons with a dagger: {A} coalgebraic study of systems with
                  algebraic label structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {102--126},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.024},
  doi          = {10.1016/J.TCS.2015.03.024},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BonchiM0Z15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bonsangue15,
  author       = {Marcello M. Bonsangue},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.07.039},
  doi          = {10.1016/J.TCS.2015.07.039},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bonsangue15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hasuo15,
  author       = {Ichiro Hasuo},
  title        = {Generic weakest precondition semantics from monads enriched with order},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {2--29},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.047},
  doi          = {10.1016/J.TCS.2015.03.047},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Hasuo15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jacobs15,
  author       = {Bart Jacobs},
  title        = {Dijkstra and Hoare monads in monadic computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {30--45},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.020},
  doi          = {10.1016/J.TCS.2015.03.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jacobs15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lenisa15,
  author       = {Marina Lenisa},
  title        = {Multigames and strategies, coalgebraically},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {46--62},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.07.020},
  doi          = {10.1016/J.TCS.2015.07.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lenisa15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MyersAMU15,
  author       = {Robert S. R. Myers and
                  Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Henning Urbat},
  title        = {Coalgebraic constructions of canonical nondeterministic automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {81--101},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.035},
  doi          = {10.1016/J.TCS.2015.03.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MyersAMU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WidemannH15,
  author       = {Baltasar Tranc{\'{o}}n y Widemann and
                  Michael Hauhs},
  title        = {Algebraic-coalgebraic recursion theory of history-dependent dynamical
                  system models},
  journal      = {Theor. Comput. Sci.},
  volume       = {604},
  pages        = {63--80},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.06.058},
  doi          = {10.1016/J.TCS.2015.06.058},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/WidemannH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}