@Article{DagRep.6.9,
title = {{Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9},
URN = {urn:nbn:de:0030-drops-69740},
doi = {10.4230/DagRep.6.9},
annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue}
}
@Article{DagRep.6.9.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.i},
URN = {urn:nbn:de:0030-drops-69731},
doi = {10.4230/DagRep.6.9.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016}
}
@Article{dacier_et_al:DagRep.6.9.1,
author = {Dacier, Marc C. and Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut},
title = {{Network Attack Detection and Defense (Dagstuhl Seminar 16361)}},
pages = {1--28},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Dacier, Marc C. and Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.1},
URN = {urn:nbn:de:0030-drops-69122},
doi = {10.4230/DagRep.6.9.1},
annote = {Keywords: attack detection, denial-of-service attack detection and response, intrusion detection, malware assessment, network monitoring, openflow protocol, programmable networks, security, software-defined networking, targeted attacks, vulnerability analysis}
}
@Article{franzle_et_al:DagRep.6.9.29,
author = {Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
title = {{Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)}},
pages = {29--45},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.29},
URN = {urn:nbn:de:0030-drops-69135},
doi = {10.4230/DagRep.6.9.29},
annote = {Keywords: aerospace, automotive, cyber-physical systems, fault tolerance, formal verification, real-time and embedded systems, robustness}
}
@Article{fischlin_et_al:DagRep.6.9.46,
author = {Fischlin, Marc and May, Alexander and Pointcheval, David and Rabin, Tal},
title = {{Public-Key Cryptography (Dagstuhl Seminar 16371)}},
pages = {46--58},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Fischlin, Marc and May, Alexander and Pointcheval, David and Rabin, Tal},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.46},
URN = {urn:nbn:de:0030-drops-69147},
doi = {10.4230/DagRep.6.9.46},
annote = {Keywords: cryptanalysis, encryption, homomorphic encryption, key exchange, obfuscation, signatures}
}
@Article{heuveline_et_al:DagRep.6.9.59,
author = {Heuveline, Vincent and Schick, Michael and Webster, Clayton and Zaspel, Peter},
title = {{Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372)}},
pages = {59--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Heuveline, Vincent and Schick, Michael and Webster, Clayton and Zaspel, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.59},
URN = {urn:nbn:de:0030-drops-69158},
doi = {10.4230/DagRep.6.9.59},
annote = {Keywords: high performance computing, parallelization, stochastic modeling, uncertainty quantification}
}
@Article{beyersdorff_et_al:DagRep.6.9.74,
author = {Beyersdorff, Olaf and Creignou, Nadia and Egly, Uwe and Vollmer, Heribert},
title = {{SAT and Interactions (Dagstuhl Seminar 16381)}},
pages = {74--93},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Beyersdorff, Olaf and Creignou, Nadia and Egly, Uwe and Vollmer, Heribert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.74},
URN = {urn:nbn:de:0030-drops-69116},
doi = {10.4230/DagRep.6.9.74},
annote = {Keywords: Combinatorics, Computational Complexity, P vs. NP, Proof Complexity, Quantified Boolean formulas, SAT-solvers, satisfiability problem}
}
@Article{balcan_et_al:DagRep.6.9.94,
author = {Balcan, Maria-Florina and Ben-David, Shai and Urner, Ruth and von Luxburg, Ulrike},
title = {{Foundations of Unsupervised Learning (Dagstuhl Seminar 16382)}},
pages = {94--109},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {9},
editor = {Balcan, Maria-Florina and Ben-David, Shai and Urner, Ruth and von Luxburg, Ulrike},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.94},
URN = {urn:nbn:de:0030-drops-69542},
doi = {10.4230/DagRep.6.9.94},
annote = {Keywords: Machine learning, theory of computing, unsupervised learning, representation learning}
}
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