BibTeX Export for Dagstuhl Reports, Volume 8, Issue 1

Copy to Clipboard Download

@Article{DagRep.8.1,
  title =	{{Dagstuhl Reports, Volume 8, Issue 1, January 2018, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1},
  URN =		{urn:nbn:de:0030-drops-97352},
  doi =		{10.4230/DagRep.8.1},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 1, January 2018, Complete Issue}
}
@Article{DagRep.8.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 1, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.i},
  URN =		{urn:nbn:de:0030-drops-97345},
  doi =		{10.4230/DagRep.8.1.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 1, 2018}
}
@Article{daemen_et_al:DagRep.8.1.1,
  author =	{Daemen, Joan and Iwata, Tetsu and Leander, Nils Gregor and Nyberg, Kaisa},
  title =	{{Symmetric Cryptography (Dagstuhl Seminar 18021)}},
  pages =	{1--32},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  editor =	{Daemen, Joan and Iwata, Tetsu and Leander, Nils Gregor and Nyberg, Kaisa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.1},
  URN =		{urn:nbn:de:0030-drops-92832},
  doi =		{10.4230/DagRep.8.1.1},
  annote =	{Keywords: symmetric cryptography, cryptanalysis, authenticated encryption, cryptography for IoT, mass surveillance}
}
@Article{klamroth_et_al:DagRep.8.1.33,
  author =	{Klamroth, Kathrin and Knowles, Joshua D. and Rudolph, G\"{u}nter and Wiecek, Margaret M.},
  title =	{{Personalized Multiobjective Optimization: An Analytics Perspective (Dagstuhl Seminar 18031)}},
  pages =	{33--99},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  editor =	{Klamroth, Kathrin and Knowles, Joshua D. and Rudolph, G\"{u}nter and Wiecek, Margaret M.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.33},
  URN =		{urn:nbn:de:0030-drops-92846},
  doi =		{10.4230/DagRep.8.1.33},
  annote =	{Keywords: multiple criteria decision making, evolutionary multiobjective optimization}
}
@Article{hauser_et_al:DagRep.8.1.100,
  author =	{Hauser, Helwig and Rheingans, Penny and Scheuermann, Gerik},
  title =	{{Foundations of Data Visualization (Dagstuhl Seminar 18041)}},
  pages =	{100--123},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  editor =	{Hauser, Helwig and Rheingans, Penny and Scheuermann, Gerik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.100},
  URN =		{urn:nbn:de:0030-drops-92853},
  doi =		{10.4230/DagRep.8.1.100},
  annote =	{Keywords: Foundations, Interdisciplinary Cooperation, Theory, Visualization}
}
@Article{atserias_et_al:DagRep.8.1.124,
  author =	{Atserias, Albert and Nordstr\"{o}m, Jakob and Pudl\'{a}k, Pavel and Santhanam, Rahul},
  title =	{{Proof Complexity (Dagstuhl Seminar 18051)}},
  pages =	{124--157},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  editor =	{Atserias, Albert and Nordstr\"{o}m, Jakob and Pudl\'{a}k, Pavel and Santhanam, Rahul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.124},
  URN =		{urn:nbn:de:0030-drops-92864},
  doi =		{10.4230/DagRep.8.1.124},
  annote =	{Keywords: bounded arithmetic, computational complexity, logic, proof complexity, satisfiability algorithms}
}
@Article{petke_et_al:DagRep.8.1.158,
  author =	{Petke, Justyna and Le Goues, Claire and Forrest, Stephanie and Langdon, William B.},
  title =	{{Genetic Improvement of Software (Dagstuhl Seminar 18052)}},
  pages =	{158--182},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{1},
  editor =	{Petke, Justyna and Le Goues, Claire and Forrest, Stephanie and Langdon, William B.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.158},
  URN =		{urn:nbn:de:0030-drops-92878},
  doi =		{10.4230/DagRep.8.1.158},
  annote =	{Keywords: genetic improvement GI, search-based software engineering SBSE, software optimisation, evolutionary improvement, automated software improvement, automated program repair, evolutionary computation, genetic programming, GP}
}

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode