Matthias Horbach

18 papers A 5B 2Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2017	A	`conf`	On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CADE Matthias Horbach, Marco Voigt, Christoph Weidenbach
2017	J	`jnl`	On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. CoRR Matthias Horbach, Marco Voigt, Christoph Weidenbach
2017	J	`jnl`	The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable. CoRR Matthias Horbach, Marco Voigt, Christoph Weidenbach
2016	J	`jnl`	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
2015	—	`conf`	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
2014	A	`conf`	Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. IJCAR Matthias Horbach, Viorica Sofronie-Stokkermans
2013	—	`ed.`	43. Jahrestagung der Gesellschaft für Informatik, Informatik angepasst an Mensch, Organisation und Umwelt, INFORMATIK 2013, Koblenz, Germany, September 16-20, 2013 GI-Jahrestagung Matthias Horbach
2013	—	`conf`	Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
2013	—	`conf`	Obtaining Finite Local Theory Axiomatizations via Saturation. FroCos Matthias Horbach, Viorica Sofronie-Stokkermans
2011	A	`conf`	Predicate Completion for non-Horn Clause Sets. CADE Matthias Horbach
2011	A	`conf`	System Description: SPASS-FD. CADE Matthias Horbach
2010	—	`conf`	Disunification for Ultimately Periodic Interpretations. LPAR (Dakar) Matthias Horbach
2010	—	`—`	Saturation-based decision procedures for fixed domain and minimal model validity. Matthias Horbach
2010	J	`jnl`	Superposition for fixed domains. ACM Trans. Comput. Log. Matthias Horbach, Christoph Weidenbach
2009	A	`conf`	Decidability Results for Saturation-Based Model Building. CADE Matthias Horbach, Christoph Weidenbach
2009	B	`conf`	Deciding the Inductive Validity of FOR ALL THERE EXISTS CSL Matthias Horbach, Christoph Weidenbach
2008	J	`jnl`	Superposition for Fixed Domains CoRR Matthias Horbach, Christoph Weidenbach
2008	B	`conf`	Superposition for Fixed Domains. CSL Matthias Horbach, Christoph Weidenbach