@Article{DagRep.3.9,
  title =	{{Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9},
  URN =		{urn:nbn:de:0030-drops-44316},
  doi =		{10.4230/DagRep.3.9},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue}
}
@Article{DagRep.3.9.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 09, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.i},
  URN =		{urn:nbn:de:0030-drops-44308},
  doi =		{10.4230/DagRep.3.9.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{hofeld_et_al:DagRep.3.9.1,
  author =	{Ho{\ss}feld, Tobias and Tran-Gia, Phuoc and Vucovic, Maja},
  title =	{{Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361)}},
  pages =	{1--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{9},
  editor =	{Ho{\ss}feld, Tobias and Tran-Gia, Phuoc and Vucovic, Maja},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.1},
  URN =		{urn:nbn:de:0030-drops-43545},
  doi =		{10.4230/DagRep.3.9.1},
  annote =	{Keywords: Crowdsourcing, Human Computation, Human Cloud, Applications, Industry Use Cases, Crowdsourcing Design, Mechanisms, Engineering, Practical Experience}
}
@Article{huhns_et_al:DagRep.3.9.34,
  author =	{Huhns, Michael N. and Li, Wei and Tsai, Wei-Tek},
  title =	{{Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362)}},
  pages =	{34--58},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{9},
  editor =	{Huhns, Michael N. and Li, Wei and Tsai, Wei-Tek},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.34},
  URN =		{urn:nbn:de:0030-drops-43555},
  doi =		{10.4230/DagRep.3.9.34},
  annote =	{Keywords: Crowdsourcing, Software Development, Cloud Computing}
}
@Article{fehr_et_al:DagRep.3.9.59,
  author =	{Fehr, Serge and Mosca, Michele and R\"{o}tteler, Martin and Steinwandt, Rainer},
  title =	{{Quantum Cryptanalysis (Dagstuhl Seminar 13371)}},
  pages =	{59--73},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Fehr, Serge and Mosca, Michele and R\"{o}tteler, Martin and Steinwandt, Rainer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.59},
  URN =		{urn:nbn:de:0030-drops-43575},
  doi =		{10.4230/DagRep.3.9.59},
  annote =	{Keywords: security of cryptographic schemes, quantum algorithms, computational hardness assumptions}
}
@Article{glasser_et_al:DagRep.3.9.74,
  author =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  title =	{{Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)}},
  pages =	{74--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.74},
  URN =		{urn:nbn:de:0030-drops-43584},
  doi =		{10.4230/DagRep.3.9.74},
  annote =	{Keywords: Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; Proof; Simulation; Animation; Visualisation; Model-Checking; Tool Integration}
}
@Article{casanova_et_al:DagRep.3.9.106,
  author =	{Casanova, Henri and Robert, Yves and Schwiegelshohn, Uwe},
  title =	{{Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381)}},
  pages =	{106--129},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Casanova, Henri and Robert, Yves and Schwiegelshohn, Uwe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.106},
  URN =		{urn:nbn:de:0030-drops-44199},
  doi =		{10.4230/DagRep.3.9.106},
  annote =	{Keywords: Exascale computing, high-performance computing and networking, fault-tolerance, power management, scheduling, numerical linear algebra}
}
@Article{blackwell_et_al:DagRep.3.9.130,
  author =	{Blackwell, Alan and McLean, Alex and Noble, James and Rohrhuber, Julian},
  title =	{{Collaboration and learning through live coding (Dagstuhl Seminar 13382)}},
  pages =	{130--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Blackwell, Alan and McLean, Alex and Noble, James and Rohrhuber, Julian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.130},
  URN =		{urn:nbn:de:0030-drops-44205},
  doi =		{10.4230/DagRep.3.9.130},
  annote =	{Keywords: Live coding, Collaboration, Learning, Improvised interactive programming, Computer music, Algorithmic composition, TOPLAP}
}
@Article{goldberg_et_al:DagRep.3.9.169,
  author =	{Goldberg, Andrew V. and Italiano, Giuseppe F. and Johnson, David S. and Wagner, Dorothea},
  title =	{{Algorithm Engineering (Dagstuhl Seminar 13391)}},
  pages =	{169--189},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Goldberg, Andrew V. and Italiano, Giuseppe F. and Johnson, David S. and Wagner, Dorothea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.169},
  URN =		{urn:nbn:de:0030-drops-44214},
  doi =		{10.4230/DagRep.3.9.169},
  annote =	{Keywords: Algorithm Engineering, Science of Algorithmics, Manycore Algorithms, Certifying Algorithms, Web Search, Large Graphs}
}
@Article{altintas_et_al:DagRep.3.9.190,
  author =	{Altintas, Onur and Dressler, Falko and Hartenstein, Hannes and Tonguz, Ozan K.},
  title =	{{Inter-Vehicular Communication -- Quo Vadis (Dagstuhl Seminar 13392)}},
  pages =	{190--213},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Altintas, Onur and Dressler, Falko and Hartenstein, Hannes and Tonguz, Ozan K.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.190},
  URN =		{urn:nbn:de:0030-drops-44227},
  doi =		{10.4230/DagRep.3.9.190},
  annote =	{Keywords: Vehicular Networking, Inter-Vehicle Communication, Intelligent Transportation Systems}
}
@Article{benkner_et_al:DagRep.3.9.214,
  author =	{Benkner, Siegfried and Franchetti, Franz and Gerndt, Hans Michael and Hollingsworth, Jeffrey K.},
  title =	{{Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)}},
  pages =	{214--244},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Benkner, Siegfried and Franchetti, Franz and Gerndt, Hans Michael and Hollingsworth, Jeffrey K.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.214},
  URN =		{urn:nbn:de:0030-drops-44234},
  doi =		{10.4230/DagRep.3.9.214},
  annote =	{Keywords: Parallel Computing, Programming Tools, Performance Analysis and Tuning}
}
@Article{sheth_et_al:DagRep.3.9.245,
  author =	{Sheth, Amit P. and Barnaghi, Payam and Strohmaier, Markus and Jain, Ramesh and Staab, Streffen},
  title =	{{Physical-Cyber-Social Computing (Dagstuhl Reports 13402)}},
  pages =	{245--263},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Sheth, Amit P. and Barnaghi, Payam and Strohmaier, Markus and Jain, Ramesh and Staab, Streffen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.245},
  URN =		{urn:nbn:de:0030-drops-44248},
  doi =		{10.4230/DagRep.3.9.245},
  annote =	{Keywords: Semantic sensor networks, Web of Things, Internet of Things, Semantic interoperability and context, Social computing, Collective intelligence, Situation-awareness, Human and machine perception, Computing for human experience, Social life networks}
}