BibTeX Export for Dagstuhl Reports, Volume 12, Issue 12

Copy to Clipboard Download

@Article{DagRep.12.12,
  title =	{{Dagstuhl Reports, Volume 12, Issue 12, December 2022, Complete Issue}},
  pages =	{1--75},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12},
  URN =		{urn:nbn:de:0030-drops-178429},
  doi =		{10.4230/DagRep.12.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 12, Issue 12, December 2022, Complete Issue}
}
@Article{DagRep.12.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 12, Issue 12, 2022}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12.i},
  URN =		{urn:nbn:de:0030-drops-178435},
  doi =		{10.4230/DagRep.12.12.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{kunze_et_al:DagRep.12.12.1,
  author =	{Kunze, Kai and Maes, Pattie and Mueller, Florian `Floyd' and Wolf, Katrin},
  title =	{{Cognitive Augmentation (Dagstuhl Seminar 22491)}},
  pages =	{1--26},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  editor =	{Kunze, Kai and Maes, Pattie and Mueller, Florian `Floyd' and Wolf, Katrin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12.1},
  URN =		{urn:nbn:de:0030-drops-178445},
  doi =		{10.4230/DagRep.12.12.1},
  annote =	{Keywords: augmented humans, augmented reality, wearable computing}
}
@Article{attiya_et_al:DagRep.12.12.27,
  author =	{Attiya, Hagit and Enea, Constantin and Rajsbaum, Sergio and Sokolova, Ana},
  title =	{{Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)}},
  pages =	{27--53},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  editor =	{Attiya, Hagit and Enea, Constantin and Rajsbaum, Sergio and Sokolova, Ana},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12.27},
  URN =		{urn:nbn:de:0030-drops-178452},
  doi =		{10.4230/DagRep.12.12.27},
  annote =	{Keywords: automated verification and reasoning, concurrent data structures and transactions, distributed algorithms, large-scale replication}
}
@Article{aguiar_et_al:DagRep.12.12.54,
  author =	{Aguiar, Ana and Altintas, Onur and Dressler, Falko and Karlsson, Gunnar and Klingler, Florian},
  title =	{{Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users II (Dagstuhl Seminar 22512)}},
  pages =	{54--73},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  editor =	{Aguiar, Ana and Altintas, Onur and Dressler, Falko and Karlsson, Gunnar and Klingler, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12.54},
  URN =		{urn:nbn:de:0030-drops-178466},
  doi =		{10.4230/DagRep.12.12.54},
  annote =	{Keywords: 5G/6G, bicyclists, cooperative driving, edge computing, intelligent transportation systems, pedestrians, tactile internet, V2X, vehicle-to-vehicle communication, vulnerable road users}
}

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