@Article{DagRep.8.8,
title = {{Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8},
URN = {urn:nbn:de:0030-drops-103002},
doi = {10.4230/DagRep.8.8},
annote = {Keywords: Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}
}
@Article{DagRep.8.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.i},
URN = {urn:nbn:de:0030-drops-102992},
doi = {10.4230/DagRep.8.8.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{johns_et_al:DagRep.8.8.1,
author = {Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
title = {{Web Application Security (Dagstuhl Seminar 18321)}},
pages = {1--17},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.1},
URN = {urn:nbn:de:0030-drops-102336},
doi = {10.4230/DagRep.8.8.1},
annote = {Keywords: Web Application Security, Browser Security, Software Security, Human Aspects in Security}
}
@Article{mueller_et_al:DagRep.8.8.18,
author = {Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
title = {{Human-Computer Integration (Dagstuhl Seminar 18322)}},
pages = {18--47},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.18},
URN = {urn:nbn:de:0030-drops-102346},
doi = {10.4230/DagRep.8.8.18},
annote = {Keywords: Human-computer integration, whole-body interaction, ubiquitous computing, wearables}
}
@Article{berman_et_al:DagRep.8.8.48,
author = {Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
title = {{ Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)}},
pages = {48--66},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.48},
URN = {urn:nbn:de:0030-drops-102352},
doi = {10.4230/DagRep.8.8.48},
annote = {Keywords: computational geometry, distributed algorithms, DNA computing, programmable matter, swarm robotics}
}
@Article{dumas_et_al:DagRep.8.8.67,
author = {Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
title = {{Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)}},
pages = {67--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.67},
URN = {urn:nbn:de:0030-drops-102361},
doi = {10.4230/DagRep.8.8.67},
annote = {Keywords: Blockchain, BPM, Business Collaboration, Commerce, Logistics, Business Models (economic), Smart Contracts, Privacy}
}
@Article{bauer_et_al:DagRep.8.8.130,
author = {Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
title = {{Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)}},
pages = {130--145},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.130},
URN = {urn:nbn:de:0030-drops-102370},
doi = {10.4230/DagRep.8.8.130},
annote = {Keywords: formal methods, formalized mathematics, proof assistant, type theory}
}
@Article{blair_et_al:DagRep.8.8.146,
author = {Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
title = {{Modeling for Sustainability (Dagstuhl Seminar 18351)}},
pages = {146--168},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2019},
volume = {8},
number = {8},
editor = {Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.146},
URN = {urn:nbn:de:0030-drops-102383},
doi = {10.4230/DagRep.8.8.146},
annote = {Keywords: modeling for sustainability, sustainability dimensions, environmental sustainability, social sustanability, economic sustainability model driven engineering}
}
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