Follow
Christoph Weidenbach
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Verified email at mpi-inf.mpg.de - Homepage
Title
Cited by
Cited by
Year
SPASS Version 3.5
C Weidenbach, D Dimova, A Fietzke, R Kumar, M Suda, P Wischnewski
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
4152009
Computing small clause normal forms
A Nonnengart, C Weidenbach
Handbook of automated reasoning, 335-367, 2001
3072001
SPASS: Combining superposition, sorts and splitting
C Weidenbach
Handbook of automated reasoning 2, 1965-2013, 1999
2871999
Towards an automatic analysis of security protocols in first-order logic
H Ganzinger, C Weidenbach
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
2531999
Spass Version 2.0
C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić
Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002
2102002
System description: SPASS version 1.0. 0
C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ...
CADE, 378-382, 1999
206*1999
Spass & flotter version 0.42
C Weidenbach, B Gaede, G Rock
Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996
1711996
System description: SPASS version 1.0. 0
C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ...
CADE, 378-382, 1999
1071999
On generating small clause normal forms
A Nonnengart, G Rock, C Weidenbach
Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998
901998
A verified SAT solver framework with learn, forget, restart, and incrementality
JC Blanchette, M Fleury, P Lammich, C Weidenbach
Journal of automated reasoning 61, 333-365, 2018
822018
SPASS-Version 0.49
C Weidenbach
Journal of Automated Reasoning 18, 247-252, 1997
801997
Superposition modulo linear arithmetic SUP (LA)
E Althaus, E Kruglov, C Weidenbach
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009
742009
Saturation-based decision procedures for extensions of the guarded fragment
Y Kazakov
Universität des Saarlandes Saarbrücken, 2006
652006
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
562011
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
562011
Soft typing for ordered resolution
H Ganzinger, C Meyer, C Weidenbach
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
511997
More SPASS with Isabelle: Superposition with hard sorts and configurable simplification
JC Blanchette, A Popescu, D Wand, C Weidenbach
Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012
502012
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
Rewriting Techniques and Applications: 9th International Conference, RTA-98 …, 1998
461998
First-order tableaux with sorts
C Weidenbach
Logic Journal of the IGPL 3 (6), 887-906, 1995
421995
A PLTL-prover based on labelled superposition with partial model guidance
M Suda, C Weidenbach
Automated Reasoning: 6th International Joint Conference, IJCAR 2012 …, 2012
392012
The system can't perform the operation now. Try again later.
Articles 1–20