@Article{DagRep.4.1,
  title =	{{Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1},
  URN =		{urn:nbn:de:0030-drops-45799},
  doi =		{10.4230/DagRep.4.1},
  annote =	{Keywords: Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue}
}
@Article{DagRep.4.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 1, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.i},
  URN =		{urn:nbn:de:0030-drops-45783},
  doi =		{10.4230/DagRep.4.1.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{armknecht_et_al:DagRep.4.1.1,
  author =	{Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
  title =	{{Symmetric Cryptography (Dagstuhl Seminar 14021)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.1},
  URN =		{urn:nbn:de:0030-drops-45150},
  doi =		{10.4230/DagRep.4.1.1},
  annote =	{Keywords: Authenticity, Integrity, Privacy,Hash Functions, Block Ciphers, Provable Security, Cryptanalysis}
}
@Article{bremer_et_al:DagRep.4.1.17,
  author =	{Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
  title =	{{Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)}},
  pages =	{17--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.17},
  URN =		{urn:nbn:de:0030-drops-45166},
  doi =		{10.4230/DagRep.4.1.17},
  annote =	{Keywords: Large scale data presentation and analysis, Exascale class machine optimization, Performance data analysis and root cause detection, High dimensional}
}
@Article{abraham_et_al:DagRep.4.1.36,
  author =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  title =	{{Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)}},
  pages =	{36--82},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36},
  URN =		{urn:nbn:de:0030-drops-45355},
  doi =		{10.4230/DagRep.4.1.36},
  annote =	{Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis}
}
@Article{agotnes_et_al:DagRep.4.1.83,
  author =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}
@Article{droste_et_al:DagRep.4.1.104,
  author =	{Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
  title =	{{Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)}},
  pages =	{104--124},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104},
  URN =		{urn:nbn:de:0030-drops-45374},
  doi =		{10.4230/DagRep.4.1.104},
  annote =	{Keywords: quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata, systems biology, smart grid}
}
@Article{antoniadis_et_al:DagRep.4.1.125,
  author =	{Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
  title =	{{Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042)}},
  pages =	{125--151},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.125},
  URN =		{urn:nbn:de:0030-drops-45384},
  doi =		{10.4230/DagRep.4.1.125},
  annote =	{Keywords: Community Wireless Networks, Mobile Networking, Delay-Tolerant Networking, Ad-hoc Networking, Urban informatics, Community informatics, Urban Planning Interdisciplinarity}
}
@Article{even_et_al:DagRep.4.1.152,
  author =	{Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne and Scheideler, Christian},
  title =	{{Algorithms for Wireless Communication (Dagstuhl Seminar 14051)}},
  pages =	{152--169},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne and Scheideler, Christian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.152},
  URN =		{urn:nbn:de:0030-drops-45397},
  doi =		{10.4230/DagRep.4.1.152},
  annote =	{Keywords: wireless, algorithms, model, complexity}
}
@Article{cohen_et_al:DagRep.4.1.170,
  author =	{Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
  title =	{{Ethics in Data Sharing (Dagstuhl Seminar 14052)}},
  pages =	{170--183},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.170},
  URN =		{urn:nbn:de:0030-drops-45418},
  doi =		{10.4230/DagRep.4.1.170},
  annote =	{Keywords: Ethics, Data Sharing Practices, Data Dissemination, Ethics across borders, Anonymization, Sanitization}
}