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} }
Feedback for Dagstuhl Publishing