@Article{DagRep.8.4,
title = {{Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4},
URN = {urn:nbn:de:0030-drops-98640},
doi = {10.4230/DagRep.8.4},
annote = {Keywords: Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue}
}
@Article{DagRep.8.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.i},
URN = {urn:nbn:de:0030-drops-98634},
doi = {10.4230/DagRep.8.4.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}
}
@Article{lahiri_et_al:DagRep.8.4.1,
author = {Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
title = {{Program Equivalence (Dagstuhl Seminar 18151)}},
pages = {1--19},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.1},
URN = {urn:nbn:de:0030-drops-97586},
doi = {10.4230/DagRep.8.4.1},
annote = {Keywords: program equivalence, regression-verification, translation validation}
}
@Article{baldimtsi_et_al:DagRep.8.4.20,
author = {Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
title = {{Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)}},
pages = {20--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.20},
URN = {urn:nbn:de:0030-drops-97597},
doi = {10.4230/DagRep.8.4.20},
annote = {Keywords: blockchains, consensus algorithms, cryptographic currency, incentive engineering, smart contracts}
}
@Article{aerts_et_al:DagRep.8.4.32,
author = {Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
title = {{Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)}},
pages = {32--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.32},
URN = {urn:nbn:de:0030-drops-97600},
doi = {10.4230/DagRep.8.4.32},
annote = {Keywords: imaging, omics, sequence analysis, visual analytics, visualisation}
}
@Article{dastani_et_al:DagRep.8.4.72,
author = {Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
title = {{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
pages = {72--103},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
URN = {urn:nbn:de:0030-drops-97612},
doi = {10.4230/DagRep.8.4.72},
annote = {Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
@Article{chandrasekaran_et_al:DagRep.8.4.104,
author = {Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
title = {{Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)}},
pages = {104--125},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.104},
URN = {urn:nbn:de:0030-drops-97623},
doi = {10.4230/DagRep.8.4.104},
annote = {Keywords: algebraic effect handlers, implementation techniques, programming abstractions, programming languages}
}
@Article{eyers_et_al:DagRep.8.4.126,
author = {Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
title = {{Towards Accountable Systems (Dagstuhl Seminar 18181)}},
pages = {126--163},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.126},
URN = {urn:nbn:de:0030-drops-97633},
doi = {10.4230/DagRep.8.4.126},
annote = {Keywords: accountability, compliance, audit, systems, engineering, cloud computing, internet of things, law, regulation, GDPR, security, privacy, data provenanc}
}
@Article{abrahamsson_et_al:DagRep.8.4.164,
author = {Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
title = {{Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)}},
pages = {164--198},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.164},
URN = {urn:nbn:de:0030-drops-97642},
doi = {10.4230/DagRep.8.4.164},
annote = {Keywords: Software Engineering, Software Ecosystems, Software-intensive Business, Software Production, Software Startups}
}
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
Feedback for Dagstuhl Publishing