Matthias Horbach

According to our database, Matthias Horbach authored at least 13 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable.

Matthias Horbach, Marco Voigt, Christoph Weidenbach

CoRR, 2017

On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.

Matthias Horbach, Marco Voigt, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 26, 2017

2015

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.

Matthias Horbach, Viorica Sofronie-Stokkermans

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Obtaining Finite Local Theory Axiomatizations via Saturation.

Matthias Horbach, Viorica Sofronie-Stokkermans

Proceedings of the Frontiers of Combining Systems, 2013

Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.

Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen

Proceedings of the Automated Reasoning and Mathematics, 2013

2011

System Description: SPASS-FD.

Matthias Horbach

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Predicate Completion for non-Horn Clause Sets.

Matthias Horbach

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Saturation-based decision procedures for fixed domain and minimal model validity.

Matthias Horbach

PhD thesis, 2010

Superposition for fixed domains.

Matthias Horbach, Christoph Weidenbach

ACM Trans. Comput. Log., 2010

Disunification for Ultimately Periodic Interpretations.

Matthias Horbach

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Deciding the Inductive Validity of FOR ALL THERE EXISTS ^* Queries.

Matthias Horbach, Christoph Weidenbach

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

Decidability Results for Saturation-Based Model Building.

Matthias Horbach, Christoph Weidenbach

Proceedings of the Automated Deduction, 2009