@Article{DagRep.6.5,
title = {{Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5},
URN = {urn:nbn:de:0030-drops-67639},
doi = {10.4230/DagRep.6.5},
annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue}
}
@Article{DagRep.6.5.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.i},
URN = {urn:nbn:de:0030-drops-67624},
doi = {10.4230/DagRep.6.5.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016}
}
@Article{hull_et_al:DagRep.6.5.1,
author = {Hull, Richard and Koschmider, Agnes and Reijers, Hajo A. and Wong, William},
title = {{Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)}},
pages = {1--30},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Hull, Richard and Koschmider, Agnes and Reijers, Hajo A. and Wong, William},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.1},
URN = {urn:nbn:de:0030-drops-66964},
doi = {10.4230/DagRep.6.5.1},
annote = {Keywords: business process models, process modeling, visualization}
}
@Article{clark_et_al:DagRep.6.5.31,
author = {Clark, Tony and Frank, Ulrich and Kulkarni, Vinay},
title = {{Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)}},
pages = {31--55},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Clark, Tony and Frank, Ulrich and Kulkarni, Vinay},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.31},
URN = {urn:nbn:de:0030-drops-67197},
doi = {10.4230/DagRep.6.5.31},
annote = {Keywords: Digital transformation, DSML, enterprise modelling, enterprise software systems, Organisational action systems}
}
@Article{dolby_et_al:DagRep.6.5.56,
author = {Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
title = {{Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)}},
pages = {56--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.56},
URN = {urn:nbn:de:0030-drops-67203},
doi = {10.4230/DagRep.6.5.56},
annote = {Keywords: (automatic) bug repair, concurrency bugs, concurrent programming, deductive verification, interactive verification, linearizability, synchronization testing}
}
@Article{keren_et_al:DagRep.6.5.72,
author = {Keren, Osnat and Polian, Ilia and Tehranipoor, Mark M.},
title = {{Hardware Security (Dagstuhl Seminar 16202)}},
pages = {72--93},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Keren, Osnat and Polian, Ilia and Tehranipoor, Mark M.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.72},
URN = {urn:nbn:de:0030-drops-67218},
doi = {10.4230/DagRep.6.5.72},
annote = {Keywords: Hardware security; Passive and active side-channel analysis; Machine learning; Cryptographic blocks; True random number generators; Physically unclonable functions; Hardware Trojan}
}
@Article{erickson_et_al:DagRep.6.5.94,
author = {Erickson, Jeff and Klein, Philip N. and Marx, D\'{a}niel and Mathieu, Claire},
title = {{Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)}},
pages = {94--113},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Erickson, Jeff and Klein, Philip N. and Marx, D\'{a}niel and Mathieu, Claire},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.94},
URN = {urn:nbn:de:0030-drops-67227},
doi = {10.4230/DagRep.6.5.94},
annote = {Keywords: Algorithms, planar graphs, theory, approximation, fixed-parameter tractable, network flow, network design, kernelization}
}
@Article{fisher_et_al:DagRep.6.5.114,
author = {Fisher, Michael and List, Christian and Slavkovik, Marija and Winfield, Alan},
title = {{Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)}},
pages = {114--137},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {5},
editor = {Fisher, Michael and List, Christian and Slavkovik, Marija and Winfield, Alan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.114},
URN = {urn:nbn:de:0030-drops-67236},
doi = {10.4230/DagRep.6.5.114},
annote = {Keywords: Artificial Morality, Machine Ethics, Computational Morality, Autonomous Systems, Intelligent Systems, Formal Ethics, Mathematical Philosophy, Robot Ethics}
}
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