HTML Export for ICCSW 2014

Copy to Clipboard Download

<h2>OASIcs, Volume 43, ICCSW 2014</h2>
<ul>
<li>
    <span class="authors">Rumyana Neykova and Nicholas Ng</span>
    <span class="title">OASIcs, Volume 43, ICCSW&#039;14, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014">10.4230/OASIcs.ICCSW.2014</a>
</li>
<li>
    <span class="authors">Rumyana Neykova and Nicholas Ng</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.i">10.4230/OASIcs.ICCSW.2014.i</a>
</li>
<li>
    <span class="authors">Shane Legg</span>
    <span class="title">From academia to industry: The story of Google DeepMind</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.1">10.4230/OASIcs.ICCSW.2014.1</a>
</li>
<li>
    <span class="authors">Philip Wadler</span>
    <span class="title">You and Your Research and the Elements of Style</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.2">10.4230/OASIcs.ICCSW.2014.2</a>
</li>
<li>
    <span class="authors">Evgenij Belikov</span>
    <span class="title">History-Based Adaptive Work Distribution</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.3">10.4230/OASIcs.ICCSW.2014.3</a>
</li>
<li>
    <span class="authors">Ethel Bardsley</span>
    <span class="title">Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.11">10.4230/OASIcs.ICCSW.2014.11</a>
</li>
<li>
    <span class="authors">Andrew Cropper</span>
    <span class="title">Identifying and inferring objects from textual descriptions of scenes from books</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.19">10.4230/OASIcs.ICCSW.2014.19</a>
</li>
<li>
    <span class="authors">Jakub Daniel and Pavel Parízek</span>
    <span class="title">Predicate Abstraction in Program Verification: Survey and Current Trends</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.27">10.4230/OASIcs.ICCSW.2014.27</a>
</li>
<li>
    <span class="authors">Pantazis Deligiannis and Alastair F. Donaldson</span>
    <span class="title">Automatic Verification of Data Race Freedom in Device Drivers</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.36">10.4230/OASIcs.ICCSW.2014.36</a>
</li>
<li>
    <span class="authors">Romain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia, and David Hill</span>
    <span class="title">A survey of modelling and simulation software frameworks using Discrete Event System Specification</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.40">10.4230/OASIcs.ICCSW.2014.40</a>
</li>
<li>
    <span class="authors">Juliana Franco, Sophia Drossopoulou, and Nobuko Yoshida</span>
    <span class="title">Calculating communication costs with Sessions Types and Sizes</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.50">10.4230/OASIcs.ICCSW.2014.50</a>
</li>
<li>
    <span class="authors">Quoc-Sang Phan</span>
    <span class="title">Symbolic Execution as DPLL Modulo Theories</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.58">10.4230/OASIcs.ICCSW.2014.58</a>
</li>
<li>
    <span class="authors">Jörg Pührer</span>
    <span class="title">Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.66">10.4230/OASIcs.ICCSW.2014.66</a>
</li>
<li>
    <span class="authors">Lei Shi</span>
    <span class="title">Defining and Evaluating Learner Experience for Social Adaptive E-Learning</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.74">10.4230/OASIcs.ICCSW.2014.74</a>
</li>
<li>
    <span class="authors">Maciej Skorski</span>
    <span class="title">On Recent Advances in Key Derivation via the Leftover Hash Lemma</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.83">10.4230/OASIcs.ICCSW.2014.83</a>
</li>
<li>
    <span class="authors">Christof Spanring</span>
    <span class="title">Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICCSW.2014.91">10.4230/OASIcs.ICCSW.2014.91</a>
</li>
</ul>

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