BibTeX Export for Dagstuhl Reports, Volume 8, Issue 5

Copy to Clipboard Download

@Article{DagRep.8.5,
  title =	{{Dagstuhl Reports, Volume 8, Issue 5, May 2018,  Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5},
  URN =		{urn:nbn:de:0030-drops-101664},
  doi =		{10.4230/DagRep.8.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue}
}
@Article{DagRep.8.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.i},
  URN =		{urn:nbn:de:0030-drops-101657},
  doi =		{10.4230/DagRep.8.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018}
}
@Article{ahmed_et_al:DagRep.8.5.1,
  author =	{Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
  title =	{{Secure Compilation (Dagstuhl Seminar 18201)}},
  pages =	{1--30},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.1},
  URN =		{urn:nbn:de:0030-drops-98911},
  doi =		{10.4230/DagRep.8.5.1},
  annote =	{Keywords: secure compilation, low-level attacks, source-level reasoning, attacker models, full abstraction, hyperproperties, enforcement mechanisms, compartmentalization, security architectures, side-channels}
}
@Article{altintas_et_al:DagRep.8.5.31,
  author =	{Altintas, Onur and Banerjee, Suman and Dressler, Falko and Heijenk, Geert},
  title =	{{Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202)}},
  pages =	{31--59},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Altintas, Onur and Banerjee, Suman and Dressler, Falko and Heijenk, Geert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.31},
  URN =		{urn:nbn:de:0030-drops-98929},
  doi =		{10.4230/DagRep.8.5.31},
  annote =	{Keywords: automated driving, cooperative driving, road traffic safety, vehicular networking}
}
@Article{esparza_et_al:DagRep.8.5.60,
  author =	{Esparza, Javier and Fraignaud, Pierre and Muscholl, Anca and Rajsbaum, Sergio},
  title =	{{Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)}},
  pages =	{60--79},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Esparza, Javier and Fraignaud, Pierre and Muscholl, Anca and Rajsbaum, Sergio},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.60},
  URN =		{urn:nbn:de:0030-drops-98933},
  doi =		{10.4230/DagRep.8.5.60},
  annote =	{Keywords: distributed computing, distributed systems, formal verification}
}
@Article{hornbaek_et_al:DagRep.8.5.80,
  author =	{Hornbaek, Kasper and Kirsh, David and Paradiso, Joseph A. and Steimle, J\"{u}rgen},
  title =	{{On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212)}},
  pages =	{80--101},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Hornbaek, Kasper and Kirsh, David and Paradiso, Joseph A. and Steimle, J\"{u}rgen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.80},
  URN =		{urn:nbn:de:0030-drops-98944},
  doi =		{10.4230/DagRep.8.5.80},
  annote =	{Keywords: Human-Computer interaction, Embodied cognition, User interface software and technology}
}

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