Dagstuhl Reports, Volume 2, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{DagRep.2.8,
title = {{Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8},
URN = {urn:nbn:de:0030-drops-39115},
doi = {10.4230/DagRep.2.8},
annote = {Keywords: Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue}
}
Dagstuhl Reports, Volume 2, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{DagRep.2.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.i},
URN = {urn:nbn:de:0030-drops-39105},
doi = {10.4230/DagRep.2.8.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012}
}
Goetz Graefe, Wey Guy, Harumi Anne Kuno, and Glenn Paullley. Robust Query Processing (Dagstuhl Seminar 12321). In Dagstuhl Reports, Volume 2, Issue 8, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{graefe_et_al:DagRep.2.8.1,
author = {Graefe, Goetz and Guy, Wey and Kuno, Harumi Anne and Paullley, Glenn},
title = {{Robust Query Processing (Dagstuhl Seminar 12321)}},
pages = {1--15},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Graefe, Goetz and Guy, Wey and Kuno, Harumi Anne and Paullley, Glenn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.1},
URN = {urn:nbn:de:0030-drops-37541},
doi = {10.4230/DagRep.2.8.1},
annote = {Keywords: robust query processing, adaptive query optimization, query execution, indexing, workload management, reliability, application availability}
}
Christopher W. Clifton, Bart Kuijpers, Katharina Morik, and Yucel Saygin. Mobility Data Mining and Privacy (Dagstuhl Seminar 12331). In Dagstuhl Reports, Volume 2, Issue 8, pp. 16-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{clifton_et_al:DagRep.2.8.16,
author = {Clifton, Christopher W. and Kuijpers, Bart and Morik, Katharina and Saygin, Yucel},
title = {{Mobility Data Mining and Privacy (Dagstuhl Seminar 12331)}},
pages = {16--53},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Clifton, Christopher W. and Kuijpers, Bart and Morik, Katharina and Saygin, Yucel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.16},
URN = {urn:nbn:de:0030-drops-37822},
doi = {10.4230/DagRep.2.8.16},
annote = {Keywords: Privacy, Mobility, Cellular, Vehicular Data}
}
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, and Matteo Sonza Reorda. Verifying Reliability (Dagstuhl Seminar 12341). In Dagstuhl Reports, Volume 2, Issue 8, pp. 54-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{fey_et_al:DagRep.2.8.57,
author = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo},
title = {{Verifying Reliability (Dagstuhl Seminar 12341)}},
pages = {54--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.57},
URN = {urn:nbn:de:0030-drops-37830},
doi = {10.4230/DagRep.2.8.57},
annote = {Keywords: Reliability, fault modeling, formal methods}
}
Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). In Dagstuhl Reports, Volume 2, Issue 8, pp. 74-98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{dix_et_al:DagRep.2.8.74,
author = {Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
title = {{Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)}},
pages = {74--98},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.74},
URN = {urn:nbn:de:0030-drops-37846},
doi = {10.4230/DagRep.2.8.74},
annote = {Keywords: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation}
}
Samson Abramsky, Jean Krivine, and Michael W. Mislove. Information Flow and Its Applications (Dagstuhl Seminar 12352). In Dagstuhl Reports, Volume 2, Issue 8, pp. 99-112, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{abramsky_et_al:DagRep.2.8.99,
author = {Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
title = {{Information Flow and Its Applications (Dagstuhl Seminar 12352)}},
pages = {99--112},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
editor = {Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.99},
URN = {urn:nbn:de:0030-drops-37866},
doi = {10.4230/DagRep.2.8.99},
annote = {Keywords: Information flow; semantics of computation; quantum computing; systems biology; information theory; informatics}
}