Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthias Horbach
@inproceedings{DBLP:conf/cade/HorbachVW17,
author = {Matthias Horbach and
Marco Voigt and
Christoph Weidenbach},
editor = {Leonardo de Moura},
title = {On the Combination of the Bernays-Sch{\"{o}}nfinkel-Ramsey Fragment
with Simple Linear Integer Arithmetic},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {77--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_6},
doi = {10.1007/978-3-319-63046-5\_6},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorbachVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HorbachVW17,
author = {Matthias Horbach and
Marco Voigt and
Christoph Weidenbach},
title = {The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted
Predicates is Undecidable},
journal = {CoRR},
volume = {abs/1703.01212},
year = {2017},
url = {http://arxiv.org/abs/1703.01212},
eprinttype = {arXiv},
eprint = {1703.01212},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HorbachVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HorbachVW17a,
author = {Matthias Horbach and
Marco Voigt and
Christoph Weidenbach},
title = {On the Combination of the Bernays-Sch{\"{o}}nfinkel-Ramsey Fragment
with Simple Linear Integer Arithmetic},
journal = {CoRR},
volume = {abs/1705.08792},
year = {2017},
url = {http://arxiv.org/abs/1705.08792},
eprinttype = {arXiv},
eprint = {1705.08792},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HorbachVW17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DammHS16,
author = {Werner Damm and
Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
title = {Decidability of Verification of Safety Properties of Spatial Families
of Linear Hybrid Automata},
journal = {CoRR},
volume = {abs/1601.01648},
year = {2016},
url = {http://arxiv.org/abs/1601.01648},
eprinttype = {arXiv},
eprint = {1601.01648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DammHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DammHS15,
author = {Werner Damm and
Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Decidability of Verification of Safety Properties of Spatial Families
of Linear Hybrid Automata},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {186--202},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_12},
doi = {10.1007/978-3-319-24246-0\_12},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DammHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorbachS14,
author = {Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Locality Transfer: From Constrained Axiomatizations to Reachability
Predicates},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {192--207},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_14},
doi = {10.1007/978-3-319-08587-6\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorbachS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurZHZLN13,
author = {Deepak Kapur and
Zhihai Zhang and
Matthias Horbach and
Hengjun Zhao and
Qi Lu and
ThanhVu Nguyen},
editor = {Maria Paola Bonacina and
Mark E. Stickel},
title = {Geometric Quantifier Elimination Heuristics for Automatically Generating
Octagonal and Max-plus Invariants},
booktitle = {Automated Reasoning and Mathematics - Essays in Memory of William
W. McCune},
series = {Lecture Notes in Computer Science},
volume = {7788},
pages = {189--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36675-8\_11},
doi = {10.1007/978-3-642-36675-8\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurZHZLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HorbachS13,
author = {Matthias Horbach and
Viorica Sofronie{-}Stokkermans},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Obtaining Finite Local Theory Axiomatizations via Saturation},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {198--213},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_14},
doi = {10.1007/978-3-642-40885-4\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/HorbachS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2013,
editor = {Matthias Horbach},
title = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20520},
isbn = {978-3-88579-614-5},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Horbach11,
author = {Matthias Horbach},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Predicate Completion for non-Horn Clause Sets},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {315--330},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_24},
doi = {10.1007/978-3-642-22438-6\_24},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/Horbach11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Horbach11a,
author = {Matthias Horbach},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {System Description: {SPASS-FD}},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {331--337},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_25},
doi = {10.1007/978-3-642-22438-6\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Horbach11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Horbach2010,
author = {Matthias Horbach},
title = {Saturation-based decision procedures for fixed domain and minimal
model validity},
school = {Saarland University},
year = {2010},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2010/3282/},
urn = {urn:nbn:de:bsz:291-scidok-32826},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Horbach2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HorbachW10,
author = {Matthias Horbach and
Christoph Weidenbach},
title = {Superposition for fixed domains},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {4},
pages = {27:1--27:35},
year = {2010},
url = {https://doi.org/10.1145/1805950.1805957},
doi = {10.1145/1805950.1805957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HorbachW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Horbach10,
author = {Matthias Horbach},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Disunification for Ultimately Periodic Interpretations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {290--311},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_17},
doi = {10.1007/978-3-642-17511-4\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Horbach10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HorbachW09,
author = {Matthias Horbach and
Christoph Weidenbach},
editor = {Renate A. Schmidt},
title = {Decidability Results for Saturation-Based Model Building},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {404--420},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_30},
doi = {10.1007/978-3-642-02959-2\_30},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HorbachW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HorbachW09,
author = {Matthias Horbach and
Christoph Weidenbach},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Deciding the Inductive Validity of {FOR} {ALL} {THERE} {EXISTS} \({}^{\mbox{*}}\)
Queries},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {332--347},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_25},
doi = {10.1007/978-3-642-04027-6\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/HorbachW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HorbachW08,
author = {Matthias Horbach and
Christoph Weidenbach},
editor = {Michael Kaminski and
Simone Martini},
title = {Superposition for Fixed Domains},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {293--307},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_22},
doi = {10.1007/978-3-540-87531-4\_22},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/HorbachW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0922,
author = {Matthias Horbach and
Christoph Weidenbach},
title = {Superposition for Fixed Domains},
journal = {CoRR},
volume = {abs/0809.0922},
year = {2008},
url = {http://arxiv.org/abs/0809.0922},
eprinttype = {arXiv},
eprint = {0809.0922},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
