Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BeoharK19,
  author       = {Harsh Beohar and
                  Sebastian K{\"{u}}pper},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Bisimulation Maps in Presheaf Categories},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {5--24},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.002},
  doi          = {10.1016/J.ENTCS.2019.09.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BeoharK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BiernackiLP19,
  author       = {Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet and
                  Piotr Polesiuk},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Diacritical Companions},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {25--43},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.003},
  doi          = {10.1016/J.ENTCS.2019.09.003},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BiernackiLP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChenCP19,
  author       = {Linan Chen and
                  Florence Clerc and
                  Prakash Panangaden},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Bisimulation for Feller-Dynkin Processes},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {45--63},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.004},
  doi          = {10.1016/J.ENTCS.2019.09.004},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ChenCP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Chouquet19,
  author       = {Jules Chouquet},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Taylor Expansion, Finiteness and Strategies},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {65--85},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.005},
  doi          = {10.1016/J.ENTCS.2019.09.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Chouquet19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CohenFT19,
  author       = {Liron Cohen and
                  Sofia Abreu Faro and
                  Ross Tate},
  editor       = {Barbara K{\"{o}}nig},
  title        = {The Effects of Effects on Constructivism},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {87--120},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.006},
  doi          = {10.1016/J.ENTCS.2019.09.006},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CohenFT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HermidaRR19,
  author       = {Claudio Hermida and
                  Uday S. Reddy and
                  Edmund P. Robinson},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Deriving Logical Relations from Interpretations of Predicate Logic},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {241--259},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.013},
  doi          = {10.1016/J.ENTCS.2019.09.013},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HermidaRR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jacobs19,
  author       = {Bart Jacobs},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Learning along a Channel: the Expectation part of Expectation-Maximisation},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {143--160},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.008},
  doi          = {10.1016/J.ENTCS.2019.09.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Jacobs19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JacobsS19,
  author       = {Bart Jacobs and
                  David Sprunger},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Neural Nets via Forward State Transformation and Backward Loss Transformation},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {161--177},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.009},
  doi          = {10.1016/J.ENTCS.2019.09.009},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/JacobsS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kaarsgaard19,
  author       = {Robin Kaarsgaard},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Condition/Decision Duality and the Internal Logic of Extensive Restriction
                  Categories},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {179--202},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.010},
  doi          = {10.1016/J.ENTCS.2019.09.010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Kaarsgaard19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Konig19,
  author       = {Barbara K{\"{o}}nig},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Preface},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.001},
  doi          = {10.1016/J.ENTCS.2019.09.001},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Konig19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LagoG19,
  author       = {Ugo Dal Lago and
                  Francesco Gavazzo},
  editor       = {Barbara K{\"{o}}nig},
  title        = {On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {121--141},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.007},
  doi          = {10.1016/J.ENTCS.2019.09.007},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LagoG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Laird19,
  author       = {Jim Laird},
  editor       = {Barbara K{\"{o}}nig},
  title        = {From Global to Local State, Coalgebraically and Compositionally},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {203--222},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.011},
  doi          = {10.1016/J.ENTCS.2019.09.011},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Laird19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/North19,
  author       = {Paige Randall North},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Towards a Directed Homotopy Type Theory},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {223--239},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.012},
  doi          = {10.1016/J.ENTCS.2019.09.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/North19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Voorneveld19,
  author       = {Niels F. W. Voorneveld},
  editor       = {Barbara K{\"{o}}nig},
  title        = {Quantitative Logics for Equivalence of Effectful Programs},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {281--301},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.015},
  doi          = {10.1016/J.ENTCS.2019.09.015},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Voorneveld19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WangHR19,
  author       = {Di Wang and
                  Jan Hoffmann and
                  Thomas W. Reps},
  editor       = {Barbara K{\"{o}}nig},
  title        = {A Denotational Semantics for Low-Level Probabilistic Programs with
                  Nondeterminism},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {303--324},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.016},
  doi          = {10.1016/J.ENTCS.2019.09.016},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WangHR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WeideG19,
  author       = {Niels van der Weide and
                  Herman Geuvers},
  editor       = {Barbara K{\"{o}}nig},
  title        = {The Construction of Set-Truncated Higher Inductive Types},
  booktitle    = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  pages        = {261--280},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2019.09.014},
  doi          = {10.1016/J.ENTCS.2019.09.014},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WeideG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mfps/2019,
  editor       = {Barbara K{\"{o}}nig},
  title        = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {347},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/347/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/2019.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.