@Article{DagRep.3.9,
title = {{Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9},
URN = {urn:nbn:de:0030-drops-44316},
doi = {10.4230/DagRep.3.9},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue}
}
@Article{DagRep.3.9.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 09, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.i},
URN = {urn:nbn:de:0030-drops-44308},
doi = {10.4230/DagRep.3.9.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{hofeld_et_al:DagRep.3.9.1,
author = {Ho{\ss}feld, Tobias and Tran-Gia, Phuoc and Vucovic, Maja},
title = {{Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361)}},
pages = {1--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {9},
editor = {Ho{\ss}feld, Tobias and Tran-Gia, Phuoc and Vucovic, Maja},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.1},
URN = {urn:nbn:de:0030-drops-43545},
doi = {10.4230/DagRep.3.9.1},
annote = {Keywords: Crowdsourcing, Human Computation, Human Cloud, Applications, Industry Use Cases, Crowdsourcing Design, Mechanisms, Engineering, Practical Experience}
}
@Article{huhns_et_al:DagRep.3.9.34,
author = {Huhns, Michael N. and Li, Wei and Tsai, Wei-Tek},
title = {{Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362)}},
pages = {34--58},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {9},
editor = {Huhns, Michael N. and Li, Wei and Tsai, Wei-Tek},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.34},
URN = {urn:nbn:de:0030-drops-43555},
doi = {10.4230/DagRep.3.9.34},
annote = {Keywords: Crowdsourcing, Software Development, Cloud Computing}
}
@Article{fehr_et_al:DagRep.3.9.59,
author = {Fehr, Serge and Mosca, Michele and R\"{o}tteler, Martin and Steinwandt, Rainer},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 13371)}},
pages = {59--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Fehr, Serge and Mosca, Michele and R\"{o}tteler, Martin and Steinwandt, Rainer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.59},
URN = {urn:nbn:de:0030-drops-43575},
doi = {10.4230/DagRep.3.9.59},
annote = {Keywords: security of cryptographic schemes, quantum algorithms, computational hardness assumptions}
}
@Article{glasser_et_al:DagRep.3.9.74,
author = {Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
title = {{Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)}},
pages = {74--105},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.74},
URN = {urn:nbn:de:0030-drops-43584},
doi = {10.4230/DagRep.3.9.74},
annote = {Keywords: Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; Proof; Simulation; Animation; Visualisation; Model-Checking; Tool Integration}
}
@Article{casanova_et_al:DagRep.3.9.106,
author = {Casanova, Henri and Robert, Yves and Schwiegelshohn, Uwe},
title = {{Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381)}},
pages = {106--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Casanova, Henri and Robert, Yves and Schwiegelshohn, Uwe},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.106},
URN = {urn:nbn:de:0030-drops-44199},
doi = {10.4230/DagRep.3.9.106},
annote = {Keywords: Exascale computing, high-performance computing and networking, fault-tolerance, power management, scheduling, numerical linear algebra}
}
@Article{blackwell_et_al:DagRep.3.9.130,
author = {Blackwell, Alan and McLean, Alex and Noble, James and Rohrhuber, Julian},
title = {{Collaboration and learning through live coding (Dagstuhl Seminar 13382)}},
pages = {130--168},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Blackwell, Alan and McLean, Alex and Noble, James and Rohrhuber, Julian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.130},
URN = {urn:nbn:de:0030-drops-44205},
doi = {10.4230/DagRep.3.9.130},
annote = {Keywords: Live coding, Collaboration, Learning, Improvised interactive programming, Computer music, Algorithmic composition, TOPLAP}
}
@Article{goldberg_et_al:DagRep.3.9.169,
author = {Goldberg, Andrew V. and Italiano, Giuseppe F. and Johnson, David S. and Wagner, Dorothea},
title = {{Algorithm Engineering (Dagstuhl Seminar 13391)}},
pages = {169--189},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Goldberg, Andrew V. and Italiano, Giuseppe F. and Johnson, David S. and Wagner, Dorothea},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.169},
URN = {urn:nbn:de:0030-drops-44214},
doi = {10.4230/DagRep.3.9.169},
annote = {Keywords: Algorithm Engineering, Science of Algorithmics, Manycore Algorithms, Certifying Algorithms, Web Search, Large Graphs}
}
@Article{altintas_et_al:DagRep.3.9.190,
author = {Altintas, Onur and Dressler, Falko and Hartenstein, Hannes and Tonguz, Ozan K.},
title = {{Inter-Vehicular Communication -- Quo Vadis (Dagstuhl Seminar 13392)}},
pages = {190--213},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Altintas, Onur and Dressler, Falko and Hartenstein, Hannes and Tonguz, Ozan K.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.190},
URN = {urn:nbn:de:0030-drops-44227},
doi = {10.4230/DagRep.3.9.190},
annote = {Keywords: Vehicular Networking, Inter-Vehicle Communication, Intelligent Transportation Systems}
}
@Article{benkner_et_al:DagRep.3.9.214,
author = {Benkner, Siegfried and Franchetti, Franz and Gerndt, Hans Michael and Hollingsworth, Jeffrey K.},
title = {{Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)}},
pages = {214--244},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Benkner, Siegfried and Franchetti, Franz and Gerndt, Hans Michael and Hollingsworth, Jeffrey K.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.214},
URN = {urn:nbn:de:0030-drops-44234},
doi = {10.4230/DagRep.3.9.214},
annote = {Keywords: Parallel Computing, Programming Tools, Performance Analysis and Tuning}
}
@Article{sheth_et_al:DagRep.3.9.245,
author = {Sheth, Amit P. and Barnaghi, Payam and Strohmaier, Markus and Jain, Ramesh and Staab, Streffen},
title = {{Physical-Cyber-Social Computing (Dagstuhl Reports 13402)}},
pages = {245--263},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {9},
editor = {Sheth, Amit P. and Barnaghi, Payam and Strohmaier, Markus and Jain, Ramesh and Staab, Streffen},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.245},
URN = {urn:nbn:de:0030-drops-44248},
doi = {10.4230/DagRep.3.9.245},
annote = {Keywords: Semantic sensor networks, Web of Things, Internet of Things, Semantic interoperability and context, Social computing, Collective intelligence, Situation-awareness, Human and machine perception, Computing for human experience, Social life networks}
}
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