BibTeX Export for Dagstuhl Reports, Volume 2, Issue 4

Copy to Clipboard Download

@Article{DagRep.2.4,
  title =	{{Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.4},
  URN =		{urn:nbn:de:0030-drops-37336},
  doi =		{10.4230/DagRep.2.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue}
}
@Article{DagRep.2.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.4.i},
  URN =		{urn:nbn:de:0030-drops-37320},
  doi =		{10.4230/DagRep.2.4.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012}
}
@Article{keefe_et_al:DagRep.2.4.1,
  author =	{Keefe, Daniel and Kr\"{u}ger, Antonio and Steinicke, Frank and de la Rivi\`{e}re, Jean-Baptiste},
  title =	{{Touching the 3rd Dimension (Dagstuhl Seminar 12151)}},
  pages =	{1--20},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  editor =	{Keefe, Daniel and Kr\"{u}ger, Antonio and Steinicke, Frank and de la Rivi\`{e}re, Jean-Baptiste},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.4.1},
  URN =		{urn:nbn:de:0030-drops-35946},
  doi =		{10.4230/DagRep.2.4.1},
  annote =	{Keywords: Multi-touch Technology, Stereoscopic Visualization, 3D User Interfaces}
}
@Article{bodik_et_al:DagRep.2.4.21,
  author =	{Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
  title =	{{Software Synthesis (Dagstuhl Seminar 12152)}},
  pages =	{21--38},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  editor =	{Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.4.21},
  URN =		{urn:nbn:de:0030-drops-35956},
  doi =		{10.4230/DagRep.2.4.21},
  annote =	{Keywords: Software Synthesis, Verification and Model Checking, Theorem Proving, Program Analysis, Programming by Demonstration, Program Derivation, Compiler Optimization}
}
@Article{antoniou_et_al:DagRep.2.4.39,
  author =	{Antoniou, Grigoris and Corcho, Oscar and Aberer, Karl and Simperl, Elena and Studer, Rudi},
  title =	{{Semantic Data Management (Dagstuhl Seminar 12171)}},
  pages =	{39--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{4},
  editor =	{Antoniou, Grigoris and Corcho, Oscar and Aberer, Karl and Simperl, Elena and Studer, Rudi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.4.39},
  URN =		{urn:nbn:de:0030-drops-35976},
  doi =		{10.4230/DagRep.2.4.39},
  annote =	{Keywords: Semantic data, Semantic Web, Linked Data, Large-scale data management, Dynamicity and stream processing, Provenance and access control, Information retrieval and ranking}
}

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