Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs344.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2109-04629,
  author       = {Naoki Kobayashi},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {An Overview of the {HFL} Model Checking Project},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {1--12},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.1},
  doi          = {10.4204/EPTCS.344.1},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04630,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  Samir Genaim},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Termination Analysis of Programs with Multiphase Control-Flow},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {13--21},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.2},
  doi          = {10.4204/EPTCS.344.2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04631,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Maximiliano Klemen and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Jos{\'{e}} F. Morales},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Regular Path Clauses and Their Application in Solving Loops},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {22--35},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.3},
  doi          = {10.4204/EPTCS.344.3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04632,
  author       = {Jerome Jochems},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Reducing Higher-order Recursion Scheme Equivalence to Coinductive
                  Higher-order Constrained Horn Clauses},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {36--64},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.4},
  doi          = {10.4204/EPTCS.344.4},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04632.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04633,
  author       = {Stefan Hetzl and
                  Johannes Kloibhofer},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {A Fixed-point Theorem for Horn Formula Equations},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {65--78},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.5},
  doi          = {10.4204/EPTCS.344.5},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04633.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04634,
  author       = {Brendan Hall and
                  Sarat Chandra Varanasi and
                  Jan Fiedor and
                  Joaqu{\'{\i}}n Arias and
                  Kinjal Basu and
                  Fang Li and
                  Devesh Bhatt and
                  Kevin Driscoll and
                  Elmer Salazar and
                  Gopal Gupta},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Knowledge-Assisted Reasoning of Model-Augmented System Requirements
                  with Event Calculus and Goal-Directed Answer Set Programming},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {79--90},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.6},
  doi          = {10.4204/EPTCS.344.6},
  timestamp    = {Sun, 08 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04634.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2109-04635,
  author       = {Grigory Fedyukovich and
                  Philipp R{\"{u}}mmer},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Competition Report: {CHC-COMP-21}},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {91--108},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.7},
  doi          = {10.4204/EPTCS.344.7},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04635.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2109-03988,
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344},
  doi          = {10.4204/EPTCS.344},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-03988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.