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},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{LPAR-IWIL2018:Influence_of_Variables_Encoding,
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},
pages = {1--14},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/3PPV},
doi = {10.29007/zwdh}}
@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},
pages = {15--22},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/28xp},
doi = {10.29007/z7qx}}
@inproceedings{LPAR-IWIL2018:Harrsh_Tool_for_Unied,
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},
pages = {23--36},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/6vZt},
doi = {10.29007/qwd8}}
@inproceedings{LPAR-IWIL2018:Extending_Verified_Simplex_Algorithm,
author = {Ren\textbackslash{}'e 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},
pages = {37--48},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/6JF3},
doi = {10.29007/5vlq}}
@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},
pages = {49--57},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/BhmH},
doi = {10.29007/xxcr}}
@inproceedings{LPAR-IWIL2018:Symmetry_breaking_in_new,
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},
pages = {58--74},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/NnGp},
doi = {10.29007/1l5r}}
@inproceedings{LPAR-IWIL2018:HoTT_Crypt_Study_in,
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},
pages = {75--90},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/q2qC},
doi = {10.29007/tvpp}}
@inproceedings{LPAR-IWIL2018:On_Disallowing_Punctual_Intervals,
author = {Przemys\{\textbackslash{}l\}aw Andrzej Wa\{\textbackslash{}l\}\textbackslash{}k\{e\}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},
pages = {91--106},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/BHg5},
doi = {10.29007/fl6v}}