BibTeX Export for Dagstuhl Reports, Volume 3, Issue 5

Copy to Clipboard Download

@Article{DagRep.3.5,
  title =	{{Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5},
  URN =		{urn:nbn:de:0030-drops-43010},
  doi =		{10.4230/DagRep.3.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue}
}
@Article{DagRep.3.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 05, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.i},
  URN =		{urn:nbn:de:0030-drops-43007},
  doi =		{10.4230/DagRep.3.5.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{maneth_et_al:DagRep.3.5.1,
  author =	{Maneth, Sebastian and Seidl, Helmut},
  title =	{{Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Maneth, Sebastian and Seidl, Helmut},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.1},
  URN =		{urn:nbn:de:0030-drops-41769},
  doi =		{10.4230/DagRep.3.5.1},
  annote =	{Keywords: tree transducers, expressiveness, complexity}
}
@Article{kerren_et_al:DagRep.3.5.19,
  author =	{Kerren, Andreas and Purchase, Helen and Ward, Mathew O.},
  title =	{{Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)}},
  pages =	{19--42},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Kerren, Andreas and Purchase, Helen and Ward, Mathew O.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.19},
  URN =		{urn:nbn:de:0030-drops-41775},
  doi =		{10.4230/DagRep.3.5.19},
  annote =	{Keywords: Information visualization, visualization, network visualization, graph drawing, visual analytics, network analysis, interaction}
}
@Article{calvanese_et_al:DagRep.3.5.43,
  author =	{Calvanese, Diego and Hartmann, Sven and Teniente, Ernest},
  title =	{{Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)}},
  pages =	{43--77},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Calvanese, Diego and Hartmann, Sven and Teniente, Ernest},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.43},
  URN =		{urn:nbn:de:0030-drops-41807},
  doi =		{10.4230/DagRep.3.5.43},
  annote =	{Keywords: Automated Reasoning, Conceptual Schema of an Information System, Validation, Verification}
}
@Article{bender_et_al:DagRep.3.5.78,
  author =	{Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
  title =	{{Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)}},
  pages =	{78--94},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.78},
  URN =		{urn:nbn:de:0030-drops-41791},
  doi =		{10.4230/DagRep.3.5.78},
  annote =	{Keywords: Bioinformatics, Chemoinformatics, Machine learning, Statistics, Interdisciplinary applications}
}

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