Search dblp for Publications

export results for "toc:db/journals/eatcs/eatcs124.bht:"

 download as .bib file

@article{DBLP:journals/eatcs/BellTY18,
  author       = {Tim Bell and
                  Paul Tymann and
                  Amiram Yehudai},
  title        = {The Big Ideas in Computer Science for {K-12} Curricula},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/521},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/BellTY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BlassG18,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Who needs category theory?},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/522},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/BlassG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/DickersonGHK18,
  author       = {Thomas D. Dickerson and
                  Paul Gazzillo and
                  Maurice Herlihy and
                  Eric Koskinen},
  title        = {Adding Concurrency to Smart Contracts},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/527},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/DickersonGHK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EiterEPPS18,
  author       = {Thomas Eiter and
                  Javier Esparza and
                  Catuscia Palamidessi and
                  Gordon D. Plotkin and
                  Natarajan Shankar},
  title        = {Alonzo Church Award 2018 - Call for Nominations},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/524},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/EiterEPPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Iwama18,
  author       = {Kazuo Iwama},
  title        = {Letter from the Bulletin Editor},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/529},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Iwama18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/JonoskaPR18,
  author       = {Natasha Jonoska and
                  Gheorghe Paun and
                  Grzegorz Rozenberg},
  title        = {Obituary for Tom Head},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/523},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/JonoskaPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Mulzer18,
  author       = {Wolfgang Mulzer},
  title        = {Five Proofs of Chernoff's Bound with Applications},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/525},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Mulzer18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Natale18,
  author       = {Emanuele Natale},
  title        = {On the Computational Power of Simple Dynamics},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/526},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Natale18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Spirakis18,
  author       = {Paul G. Spirakis},
  title        = {Letter from the President},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/528},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/Spirakis18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics