@Article{DagRep.4.11,
title = {{Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11},
URN = {urn:nbn:de:0030-drops-50031},
doi = {10.4230/DagRep.4.11},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue}
}
@Article{DagRep.4.11.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 11, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.i},
URN = {urn:nbn:de:0030-drops-50026},
doi = {10.4230/DagRep.4.11.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 11, 2014}
}
@Article{kratsch_et_al:DagRep.4.11.1,
author = {Kratsch, Stefan and Lokshtanov, Daniel and Marx, D\'{a}niel and Rossmanith, Peter},
title = {{Optimality and tight results in parameterized complexity (Dagstuhl Seminar 14451)}},
pages = {1--21},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Kratsch, Stefan and Lokshtanov, Daniel and Marx, D\'{a}niel and Rossmanith, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.1},
URN = {urn:nbn:de:0030-drops-49677},
doi = {10.4230/DagRep.4.11.1},
annote = {Keywords: Algorithms, parameterized complexity, kernels, width measures, exponential time hypothesis, lower bounds}
}
@Article{banzhaf_et_al:DagRep.4.11.22,
author = {Banzhaf, Wolfgang and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.},
title = {{Algorithmic Cheminformatics (Dagstuhl Seminar 14452)}},
pages = {22--39},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Banzhaf, Wolfgang and Flamm, Christoph and Merkle, Daniel and Stadler, Peter F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.22},
URN = {urn:nbn:de:0030-drops-49686},
doi = {10.4230/DagRep.4.11.22},
annote = {Keywords: Graph Transformation Systems, Graph and Hypergraph Invariants, Graph Comparison, Network Flows, Hypergraphs, Formal Languages, Algebraic Chemistry}
}
@Article{meyer_et_al:DagRep.4.11.40,
author = {Meyer, Ulrich Carsten and Meyerhenke, Henning and Pinar, Ali and Safro, Ilya},
title = {{High-performance Graph Algorithms and Applications in Computational Science (Dagstuhl Seminar 14461)}},
pages = {40--58},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Meyer, Ulrich Carsten and Meyerhenke, Henning and Pinar, Ali and Safro, Ilya},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.40},
URN = {urn:nbn:de:0030-drops-49697},
doi = {10.4230/DagRep.4.11.40},
annote = {Keywords: graphs, graph algorithms, graph theory, computational science, complex networks, network science, graph partitioning, linear algebra, parallel program}
}
@Article{yoneki_et_al:DagRep.4.11.59,
author = {Yoneki, Eiko and Roy, Amitabha and Murray, Derek},
title = {{Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462)}},
pages = {59--77},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Yoneki, Eiko and Roy, Amitabha and Murray, Derek},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.59},
URN = {urn:nbn:de:0030-drops-49700},
doi = {10.4230/DagRep.4.11.59},
annote = {Keywords: Large-scale graph processing, Graph structured data, Database, Graph algorithms, Parallel I/O, Parallel programming, Storage, Distributed systems, GPU}
}
@Article{crowcroft_et_al:DagRep.4.11.78,
author = {Crowcroft, Jon and Wolisz, Adam and Sathiaseelan, Arjuna},
title = {{Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment (Dagstuhl Seminar 14471)}},
pages = {78--137},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Crowcroft, Jon and Wolisz, Adam and Sathiaseelan, Arjuna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.78},
URN = {urn:nbn:de:0030-drops-49717},
doi = {10.4230/DagRep.4.11.78},
annote = {Keywords: Internet access, cost, wireless, regulation, social, deployments, protocols}
}
@Article{gilbert_et_al:DagRep.4.11.138,
author = {Gilbert, David and Heiner, Monika and Takahashi, Koichi and Uhrmacher, Adelinde M.},
title = {{Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)}},
pages = {138--226},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Gilbert, David and Heiner, Monika and Takahashi, Koichi and Uhrmacher, Adelinde M.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.138},
URN = {urn:nbn:de:0030-drops-49723},
doi = {10.4230/DagRep.4.11.138},
annote = {Keywords: Multiscale, multidimensional, computational modelling, space, time, systems biology, synthetic biology}
}
@Article{cimatti_et_al:DagRep.4.11.227,
author = {Cimatti, Alessandro and Edelkamp, Stefan and Fox, Maria and Magazzeni, Daniele and Plaku, Erion},
title = {{Automated Planning and Model Checking (Dagstuhl Seminar 14482)}},
pages = {227--245},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {11},
editor = {Cimatti, Alessandro and Edelkamp, Stefan and Fox, Maria and Magazzeni, Daniele and Plaku, Erion},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.11.227},
URN = {urn:nbn:de:0030-drops-49731},
doi = {10.4230/DagRep.4.11.227},
annote = {Keywords: planning via model checking, directed model checking, plan validation, falsification, GPU-based state space exploration, hybrid systems, heuristic sea}
}
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