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