@Article{DagRep.3.4,
title = {{Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4},
URN = {urn:nbn:de:0030-drops-42636},
doi = {10.4230/DagRep.3.4},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue}
}
@Article{DagRep.3.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 04, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.i},
URN = {urn:nbn:de:0030-drops-42627},
doi = {10.4230/DagRep.3.4.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
@Article{charronbost_et_al:DagRep.3.4.1,
author = {Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef},
title = {{Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)}},
pages = {1--16},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Charron-Bost, Bernadette and Merz, Stephan and Rybalchenko, Andrey and Widder, Josef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.1},
URN = {urn:nbn:de:0030-drops-40747},
doi = {10.4230/DagRep.3.4.1},
annote = {Keywords: Distributed algorithms; semi-automated proofs; model checking}
}
@Article{cohen_et_al:DagRep.3.4.17,
author = {Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
title = {{Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)}},
pages = {17--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.17},
URN = {urn:nbn:de:0030-drops-40758},
doi = {10.4230/DagRep.3.4.17},
annote = {Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models}
}
@Article{kobourov_et_al:DagRep.3.4.34,
author = {Kobourov, Stephen G. and N\"{o}llenburg, Martin and Teillaud, Monique},
title = {{Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)}},
pages = {34--68},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Kobourov, Stephen G. and N\"{o}llenburg, Martin and Teillaud, Monique},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.34},
URN = {urn:nbn:de:0030-drops-41680},
doi = {10.4230/DagRep.3.4.34},
annote = {Keywords: graph drawing, information visualization, computational cartography, computational geometry}
}
@Article{hart_et_al:DagRep.3.4.69,
author = {Hart, Sergiu and Tardos, \'{E}va and von Stengel, Bernhard},
title = {{Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161)}},
pages = {69--90},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Hart, Sergiu and Tardos, \'{E}va and von Stengel, Bernhard},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.69},
URN = {urn:nbn:de:0030-drops-41341},
doi = {10.4230/DagRep.3.4.69},
annote = {Keywords: Algorithmic Game Theory, Economics, Internet, Nash Equilibrium, Mechanism Design, Auctions}
}
@Article{lhotak_et_al:DagRep.3.4.91,
author = {Lhotak, Ondrej and Smaragdakis, Yannis and Sridharan, Manu},
title = {{Pointer Analysis (Dagstuhl Seminar 13162)}},
pages = {91--113},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Lhotak, Ondrej and Smaragdakis, Yannis and Sridharan, Manu},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.91},
URN = {urn:nbn:de:0030-drops-41698},
doi = {10.4230/DagRep.3.4.91},
annote = {Keywords: pointer analysis, points-to analysis, alias analysis, static analysis, programming languages}
}
@Article{baresi_et_al:DagRep.3.4.114,
author = {Baresi, Luciano and Rummler, Andreas and Schmid, Klaus},
title = {{Customizing Service Platforms (Dagstuhl Seminar 13171)}},
pages = {114--150},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Baresi, Luciano and Rummler, Andreas and Schmid, Klaus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.114},
URN = {urn:nbn:de:0030-drops-41736},
doi = {10.4230/DagRep.3.4.114},
annote = {Keywords: Service-Oriented Architectures, Service Platforms / Cloud Computing, Product Line Engineering, Variability Management}
}
@Article{lomuscio_et_al:DagRep.3.4.151,
author = {Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
title = {{VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)}},
pages = {151--187},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Lomuscio, Alessio R. and Pinchinat, Sophie and Schlingloff, Holger},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.151},
URN = {urn:nbn:de:0030-drops-41746},
doi = {10.4230/DagRep.3.4.151},
annote = {Keywords: Model checking, Specification-based testing, Multi-agent systems, Controller synthesis, Temporal logic}
}
@Article{clark_et_al:DagRep.3.4.188,
author = {Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
title = {{Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)}},
pages = {188--227},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.188},
URN = {urn:nbn:de:0030-drops-41755},
doi = {10.4230/DagRep.3.4.188},
annote = {Keywords: meta-modeling, model-based engineering, models, tools, domain specific modeling languages}
}
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