@Article{DagRep.3.2,
title = {{Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2},
URN = {urn:nbn:de:0030-drops-41302},
doi = {10.4230/DagRep.3.2},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue}
}
@Article{DagRep.3.2.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.i},
URN = {urn:nbn:de:0030-drops-41296},
doi = {10.4230/DagRep.3.2.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013}
}
@Article{harrold_et_al:DagRep.3.2.1,
author = {Harrold, Mary Jean and Steinmann, Friedrich and Tip, Frank and Zeller, Andreas},
title = {{Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)}},
pages = {1--21},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Harrold, Mary Jean and Steinmann, Friedrich and Tip, Frank and Zeller, Andreas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.1},
URN = {urn:nbn:de:0030-drops-40166},
doi = {10.4230/DagRep.3.2.1},
annote = {Keywords: Program analysis, Automated debugging, Fault prediction, Fault repair, Fault localization, Statistical debugging, Change impact analysis}
}
@Article{buchegger_et_al:DagRep.3.2.22,
author = {Buchegger, Sonja and Crowcroft, Jon and Krishnamurthy, Balachander and Strufe, Thorsten},
title = {{Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062)}},
pages = {22--44},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Buchegger, Sonja and Crowcroft, Jon and Krishnamurthy, Balachander and Strufe, Thorsten},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.22},
URN = {urn:nbn:de:0030-drops-40177},
doi = {10.4230/DagRep.3.2.22},
annote = {Keywords: Privacy, Decentralized Systems, Economics, Usability, Mobility}
}
@Article{abramsky_et_al:DagRep.3.2.45,
author = {Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert},
title = {{Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)}},
pages = {45--54},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.45},
URN = {urn:nbn:de:0030-drops-40127},
doi = {10.4230/DagRep.3.2.45},
annote = {Keywords: Data structures, Algorithms, Complexity, Verification, Logic}
}
@Article{fagard_et_al:DagRep.3.2.55,
author = {Fagard, Jacqueline and Grupen, Roderic A. and Guerin, Frank and Kr\"{u}ger, Norbert},
title = {{Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072)}},
pages = {55--91},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Fagard, Jacqueline and Grupen, Roderic A. and Guerin, Frank and Kr\"{u}ger, Norbert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.55},
URN = {urn:nbn:de:0030-drops-40181},
doi = {10.4230/DagRep.3.2.55},
annote = {Keywords: Developmental psychology, Infancy, Motor skill development, Perceptual development, Origins of concepts, Developmental robotics, Affordances, Intrinsi}
}
@Article{kemme_et_al:DagRep.3.2.92,
author = {Kemme, Bettina and Ramalingam, Ganesan and Schiper, Andr\'{e} and Shapiro, Marc and Vaswani, Kapil},
title = {{Consistency in Distributed Systems (Dagstuhl Seminar 13081)}},
pages = {92--126},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Kemme, Bettina and Ramalingam, Ganesan and Schiper, Andr\'{e} and Shapiro, Marc and Vaswani, Kapil},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.92},
URN = {urn:nbn:de:0030-drops-40146},
doi = {10.4230/DagRep.3.2.92},
annote = {Keywords: Replication, Consistency, Strong Consistency, Weak Consistency, Distributed Systems, Distributed Algorithms}
}
@Article{beasley_et_al:DagRep.3.2.127,
author = {Beasley, LeRoy B. and Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver},
title = {{Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082)}},
pages = {127--143},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Beasley, LeRoy B. and Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.127},
URN = {urn:nbn:de:0030-drops-40191},
doi = {10.4230/DagRep.3.2.127},
annote = {Keywords: nonnegative rank, combinatorial optimization, communication complexity, extended formulation size}
}
@Article{borba_et_al:DagRep.3.2.144,
author = {Borba, Paulo and Cohen, Myra B. and Legay, Axel and Wasowski, Andrzej},
title = {{Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)}},
pages = {144--170},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {2},
editor = {Borba, Paulo and Cohen, Myra B. and Legay, Axel and Wasowski, Andrzej},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.144},
URN = {urn:nbn:de:0030-drops-40207},
doi = {10.4230/DagRep.3.2.144},
annote = {Keywords: Verification, Program Analysis, Testing, Semantics of Programming Languages, Software Engineering}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing