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
International Conference on Automated Deduction, 140-145, 2009
3612009
SPASS: Combining superposition, sorts and splitting
C Weidenbach
Handbook of automated reasoning 2, 1965-2013, 1999
2911999
Computing small clause normal forms
A Nonnengart, C Weidenbach, I Stadtwald
2812001
Towards an automatic analysis of security protocols in first-order logic
C Weidenbach
International Conference on Automated Deduction, 314-328, 1999
2371999
Spass Version 2.0
C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić
International Conference on Automated Deduction, 275-279, 2002
221*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
200*1999
Spass & flotter version 0.42
C Weidenbach, B Gaede, G Rock
International Conference on Automated Deduction, 141-145, 1996
1791996
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
1061999
On generating small clause normal forms
A Nonnengart, G Rock, C Weidenbach
International Conference on Automated Deduction, 397-411, 1998
811998
SPASS-Version 0.49
C Weidenbach
Journal of Automated Reasoning 18 (2), 247-252, 1997
791997
Superposition modulo linear arithmetic SUP (LA)
E Althaus, E Kruglov, C Weidenbach
International Symposium on Frontiers of Combining Systems, 84-99, 2009
682009
Saturation-based decision procedures for extensions of the guarded fragment
Y Kazakov
612005
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
562018
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
522011
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
522011
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
502012
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
International Conference on Rewriting Techniques and Applications, 76-90, 1998
471998
Soft typing for ordered resolution
H Ganzinger, C Meyer, C Weidenbach
International Conference on Automated Deduction, 321-335, 1997
451997
First-order tableaux with sorts
C Weidenbach
Logic Journal of the IGPL 3 (6), 887-906, 1995
431995
MSPASS: Subsumption Testing with SPASS.
U Hustadt, RA Schmidt, C Weidenbach
Description Logics, 1999
391999
The system can't perform the operation now. Try again later.
Articles 1–20