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    = {Sun, 06 Oct 2024 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}
}