@Article{DagRep.4.1,
title = {{Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1},
URN = {urn:nbn:de:0030-drops-45799},
doi = {10.4230/DagRep.4.1},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue}
}
@Article{DagRep.4.1.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 1, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.i},
URN = {urn:nbn:de:0030-drops-45783},
doi = {10.4230/DagRep.4.1.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{armknecht_et_al:DagRep.4.1.1,
author = {Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
title = {{Symmetric Cryptography (Dagstuhl Seminar 14021)}},
pages = {1--16},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.1},
URN = {urn:nbn:de:0030-drops-45150},
doi = {10.4230/DagRep.4.1.1},
annote = {Keywords: Authenticity, Integrity, Privacy,Hash Functions, Block Ciphers, Provable Security, Cryptanalysis}
}
@Article{bremer_et_al:DagRep.4.1.17,
author = {Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
title = {{Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)}},
pages = {17--35},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.17},
URN = {urn:nbn:de:0030-drops-45166},
doi = {10.4230/DagRep.4.1.17},
annote = {Keywords: Large scale data presentation and analysis, Exascale class machine optimization, Performance data analysis and root cause detection, High dimensional}
}
@Article{abraham_et_al:DagRep.4.1.36,
author = {\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
title = {{Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)}},
pages = {36--82},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36},
URN = {urn:nbn:de:0030-drops-45355},
doi = {10.4230/DagRep.4.1.36},
annote = {Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis}
}
@Article{agotnes_et_al:DagRep.4.1.83,
author = {Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
title = {{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
pages = {83--103},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
URN = {urn:nbn:de:0030-drops-45369},
doi = {10.4230/DagRep.4.1.83},
annote = {Keywords: planning, epistemic logic, modal logic}
}
@Article{droste_et_al:DagRep.4.1.104,
author = {Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
title = {{Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)}},
pages = {104--124},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104},
URN = {urn:nbn:de:0030-drops-45374},
doi = {10.4230/DagRep.4.1.104},
annote = {Keywords: quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata, systems biology, smart grid}
}
@Article{antoniadis_et_al:DagRep.4.1.125,
author = {Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
title = {{Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042)}},
pages = {125--151},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.125},
URN = {urn:nbn:de:0030-drops-45384},
doi = {10.4230/DagRep.4.1.125},
annote = {Keywords: Community Wireless Networks, Mobile Networking, Delay-Tolerant Networking, Ad-hoc Networking, Urban informatics, Community informatics, Urban Planning Interdisciplinarity}
}
@Article{even_et_al:DagRep.4.1.152,
author = {Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne and Scheideler, Christian},
title = {{Algorithms for Wireless Communication (Dagstuhl Seminar 14051)}},
pages = {152--169},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne 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.4.1.152},
URN = {urn:nbn:de:0030-drops-45397},
doi = {10.4230/DagRep.4.1.152},
annote = {Keywords: wireless, algorithms, model, complexity}
}
@Article{cohen_et_al:DagRep.4.1.170,
author = {Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
title = {{Ethics in Data Sharing (Dagstuhl Seminar 14052)}},
pages = {170--183},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {1},
editor = {Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.170},
URN = {urn:nbn:de:0030-drops-45418},
doi = {10.4230/DagRep.4.1.170},
annote = {Keywords: Ethics, Data Sharing Practices, Data Dissemination, Ethics across borders, Anonymization, Sanitization}
}
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