Number | Title | Name(s) | Pages | |
---|---|---|---|---|
2013-RG1-002 | Hierarchic superposition with weak abstraction | Baumgartner, Waldmann | 45 | |
2012-RG1-002 | Automatic generation of inductive invariants by SUP(LA) | Fietzke, Kruglov, Weidenbach | 26 | |
2012-RG1-001 | Labelled superposition for PLTL | Suda, Weidenbach | 42 | |
2011-RG1-002 | Towards verification of the pastry protocol using TLA+ | Lu, Merz, Weidenbach | 51 | |
2010-RG1-001 | On the saturation of YAGO | Suda, Weidenbach, Wischnewski | 50 | |
2009-RG1-005 | Superposition for fixed domains | Horbach, Weidenbach | 49 | |
2009-RG1-004 | Decidability results for saturation-based model building | Horbach, Weidenbach | 38 | |
2009-RG1-002 | Contextual rewriting | Wischnewski, Weidenbach | 28 | |
2009-RG1-001 | Deciding the inductive validity of $\forall\exists^*$ queries | Horbach, Weidenbach | 43 | |
2008-RG1-001 | Labelled splitting | Fietzke, Weidenbach | 45 | |
2007-RG1-002 | Superposition for finite domains | Hillenbrand, Weidenbach | 29 | |
2007-RG1-002 | Superpositon for Finite Domains | Hillenbrand, Weidenbach | 29 |