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

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.