@Article{DagRep.2.10, title = {{Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10}, URN = {urn:nbn:de:0030-drops-39819}, doi = {10.4230/DagRep.2.10}, annote = {Keywords: Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue} } @Article{DagRep.2.10.i, title = {{Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.i}, URN = {urn:nbn:de:0030-drops-39803}, doi = {10.4230/DagRep.2.10.i}, annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012} } @Article{desmet_et_al:DagRep.2.10.1, author = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei}, title = {{Web Application Security (Dagstuhl Seminar 12401)}}, pages = {1--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.1}, URN = {urn:nbn:de:0030-drops-39051}, doi = {10.4230/DagRep.2.10.1}, annote = {Keywords: Web application security, JavaScript, Secure interaction, Information flow, Secure composition, Application security, Web 2.0} } @Article{doberkat_et_al:DagRep.2.10.38, author = {Doberkat, Ernst-Erich and Kurz, Alexander}, title = {{Coalgebraic Logics (Dagstuhl Seminar 12411)}}, pages = {38--59}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Doberkat, Ernst-Erich and Kurz, Alexander}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.38}, URN = {urn:nbn:de:0030-drops-38938}, doi = {10.4230/DagRep.2.10.38}, annote = {Keywords: Modal Logic, Coalgebra, Category Theory, Stochastic Logic, Categorical Semantics} } @Article{agrawal_et_al:DagRep.2.10.60, author = {Agrawal, Manindra and Thierauf, Thomas and Umans, Christopher}, title = {{Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421)}}, pages = {60--78}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Agrawal, Manindra and Thierauf, Thomas and Umans, Christopher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.60}, URN = {urn:nbn:de:0030-drops-39034}, doi = {10.4230/DagRep.2.10.60}, annote = {Keywords: Computational Complexity, lower bounds, approximazation, pseudo-randomness, derandomization, circuits} } @Article{davis_et_al:DagRep.2.10.79, author = {Davis, James and J\"{a}hne, Bernd and Kolb, Andreas and Raskar, Ramesh and Theobalt, Christian}, title = {{Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431)}}, pages = {79--104}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Davis, James and J\"{a}hne, Bernd and Kolb, Andreas and Raskar, Ramesh and Theobalt, Christian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.79}, URN = {urn:nbn:de:0030-drops-39044}, doi = {10.4230/DagRep.2.10.79}, annote = {Keywords: Time-of-Flight, Kinect^TM, depth sensor} } @Article{delgrande_et_al:DagRep.2.10.105, author = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike}, title = {{Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)}}, pages = {105--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.105}, URN = {urn:nbn:de:0030-drops-39079}, doi = {10.4230/DagRep.2.10.105}, annote = {Keywords: Artificial intelligence, Belief change, Ontologies, Description logics} } @Article{clelandhuang_et_al:DagRep.2.10.117, author = {Cleland-Huang, Jane and Jarke, Matthias and Liu, Lin and Lyytinen, Kalle}, title = {{Requirements Management – Novel Perspectives and Challenges (Dagstuhl Seminar 12442)}}, pages = {117--152}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Cleland-Huang, Jane and Jarke, Matthias and Liu, Lin and Lyytinen, Kalle}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.117}, URN = {urn:nbn:de:0030-drops-39082}, doi = {10.4230/DagRep.2.10.117}, annote = {Keywords: requirements engineering; system complexity; software evolution; socio-technical systems} }