@Article{DagRep.5.2,
title = {{Dagstuhl Reports, Volume 5, Issue 2, February 2015, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2},
URN = {urn:nbn:de:0030-drops-54640},
doi = {10.4230/DagRep.5.2},
annote = {Keywords: Dagstuhl Reports, Volume 5, Issue 2, February 2015, Complete Issue}
}
@Article{DagRep.5.2.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 5, Issue 2, 2015}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.i},
URN = {urn:nbn:de:0030-drops-54637},
doi = {10.4230/DagRep.5.2.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 2, 2015}
}
@Article{chatterjee_et_al:DagRep.5.2.1,
author = {Chatterjee, Krishnendu and Lafortune, St\'{e}phane and Markey, Nicolas and Thomas, Wolfgang},
title = {{Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061)}},
pages = {1--25},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Chatterjee, Krishnendu and Lafortune, St\'{e}phane and Markey, Nicolas and Thomas, Wolfgang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.1},
URN = {urn:nbn:de:0030-drops-50424},
doi = {10.4230/DagRep.5.2.1},
annote = {Keywords: non-zero-sum games, infinite games, multi-player games, partial-observation games, quantitative games, controller synthesis, supervisory control}
}
@Article{erdweg_et_al:DagRep.5.2.26,
author = {Erdweg, Sebastian and Erwig, Martin and Paige, Richard F. and Visser, Eelco},
title = {{Domain-Specific Languages (Dagstuhl Seminar 15062)}},
pages = {26--43},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Erdweg, Sebastian and Erwig, Martin and Paige, Richard F. and Visser, Eelco},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.26},
URN = {urn:nbn:de:0030-drops-50434},
doi = {10.4230/DagRep.5.2.26},
annote = {Keywords: Internal DSLs, External DSLs, Domain-specific modeling, Extensible languages, Language workbenches, Textual/graph-based/visual languages, Language design, Language implementation techniques}
}
@Article{bjorner_et_al:DagRep.5.2.44,
author = {Bjorner, Nikolaj and Foster, Nate and Godfrey, Philip Brighten and Zave, Pamela},
title = {{Formal Foundations for Networking (Dagstuhl Seminar 15071)}},
pages = {44--63},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Bjorner, Nikolaj and Foster, Nate and Godfrey, Philip Brighten and Zave, Pamela},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.44},
URN = {urn:nbn:de:0030-drops-50440},
doi = {10.4230/DagRep.5.2.44},
annote = {Keywords: Formal methods, logic, middleboxes, model checking, networking, program synthesis, security, software-defined networking, verification}
}
@Article{coady_et_al:DagRep.5.2.64,
author = {Coady, Yvonne and Kempf, James and McGeer, Rick and Schmid, Stefan},
title = {{Distributed Cloud Computing (Dagstuhl Seminar 15072)}},
pages = {64--79},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Coady, Yvonne and Kempf, James and McGeer, Rick and Schmid, Stefan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.64},
URN = {urn:nbn:de:0030-drops-50454},
doi = {10.4230/DagRep.5.2.64},
annote = {Keywords: Distributed Cloud Computing, Distributed Systems}
}
@Article{matas_et_al:DagRep.5.2.80,
author = {Matas, Jiri and Murino, Vittorio and Rosenhahn, Bodo and Leal-Taix\'{e}, Laura},
title = {{Holistic Scene Understanding (Dagstuhl Seminar 15081)}},
pages = {80--108},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Matas, Jiri and Murino, Vittorio and Rosenhahn, Bodo and Leal-Taix\'{e}, Laura},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.80},
URN = {urn:nbn:de:0030-drops-50479},
doi = {10.4230/DagRep.5.2.80},
annote = {Keywords: Scene Analysis, Image Understanding, Crowd Analysis, People and Object Recognition}
}
@Article{klauck_et_al:DagRep.5.2.109,
author = {Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver and Thomas, Rekha R.},
title = {{Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082)}},
pages = {109--127},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver and Thomas, Rekha R.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.109},
URN = {urn:nbn:de:0030-drops-50480},
doi = {10.4230/DagRep.5.2.109},
annote = {Keywords: Convex optimization, extended formulations, cone rank, positive semidefinite rank, nonnegative rank, quantum communication complexity, real algebraic geometry}
}
@Article{jacobsen_et_al:DagRep.5.2.128,
author = {Jacobsen, Hans-Arno and Katz, Randy H. and Schmeck, Hartmut and Goebel, Christoph},
title = {{Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)}},
pages = {128--175},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {2},
editor = {Jacobsen, Hans-Arno and Katz, Randy H. and Schmeck, Hartmut and Goebel, Christoph},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.128},
URN = {urn:nbn:de:0030-drops-52109},
doi = {10.4230/DagRep.5.2.128},
annote = {Keywords: Energy Informatics, Smart Grids, Smart Buildings, Cyber-Physical Systems}
}
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