| A global reference for human genetic variation 1000 Genomes Project Consortium Nature 526 (7571), 68, 2015 | 7494* | 2015 |
| SPASS Version 3.5 C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski International Conference on Automated Deduction, 140-145, 2009 | 332 | 2009 |
| SPASS: Combining superposition, sorts and splitting C Weidenbach Handbook of automated reasoning 2, 1965-2013, 1999 | 280 | 1999 |
| Computing small clause normal forms A Nonnengart, C Weidenbach, I Stadtwald | 266 | 2001 |
| Towards an automatic analysis of security protocols in first-order logic C Weidenbach International Conference on Automated Deduction, 314-328, 1999 | 234 | 1999 |
| Spass Version 2.0 C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić International Conference on Automated Deduction, 275-279, 2002 | 219* | 2002 |
| System Description: Spass Version 1.0.0 C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... International Conference on Automated Deduction, 378-382, 1999 | 192* | 1999 |
| Spass & flotter version 0.42 C Weidenbach, B Gaede, G Rock International Conference on Automated Deduction, 141-145, 1996 | 176 | 1996 |
| System Description: Spass Version 1.0.0 C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... International Conference on Automated Deduction, 378-382, 1999 | 102 | 1999 |
| SPASS-Version 0.49 C Weidenbach Journal of Automated Reasoning 18 (2), 247-252, 1997 | 80 | 1997 |
| On generating small clause normal forms A Nonnengart, G Rock, C Weidenbach International Conference on Automated Deduction, 397-411, 1998 | 76 | 1998 |
| Superposition modulo linear arithmetic SUP (LA) E Althaus, E Kruglov, C Weidenbach International Symposium on Frontiers of Combining Systems, 84-99, 2009 | 68 | 2009 |
| Saturation-based decision procedures for extensions of the guarded fragment Y Kazakov | 61 | 2005 |
| Towards Verification of the Pastry Protocol Using TLA + T Lu, S Merz, C Weidenbach Formal Techniques for Distributed Systems, 244-258, 2011 | 50 | 2011 |
| Towards Verification of the Pastry Protocol Using TLA + T Lu, S Merz, C Weidenbach Formal Techniques for Distributed Systems, 244-258, 2011 | 50 | 2011 |
| Soft typing for ordered resolution H Ganzinger, C Meyer, C Weidenbach International Conference on Automated Deduction, 321-335, 1997 | 47 | 1997 |
| A verified SAT solver framework with learn, forget, restart, and incrementality JC Blanchette, M Fleury, P Lammich, C Weidenbach Journal of automated reasoning 61 (1), 333-365, 2018 | 46 | 2018 |
| More spass with isabelle JC Blanchette, A Popescu, D Wand, C Weidenbach International Conference on Interactive Theorem Proving, 345-360, 2012 | 46 | 2012 |
| Unification in extensions of shallow equational theories F Jacquemard, C Meyer, C Weidenbach International Conference on Rewriting Techniques and Applications, 76-90, 1998 | 44 | 1998 |
| First-order tableaux with sorts C Weidenbach Logic Journal of the IGPL 3 (6), 887-906, 1995 | 43 | 1995 |
