Matthias Horbach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2008–2017
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | On the Combination of the Bernays-Schnfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic. | Matthias Horbach, Marco Voigt, Christoph Weidenbach |
| 2014 | CADE | Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. | Matthias Horbach, Viorica Sofronie-Stokkermans |
| 2011 | CADE | Predicate Completion for non-Horn Clause Sets. | Matthias Horbach |
| 2011 | CADE | System Description: SPASS-FD. | Matthias Horbach |
| 2010 | LPAR | Disunification for Ultimately Periodic Interpretations. | Matthias Horbach |
| 2009 | CADE | Decidability Results for Saturation-Based Model Building. | Matthias Horbach, Christoph Weidenbach |
| 2009 | CSL | Deciding the Inductive Validity of FOR ALL THERE EXISTS | Matthias Horbach, Christoph Weidenbach |
| 2008 | CSL | Superposition for Fixed Domains. | Matthias Horbach, Christoph Weidenbach |