Matthias Horbach

Available identifiers

zbMath Open horbach.matthiasMaRDI QIDQ2405241

List of research outcomes

Publication	Date of Publication	Type
On the combination of the Bernays-Schönfinkel-Ramsey fragment with simple linear integer arithmetic	2017-09-22	Paper
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata	2017-02-27	Paper
Superposition for fixed domains	2015-09-17	Paper
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates	2014-09-26	Paper
Obtaining Finite Local Theory Axiomatizations via Saturation	2013-09-20	Paper
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants	2013-04-16	Paper
Predicate Completion for non-Horn Clause Sets	2011-07-29	Paper
System Description: SPASS-FD	2011-07-29	Paper
Disunification for Ultimately Periodic Interpretations	2011-01-07	Paper
Deciding the Inductive Validity of ∀ ∃ * Queries	2009-11-12	Paper
Decidability Results for Saturation-Based Model Building	2009-07-28	Paper
Superposition for Fixed Domains	2008-11-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthias Horbach