@Article{DagRep.4.8,
title = {{Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8},
URN = {urn:nbn:de:0030-drops-48964},
doi = {10.4230/DagRep.4.8},
annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 8, August 2014, Complete Issue}
}
@Article{DagRep.4.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.i},
URN = {urn:nbn:de:0030-drops-48954},
doi = {10.4230/DagRep.4.8.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 8, 2014}
}
@Article{benedikt_et_al:DagRep.4.8.1,
author = {Benedikt, Michael and Lutz, Carsten and Ten Cate, Balder},
title = {{Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)}},
pages = {1--20},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Benedikt, Michael and Lutz, Carsten and Ten Cate, Balder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.1},
URN = {urn:nbn:de:0030-drops-47941},
doi = {10.4230/DagRep.4.8.1},
annote = {Keywords: Integrity constraints, Open-World Query Answering, Ontology-Based Data Access, Knowledge Representation, Automated Reasoning, Decidable Fragments of}
}
@Article{agotnes_et_al:DagRep.4.8.21,
author = {Agotnes, Thomas and Bulling, Nils},
title = {{Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)}},
pages = {21--44},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Agotnes, Thomas and Bulling, Nils},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.21},
URN = {urn:nbn:de:0030-drops-47971},
doi = {10.4230/DagRep.4.8.21},
annote = {Keywords: multi-agent systems, coordination, formal methods, game theory, logic, agreement technologies}
}
@Article{haxhimusa_et_al:DagRep.4.8.45,
author = {Haxhimusa, Yll and van Rooij, Iris and Varma, Sashank and Wareham, Todd},
title = {{Resource-bounded Problem Solving (Dagstuhl Seminar 14341)}},
pages = {45--72},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Haxhimusa, Yll and van Rooij, Iris and Varma, Sashank and Wareham, Todd},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.45},
URN = {urn:nbn:de:0030-drops-47989},
doi = {10.4230/DagRep.4.8.45},
annote = {Keywords: complexity theory, problem solving, cognitive psychology, computational trade-offs}
}
@Article{megiddo_et_al:DagRep.4.8.73,
author = {Megiddo, Nimrod and Mehlhorn, Kurt and Savani, Rahul and Vazirani, Vijay V.},
title = {{Equilibrium Computation (Dagstuhl Seminar 14342)}},
pages = {73--88},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Megiddo, Nimrod and Mehlhorn, Kurt and Savani, Rahul and Vazirani, Vijay V.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.73},
URN = {urn:nbn:de:0030-drops-47990},
doi = {10.4230/DagRep.4.8.73},
annote = {Keywords: Algorithms, Computational Complexity, Equilibrium Computation, Game Theory, Market Equilibrium, Nash Equilibrium}
}
@Article{kroening_et_al:DagRep.4.8.89,
author = {Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
title = {{Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}},
pages = {89--106},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Kroening, Daniel and Reps, Thomas W. and Seshia, Sanjit A. and Thakur, Aditya},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.89},
URN = {urn:nbn:de:0030-drops-48007},
doi = {10.4230/DagRep.4.8.89},
annote = {Keywords: Program analysis, Abstract interpretation, Abstract domain, Fixed-point finding, Satisfiability checking, Satisfiability modulo theories, Decision pro}
}
@Article{cousot_et_al:DagRep.4.8.107,
author = {Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
title = {{Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)}},
pages = {107--125},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {4},
number = {8},
editor = {Cousot, Patrick and Kroening, Daniel and Sinz, Carsten},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.107},
URN = {urn:nbn:de:0030-drops-48203},
doi = {10.4230/DagRep.4.8.107},
annote = {Keywords: Software quality, Bug finding, Verification, Decision procedures, SMT/SAT solvers}
}
@Article{alexa_et_al:DagRep.4.8.126,
author = {Alexa, Marc and Bickel, Bernd and McMains, Sara and Rushmeier, Holly E.},
title = {{Computational Aspects of Fabrication (Dagstuhl Seminar 14361)}},
pages = {126--150},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {8},
editor = {Alexa, Marc and Bickel, Bernd and McMains, Sara and Rushmeier, Holly E.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.126},
URN = {urn:nbn:de:0030-drops-48830},
doi = {10.4230/DagRep.4.8.126},
annote = {Keywords: Fabrication, Manufacturing Process Characterization (Additive Machining), 3D printing, Layered Manufacturing, 3D Rasterization, Geometric Modeling, Shape Perception, Material Properties (Mechanical/Optical)}
}
@Article{billinghurst_et_al:DagRep.4.8.151,
author = {Billinghurst, Mark and Davies, Nigel and Langheinrich, Marc and Schmidt, Albrecht},
title = {{Augmenting Human Memory - Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)}},
pages = {151--173},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {4},
number = {8},
editor = {Billinghurst, Mark and Davies, Nigel and Langheinrich, Marc and Schmidt, Albrecht},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.8.151},
URN = {urn:nbn:de:0030-drops-48867},
doi = {10.4230/DagRep.4.8.151},
annote = {Keywords: human memory interaction, lifelogging, memory augmentation}
}
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