BibTeX Export for Dagstuhl Reports, Volume 2, Issue 7

Copy to Clipboard Download

@Article{DagRep.2.7,
  title =	{{Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{7},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7},
  URN =		{urn:nbn:de:0030-drops-39013},
  doi =		{10.4230/DagRep.2.7},
  annote =	{Keywords: Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue}
}
@Article{DagRep.2.7.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{7},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.i},
  URN =		{urn:nbn:de:0030-drops-38942},
  doi =		{10.4230/DagRep.2.7.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012}
}
@Article{bundy_et_al:DagRep.2.7.1,
  author =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  title =	{{AI meets Formal Software Development (Dagstuhl Seminar 12271)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.1},
  URN =		{urn:nbn:de:0030-drops-37318},
  doi =		{10.4230/DagRep.2.7.1},
  annote =	{Keywords: Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling, Industrial use of formal methods}
}
@Article{feiler_et_al:DagRep.2.7.30,
  author =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  title =	{{Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)}},
  pages =	{30--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.30},
  URN =		{urn:nbn:de:0030-drops-37343},
  doi =		{10.4230/DagRep.2.7.30},
  annote =	{Keywords: Architectu Description Language, AADL, EAST-ADL, MARTE, Verification, Validation, Analysis, Embedded Systems, Model-Driven techniques}
}
@Article{kapitza_et_al:DagRep.2.7.56,
  author =	{Kapitza, R\"{u}diger and Schunter, Matthias and Shapiro, Marc and Verissimo, Paulo and Waidner, Michael},
  title =	{{Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)}},
  pages =	{56--72},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Kapitza, R\"{u}diger and Schunter, Matthias and Shapiro, Marc and Verissimo, Paulo and Waidner, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.56},
  URN =		{urn:nbn:de:0030-drops-37352},
  doi =		{10.4230/DagRep.2.7.56},
  annote =	{Keywords: Security, Cloud computing, Virtual systems, Dependability, Grid computing, Systems management}
}
@Article{babu_et_al:DagRep.2.7.73,
  author =	{Babu, Shivnath and Graefe, Goetz and Kuno, Harumi Anne},
  title =	{{Database Workload Management (Dagstuhl Seminar 12282)}},
  pages =	{73--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Babu, Shivnath and Graefe, Goetz and Kuno, Harumi Anne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.73},
  URN =		{urn:nbn:de:0030-drops-37511},
  doi =		{10.4230/DagRep.2.7.73},
  annote =	{Keywords: database workload management, robust query processing, cloud computing, query execution, hadoop, application availability, performance modeling}
}
@Article{apostolico_et_al:DagRep.2.7.92,
  author =	{Apostolico, Alberto and Dress, Andreas and Parida, Laxmi},
  title =	{{Structure Discovery in Biology: Motifs, Networks \& Phylogenies (Dagstuhl Seminar 12291)}},
  pages =	{92--117},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Apostolico, Alberto and Dress, Andreas and Parida, Laxmi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.92},
  URN =		{urn:nbn:de:0030-drops-37509},
  doi =		{10.4230/DagRep.2.7.92},
  annote =	{Keywords: mathematical biology, computational biology, algorithmic bioinformatics, pattern discovery, networks, phylogenetics, stringology}
}

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