Volume
@proceedings{LPAR-IWIL2018,
title = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2018}}
Papers
@inproceedings{LPAR-IWIL2018:Influence_Variables_Encoding_Symmetry,
author = {Madalina Erascu and Flavia Micota and Daniela Zaharie},
title = {Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/3PPV},
doi = {10.29007/zwdh},
pages = {1-14},
year = {2018}}
@inproceedings{LPAR-IWIL2018:ProofWatch_Meets_ENIGMA_First,
author = {Zarathustra Goertzel and Jan Jakubuv and Josef Urban},
title = {ProofWatch Meets ENIGMA: First Experiments},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/28xp},
doi = {10.29007/z7qx},
pages = {15-22},
year = {2018}}
@inproceedings{LPAR-IWIL2018:Harrsh_Tool_Unied_Reasoning,
author = {Jens Katelaan and Christoph Matheja and Thomas Noll and Florian Zuleger},
title = {Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/6vZt},
doi = {10.29007/qwd8},
pages = {23-36},
year = {2018}}
@inproceedings{LPAR-IWIL2018:Extending_Verified_Simplex_Algorithm,
author = {René Thiemann},
title = {Extending a Verified Simplex Algorithm},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/6JF3},
doi = {10.29007/5vlq},
pages = {37-48},
year = {2018}}
@inproceedings{LPAR-IWIL2018:Towards_Efficient_Metaquery_Generator,
author = {Tamar Bash and Rachel Ben-Eliyahu-Zohary},
title = {Towards Efficient Metaquery Generator},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/BhmH},
doi = {10.29007/xxcr},
pages = {49-57},
year = {2018}}
@inproceedings{LPAR-IWIL2018:Symmetry_breaking_new_stable,
author = {Tarek Khaled and Belaid Benhamou},
title = {Symmetry breaking in a new stable model search method},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/NnGp},
doi = {10.29007/1l5r},
pages = {58-74},
year = {2018}}
@inproceedings{LPAR-IWIL2018:HoTT_Crypt_Study_Homotopy,
author = {Paventhan Vivekanandan},
title = {HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/q2qC},
doi = {10.29007/tvpp},
pages = {75-90},
year = {2018}}
@inproceedings{LPAR-IWIL2018:Disallowing_Punctual_Intervals_Reflexive,
author = {Przemysław Andrzej Wałęga},
title = {On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz and Martin Suda and Geoff Sutcliffe and Margus Veanes},
series = {Kalpa Publications in Computing},
volume = {9},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/BHg5},
doi = {10.29007/fl6v},
pages = {91-106},
year = {2018}}