@Article{DagRep.8.2,
title = {{Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2},
URN = {urn:nbn:de:0030-drops-97377},
doi = {10.4230/DagRep.8.2},
annote = {Keywords: Dagstuhl Reports, Volume 8, Issue 2, February 2018, Complete Issue}
}
@Article{DagRep.8.2.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.i},
URN = {urn:nbn:de:0030-drops-97364},
doi = {10.4230/DagRep.8.2.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 2, 2018}
}
@Article{stefik_et_al:DagRep.8.2.1,
author = {Stefik, Andreas and Sharif, Bonita and Myers, Brad. A. and Hanenberg, Stefan},
title = {{Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061)}},
pages = {1--25},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Stefik, Andreas and Sharif, Bonita and Myers, Brad. A. and Hanenberg, Stefan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.1},
URN = {urn:nbn:de:0030-drops-92887},
doi = {10.4230/DagRep.8.2.1},
annote = {Keywords: programming language design, computer science education, empirical software engineering, eye tracking, evidence standards}
}
@Article{beck_et_al:DagRep.8.2.26,
author = {Beck, J. Christopher and Magazzeni, Daniele and R\"{o}ger, Gabriele and Van Hoeve, Willem-Jan},
title = {{Planning and Operations Research (Dagstuhl Seminar 18071)}},
pages = {26--63},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Beck, J. Christopher and Magazzeni, Daniele and R\"{o}ger, Gabriele and Van Hoeve, Willem-Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.26},
URN = {urn:nbn:de:0030-drops-92894},
doi = {10.4230/DagRep.8.2.26},
annote = {Keywords: Artificial Intelligence, Automated Planning and Scheduling, Constraint Programming, Dynamic Programming, Heuristic Search, Mixed Integer Programming, Operations Research, Optimization, Real-world Applications, Reasoning under Uncertainty}
}
@Article{bonami_et_al:DagRep.8.2.64,
author = {Bonami, Pierre and Gleixner, Ambros M. and Linderoth, Jeff and Misener, Ruth},
title = {{Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)}},
pages = {64--87},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Bonami, Pierre and Gleixner, Ambros M. and Linderoth, Jeff and Misener, Ruth},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.64},
URN = {urn:nbn:de:0030-drops-92909},
doi = {10.4230/DagRep.8.2.64},
annote = {Keywords: Complexity, Mathematical optimization, Mathematical software, Mixed-integer optimization, Nonlinear optimization, Numerical issues, Optimization algorithms}
}
@Article{benenson_et_al:DagRep.8.2.88,
author = {Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
title = {{Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)}},
pages = {88--100},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Benenson, Yaakov and Dalchau, Neil and Koeppl, Heinz and Maler, Oded},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.88},
URN = {urn:nbn:de:0030-drops-92912},
doi = {10.4230/DagRep.8.2.88},
annote = {Keywords: Synthetic biology, Electronic design automation, Program synthesis and verification}
}
@Article{bieniusa_et_al:DagRep.8.2.101,
author = {Bieniusa, Annette and Gotsman, Alexey and Kemme, Bettina and Shapiro, Marc},
title = {{Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)}},
pages = {101--121},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Bieniusa, Annette and Gotsman, Alexey and Kemme, Bettina and Shapiro, Marc},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.101},
URN = {urn:nbn:de:0030-drops-92923},
doi = {10.4230/DagRep.8.2.101},
annote = {Keywords: consistency, CRDTs, Distributed Algorithms, distributed computing, Distributed Systems, partitioning, replication, Strong Consistency, transactions, Weak Consistency}
}
@Article{ernst_et_al:DagRep.8.2.122,
author = {Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin},
title = {{The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)}},
pages = {122--149},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {2},
editor = {Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.2.122},
URN = {urn:nbn:de:0030-drops-92939},
doi = {10.4230/DagRep.8.2.122},
annote = {Keywords: Automotive domain, logical execution time, multicore architectures, real-time systems}
}
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