Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/ZhouH17,
  author       = {Qi Zhou and
                  William Harris},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {3--18},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.3},
  doi          = {10.4204/EPTCS.278.3},
  timestamp    = {Mon, 22 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ZhouH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1809-04770,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Adri{\'{a}}n Palacios and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {19--26},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.4},
  doi          = {10.4204/EPTCS.278.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04770.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1809-04771,
  author       = {Ekaterina Komendantskaya and
                  Yue Li},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Towards Coinductive Theory Exploration in Horn Clause Logic: Position
                  Paper},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {27--33},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.5},
  doi          = {10.4204/EPTCS.278.5},
  timestamp    = {Tue, 07 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04771.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1809-04772,
  author       = {Ant{\'{o}}nio Ravara},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {A Simple Functional Presentation and an Inductive Correctness Proof
                  of the Horn Algorithm},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {34--48},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.6},
  doi          = {10.4204/EPTCS.278.6},
  timestamp    = {Thu, 11 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04772.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1809-04554,
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278},
  doi          = {10.4204/EPTCS.278},
  timestamp    = {Thu, 11 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04554.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}