Matthias Horbach

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 4

Top Venues

CoRR

FroCos

CADE

IJCAR

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Matthias Horbach, Marco Voigt, Christoph Weidenbach
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CoRR (2017)
Matthias Horbach, Marco Voigt, Christoph Weidenbach
The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable. CoRR (2017)
Matthias Horbach, Marco Voigt, Christoph Weidenbach
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CADE (2017)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR (2016)
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos (2015)
Matthias Horbach, Viorica Sofronie-Stokkermans
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. IJCAR (2014)
Matthias Horbach, Viorica Sofronie-Stokkermans
Obtaining Finite Local Theory Axiomatizations via Saturation. FroCos (2013)
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics (2013)
Matthias Horbach
Predicate Completion for non-Horn Clause Sets. CADE (2011)
Matthias Horbach
System Description: SPASS-FD. CADE (2011)
Matthias Horbach, Christoph Weidenbach
Superposition for fixed domains. ACM Trans. Comput. Log. 11 (4) (2010)
Matthias Horbach
Disunification for Ultimately Periodic Interpretations. LPAR (Dakar) (2010)
Matthias Horbach, Christoph Weidenbach
Decidability Results for Saturation-Based Model Building. CADE (2009)
Matthias Horbach, Christoph Weidenbach
Queries. CSL (2009)
Matthias Horbach, Christoph Weidenbach
Superposition for Fixed Domains CoRR (2008)
Matthias Horbach, Christoph Weidenbach
Superposition for Fixed Domains. CSL (2008)

Matthias Horbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Horbach