Dagstuhl Reports, Volume 3, Issue 9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Dagstuhl Reports, Volume 3, Issue 9, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Tobias Hoßfeld, Phuoc Tran-Gia, and Maja Vucovic. Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361). In Dagstuhl Reports, Volume 3, Issue 9, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@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}
}
Michael N. Huhns, Wei Li, and Wei-Tek Tsai. Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). In Dagstuhl Reports, Volume 3, Issue 9, pp. 34-58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@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}
}
Serge Fehr, Michele Mosca, Martin Rötteler, and Rainer Steinwandt. Quantum Cryptanalysis (Dagstuhl Seminar 13371). In Dagstuhl Reports, Volume 3, Issue 9, pp. 59-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). In Dagstuhl Reports, Volume 3, Issue 9, pp. 74-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Henri Casanova, Yves Robert, and Uwe Schwiegelshohn. Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381). In Dagstuhl Reports, Volume 3, Issue 9, pp. 106-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Alan Blackwell, Alex McLean, James Noble, and Julian Rohrhuber. Collaboration and learning through live coding (Dagstuhl Seminar 13382). In Dagstuhl Reports, Volume 3, Issue 9, pp. 130-168, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Andrew V. Goldberg, Giuseppe F. Italiano, David S. Johnson, and Dorothea Wagner. Algorithm Engineering (Dagstuhl Seminar 13391). In Dagstuhl Reports, Volume 3, Issue 9, pp. 169-189, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Onur Altintas, Falko Dressler, Hannes Hartenstein, and Ozan K. Tonguz. Inter-Vehicular Communication -- Quo Vadis (Dagstuhl Seminar 13392). In Dagstuhl Reports, Volume 3, Issue 9, pp. 190-213, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Siegfried Benkner, Franz Franchetti, Hans Michael Gerndt, and Jeffrey K. Hollingsworth. Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401). In Dagstuhl Reports, Volume 3, Issue 9, pp. 214-244, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}
Amit P. Sheth, Payam Barnaghi, Markus Strohmaier, Ramesh Jain, and Streffen Staab. Physical-Cyber-Social Computing (Dagstuhl Reports 13402). In Dagstuhl Reports, Volume 3, Issue 9, pp. 245-263, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@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}
}