@Article{DagRep.7.3, title = {{Dagstuhl Reports, Volume 7, Issue 3, March 2017, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3}, URN = {urn:nbn:de:0030-drops-82919}, doi = {10.4230/DagRep.7.3}, annote = {Keywords: Dagstuhl Reports, Volume 7, Issue 3, March 2017, Complete Issue} } @Article{DagRep.7.3.i, title = {{Dagstuhl Reports, Table of Contents, Volume 7, Issue 3, 2017}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.i}, URN = {urn:nbn:de:0030-drops-82903}, doi = {10.4230/DagRep.7.3.i}, annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 3, 2017} } @Article{alonso_et_al:DagRep.7.3.1, author = {Alonso, Gustavo and Blott, Michaela and Teubner, Jens}, title = {{Databases on Future Hardware (Dagstuhl Seminar 17101)}}, pages = {1--18}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Alonso, Gustavo and Blott, Michaela and Teubner, Jens}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.1}, URN = {urn:nbn:de:0030-drops-73588}, doi = {10.4230/DagRep.7.3.1}, annote = {Keywords: computer architecture, hardware support for databases, non-volatile} } @Article{fritz_et_al:DagRep.7.3.19, author = {Fritz, Thomas and Mark, Gloria and Murphy, Gail C. and Zimmermann, Thomas}, title = {{Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102)}}, pages = {19--26}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Fritz, Thomas and Mark, Gloria and Murphy, Gail C. and Zimmermann, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.19}, URN = {urn:nbn:de:0030-drops-73592}, doi = {10.4230/DagRep.7.3.19}, annote = {Keywords: productivity, software development, human factors, productivity factors, grand challenges} } @Article{chaudhuri_et_al:DagRep.7.3.27, author = {Chaudhuri, Swarat and Kannan, Sampath and Majumdar, Rupak and Wooldridge, Michael J.}, title = {{Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)}}, pages = {27--32}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Chaudhuri, Swarat and Kannan, Sampath and Majumdar, Rupak and Wooldridge, Michael J.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.27}, URN = {urn:nbn:de:0030-drops-79609}, doi = {10.4230/DagRep.7.3.27}, annote = {Keywords: game theory, formal methods, logic, algorithms, equilibria, multiagent systems} } @Article{friedman_et_al:DagRep.7.3.33, author = {Friedman, Timur and Pras, Aiko and Sch\"{o}nw\"{a}lder, J\"{u}rgen}, title = {{Using Networks to Teach About Networks (Dagstuhl Seminar 17112)}}, pages = {33--44}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Friedman, Timur and Pras, Aiko and Sch\"{o}nw\"{a}lder, J\"{u}rgen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.33}, URN = {urn:nbn:de:0030-drops-73608}, doi = {10.4230/DagRep.7.3.33}, annote = {Keywords: computer networks, Internet, education, peer instruction, online learning, educational technologies} } @Article{gal_et_al:DagRep.7.3.45, author = {G\'{a}l, Anna and Kouck\'{y}, Michal and Regev, Oded and Tantau, Till}, title = {{Computational Complexity of Discrete Problems (Dagstuhl Seminar 17121)}}, pages = {45--69}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {G\'{a}l, Anna and Kouck\'{y}, Michal and Regev, Oded and Tantau, Till}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.45}, URN = {urn:nbn:de:0030-drops-73611}, doi = {10.4230/DagRep.7.3.45}, annote = {Keywords: Computational Complexity} } @Article{cucugrosjean_et_al:DagRep.7.3.70, author = {Cucu-Grosjean, Liliana and Davis, Robert and Baruah, Sanjoy K. and Stephenson, Zo\"{e}}, title = {{Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)}}, pages = {70--98}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Cucu-Grosjean, Liliana and Davis, Robert and Baruah, Sanjoy K. and Stephenson, Zo\"{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.70}, URN = {urn:nbn:de:0030-drops-73622}, doi = {10.4230/DagRep.7.3.70}, annote = {Keywords: mixed-criticality multicore manycore real-time-systems} } @Article{beck_et_al:DagRep.7.3.99, author = {Beck, Roman and Becker, Christian and Lindman, Juho and Rossi, Matti}, title = {{Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)}}, pages = {99--142}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {3}, editor = {Beck, Roman and Becker, Christian and Lindman, Juho and Rossi, Matti}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.99}, URN = {urn:nbn:de:0030-drops-73637}, doi = {10.4230/DagRep.7.3.99}, annote = {Keywords: bitcoin, blockchain, cryptocurrencies, trust networks, trust platforms} }