LPAR-IWIL 2018: BibTeX Entries

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}}