@Proceedings{neykova_et_al:OASIcs.ICCSW.2014,
title = {{OASIcs, Volume 43, ICCSW'14, Complete Volume}},
booktitle = {2014 Imperial College Computing Student Workshop},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014},
URN = {urn:nbn:de:0030-drops-47809},
doi = {10.4230/OASIcs.ICCSW.2014},
annote = {Keywords: Languages and Compilers, Parallel Architectures, Applicative (Functional) Programming, Parallel Programming, Requirements/Specifications Software/Program Verification, Concurrent Programming, Complexity Measures and Classes, Specifying and Verifying and Reasoning about Programs,}
}
@InProceedings{neykova_et_al:OASIcs.ICCSW.2014.i,
author = {Neykova, Rumyana and Ng, Nicholas},
title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {i--xiii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.i},
URN = {urn:nbn:de:0030-drops-47647},
doi = {10.4230/OASIcs.ICCSW.2014.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization}
}
@InProceedings{legg:OASIcs.ICCSW.2014.1,
author = {Legg, Shane},
title = {{From academia to industry: The story of Google DeepMind}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {1--1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.1},
URN = {urn:nbn:de:0030-drops-47650},
doi = {10.4230/OASIcs.ICCSW.2014.1},
annote = {Keywords: machine learning}
}
@InProceedings{wadler:OASIcs.ICCSW.2014.2,
author = {Wadler, Philip},
title = {{You and Your Research and the Elements of Style}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {2--2},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.2},
URN = {urn:nbn:de:0030-drops-47669},
doi = {10.4230/OASIcs.ICCSW.2014.2},
annote = {Keywords: research, communication}
}
@InProceedings{belikov:OASIcs.ICCSW.2014.3,
author = {Belikov, Evgenij},
title = {{History-Based Adaptive Work Distribution}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {3--10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.3},
URN = {urn:nbn:de:0030-drops-47671},
doi = {10.4230/OASIcs.ICCSW.2014.3},
annote = {Keywords: Adaptive Load Balancing, Work Stealing, Work Pushing, High-Level Parallel Programming, Context-Awareness}
}
@InProceedings{bardsley:OASIcs.ICCSW.2014.11,
author = {Bardsley, Ethel},
title = {{Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {11--18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.11},
URN = {urn:nbn:de:0030-drops-47688},
doi = {10.4230/OASIcs.ICCSW.2014.11},
annote = {Keywords: Concurrency, weak memory, compilers}
}
@InProceedings{cropper:OASIcs.ICCSW.2014.19,
author = {Cropper, Andrew},
title = {{Identifying and inferring objects from textual descriptions of scenes from books}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {19--26},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.19},
URN = {urn:nbn:de:0030-drops-47690},
doi = {10.4230/OASIcs.ICCSW.2014.19},
annote = {Keywords: Text-to-Scene Conversion, Natural Language Processing, Artificial Intelligence}
}
@InProceedings{daniel_et_al:OASIcs.ICCSW.2014.27,
author = {Daniel, Jakub and Par{\'\i}zek, Pavel},
title = {{Predicate Abstraction in Program Verification: Survey and Current Trends}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {27--35},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.27},
URN = {urn:nbn:de:0030-drops-47706},
doi = {10.4230/OASIcs.ICCSW.2014.27},
annote = {Keywords: program verification, model checking, predicate abstraction, refinement}
}
@InProceedings{deligiannis_et_al:OASIcs.ICCSW.2014.36,
author = {Deligiannis, Pantazis and Donaldson, Alastair F.},
title = {{Automatic Verification of Data Race Freedom in Device Drivers}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {36--39},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.36},
URN = {urn:nbn:de:0030-drops-47715},
doi = {10.4230/OASIcs.ICCSW.2014.36},
annote = {Keywords: Device Drivers, Verification, Concurrency, Data Races}
}
@InProceedings{franceschini_et_al:OASIcs.ICCSW.2014.40,
author = {Franceschini, Romain and Bisgambiglia, Paul-Antoine and Touraille, Luc and Bisgambiglia, Paul and Hill, David},
title = {{A survey of modelling and simulation software frameworks using Discrete Event System Specification}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {40--49},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.40},
URN = {urn:nbn:de:0030-drops-47721},
doi = {10.4230/OASIcs.ICCSW.2014.40},
annote = {Keywords: DEVS, Framework, Survey, Modelling, Simulation}
}
@InProceedings{franco_et_al:OASIcs.ICCSW.2014.50,
author = {Franco, Juliana and Drossopoulou, Sophia and Yoshida, Nobuko},
title = {{Calculating communication costs with Sessions Types and Sizes}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {50--57},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.50},
URN = {urn:nbn:de:0030-drops-47739},
doi = {10.4230/OASIcs.ICCSW.2014.50},
annote = {Keywords: Session types, communication, object-oriented, multicore}
}
@InProceedings{phan:OASIcs.ICCSW.2014.58,
author = {Phan, Quoc-Sang},
title = {{Symbolic Execution as DPLL Modulo Theories}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {58--65},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.58},
URN = {urn:nbn:de:0030-drops-47746},
doi = {10.4230/OASIcs.ICCSW.2014.58},
annote = {Keywords: Symbolic Execution, Satisfiability Modulo Theories}
}
@InProceedings{puhrer:OASIcs.ICCSW.2014.66,
author = {P\"{u}hrer, J\"{o}rg},
title = {{Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {66--73},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.66},
URN = {urn:nbn:de:0030-drops-47757},
doi = {10.4230/OASIcs.ICCSW.2014.66},
annote = {Keywords: Artificial Intelligence, Simulation, Programming Paradigm}
}
@InProceedings{shi:OASIcs.ICCSW.2014.74,
author = {Shi, Lei},
title = {{Defining and Evaluating Learner Experience for Social Adaptive E-Learning}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {74--82},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.74},
URN = {urn:nbn:de:0030-drops-47765},
doi = {10.4230/OASIcs.ICCSW.2014.74},
annote = {Keywords: Social adaptive e-learning, user-centric evaluation, learner experience}
}
@InProceedings{skorski:OASIcs.ICCSW.2014.83,
author = {Skorski, Maciej},
title = {{On Recent Advances in Key Derivation via the Leftover Hash Lemma}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {83--90},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.83},
URN = {urn:nbn:de:0030-drops-47783},
doi = {10.4230/OASIcs.ICCSW.2014.83},
annote = {Keywords: Key derivation, Leftover Hash Lemma, leakage robustness}
}
@InProceedings{spanring:OASIcs.ICCSW.2014.91,
author = {Spanring, Christof},
title = {{Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games}},
booktitle = {2014 Imperial College Computing Student Workshop},
pages = {91--98},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-76-7},
ISSN = {2190-6807},
year = {2014},
volume = {43},
editor = {Neykova, Rumyana and Ng, Nicholas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.91},
URN = {urn:nbn:de:0030-drops-47776},
doi = {10.4230/OASIcs.ICCSW.2014.91},
annote = {Keywords: axiom of choice, graph theory, maximal independent sets, abstract argumentation, dialogue games}
}
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