![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs296.bht:"
@inproceedings{DBLP:journals/corr/abs-1907-03996, author = {Mihai Herda and Michael Kirsten and Etienne Brunner and Joana Plewnia and Ulla Scheler and Chiara Staudenmaier and Benedikt Wagner and Pascal Zwick and Bernhard Beckert}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Understanding Counterexamples for Relational Properties with DIbugger}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {6--13}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.4}, doi = {10.4204/EPTCS.296.4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-03997, author = {Qi Zhou and David Heath and William Harris}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Relational Verification via Invariant-Guided Synchronization}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {28--41}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.6}, doi = {10.4204/EPTCS.296.6}, timestamp = {Mon, 22 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-03998, author = {Daniel Dietsch and Matthias Heizmann and Jochen Hoenicke and Alexander Nutz and Andreas Podelski}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Ultimate TreeAutomizer {(CHC-COMP} Tool Description)}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {42--47}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.7}, doi = {10.4204/EPTCS.296.7}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-03999, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause Verification}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {48--75}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.8}, doi = {10.4204/EPTCS.296.8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-04319, author = {Ozan Kahramanogullari}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {On Quantitative Comparison of Chemical Reaction Network Models}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {14--27}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.5}, doi = {10.4204/EPTCS.296.5}, timestamp = {Tue, 08 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-04319.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1907-03523, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296}, doi = {10.4204/EPTCS.296}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03523.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.