@Article{DagRep.3.4,
  title =	{{Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4},
  URN =		{urn:nbn:de:0030-drops-42636},
  doi =		{10.4230/DagRep.3.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue}
}
@Article{DagRep.3.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 04, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.i},
  URN =		{urn:nbn:de:0030-drops-42627},
  doi =		{10.4230/DagRep.3.4.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{charronbost_et_al:DagRep.3.4.1,
  author =	{Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef},
  title =	{{Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.1},
  URN =		{urn:nbn:de:0030-drops-40747},
  doi =		{10.4230/DagRep.3.4.1},
  annote =	{Keywords: Distributed algorithms; semi-automated proofs; model checking}
}
@Article{cohen_et_al:DagRep.3.4.17,
  author =	{Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
  title =	{{Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)}},
  pages =	{17--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.17},
  URN =		{urn:nbn:de:0030-drops-40758},
  doi =		{10.4230/DagRep.3.4.17},
  annote =	{Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models}
}
@Article{kobourov_et_al:DagRep.3.4.34,
  author =	{Kobourov, Stephen G. and N\"{o}llenburg, Martin and Teillaud, Monique},
  title =	{{Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)}},
  pages =	{34--68},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Kobourov, Stephen G. and N\"{o}llenburg, Martin and Teillaud, Monique},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.34},
  URN =		{urn:nbn:de:0030-drops-41680},
  doi =		{10.4230/DagRep.3.4.34},
  annote =	{Keywords: graph drawing, information visualization, computational cartography, computational geometry}
}
@Article{hart_et_al:DagRep.3.4.69,
  author =	{Hart, Sergiu and Tardos, \'{E}va and von Stengel, Bernhard},
  title =	{{Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161)}},
  pages =	{69--90},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Hart, Sergiu and Tardos, \'{E}va and von Stengel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.69},
  URN =		{urn:nbn:de:0030-drops-41341},
  doi =		{10.4230/DagRep.3.4.69},
  annote =	{Keywords: Algorithmic Game Theory, Economics, Internet, Nash Equilibrium, Mechanism Design, Auctions}
}
@Article{lhotak_et_al:DagRep.3.4.91,
  author =	{Lhotak, Ondrej and Smaragdakis, Yannis and Sridharan, Manu},
  title =	{{Pointer Analysis (Dagstuhl Seminar 13162)}},
  pages =	{91--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Lhotak, Ondrej and Smaragdakis, Yannis and Sridharan, Manu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.91},
  URN =		{urn:nbn:de:0030-drops-41698},
  doi =		{10.4230/DagRep.3.4.91},
  annote =	{Keywords: pointer analysis, points-to analysis, alias analysis, static analysis, programming languages}
}
@Article{baresi_et_al:DagRep.3.4.114,
  author =	{Baresi, Luciano and Rummler, Andreas and Schmid, Klaus},
  title =	{{Customizing Service Platforms (Dagstuhl Seminar 13171)}},
  pages =	{114--150},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Baresi, Luciano and Rummler, Andreas and Schmid, Klaus},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.114},
  URN =		{urn:nbn:de:0030-drops-41736},
  doi =		{10.4230/DagRep.3.4.114},
  annote =	{Keywords: Service-Oriented Architectures, Service Platforms / Cloud Computing, Product Line Engineering, Variability Management}
}
@Article{lomuscio_et_al:DagRep.3.4.151,
  author =	{Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
  title =	{{VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)}},
  pages =	{151--187},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.151},
  URN =		{urn:nbn:de:0030-drops-41746},
  doi =		{10.4230/DagRep.3.4.151},
  annote =	{Keywords: Model checking, Specification-based testing, Multi-agent systems, Controller synthesis, Temporal logic}
}
@Article{clark_et_al:DagRep.3.4.188,
  author =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  title =	{{Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)}},
  pages =	{188--227},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.188},
  URN =		{urn:nbn:de:0030-drops-41755},
  doi =		{10.4230/DagRep.3.4.188},
  annote =	{Keywords: meta-modeling, model-based engineering, models, tools, domain specific modeling languages}
}