@Article{DagMan.1.1, title = {{Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue}}, pages = {1--62}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2012}, volume = {1}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.1.1}, URN = {urn:nbn:de:0030-drops-34497}, doi = {10.4230/DagMan.1.1}, annote = {Keywords: Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue} } @Article{DagMan.1.1.i, title = {{Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011}}, pages = {i--ii}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2012}, volume = {1}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.1.1.i}, URN = {urn:nbn:de:0030-drops-34480}, doi = {10.4230/DagMan.1.1.i}, annote = {Keywords: Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011} } @Article{fischerhubner_et_al:DagMan.1.1.1, author = {Fischer-H\"{u}bner, Simone and Hoofnagle, Chris and Krontiris, Ioannis and Rannenberg, Kai and Waidner, Michael}, title = {{Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)}}, pages = {1--20}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2011}, volume = {1}, number = {1}, editor = {Fischer-H\"{u}bner, Simone and Hoofnagle, Chris and Krontiris, Ioannis and Rannenberg, Kai and Waidner, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.1.1.1}, URN = {urn:nbn:de:0030-drops-32055}, doi = {10.4230/DagMan.1.1.1}, annote = {Keywords: Online Social Networks, Informational Self-Determination, Privacy Enhancing Technologies, Data Protection Directive} } @Article{kreiker_et_al:DagMan.1.1.21, author = {Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard}, title = {{Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)}}, pages = {21--40}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2011}, volume = {1}, number = {1}, editor = {Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.1.1.21}, URN = {urn:nbn:de:0030-drops-32121}, doi = {10.4230/DagMan.1.1.21}, annote = {Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability} } @Article{bourne_et_al:DagMan.1.1.41, author = {Bourne, Philip E. and Clark, Timothy W. and Dale, Robert and de Waard, Anita and Herman, Ivan and Hovy, Eduard H. and Shotton, David}, title = {{Improving The Future of Research Communications and e-Scholarship (Dagstuhl Perspectives Workshop 11331)}}, pages = {41--60}, journal = {Dagstuhl Manifestos}, ISSN = {2193-2433}, year = {2012}, volume = {1}, number = {1}, editor = {Bourne, Philip E. and Clark, Timothy W. and Dale, Robert and de Waard, Anita and Herman, Ivan and Hovy, Eduard H. and Shotton, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.1.1.41}, URN = {urn:nbn:de:0030-drops-34458}, doi = {10.4230/DagMan.1.1.41}, annote = {Keywords: Elektronisches Publizieren , Dokumentenserver , Bibliometrie Science publishing, online communities, science policy, digital repositories, semantic publishing, citation analysis} }