Christoph Weidenbach
Christoph Weidenbach
Research Group Leader, Max Planck Institute for Informatics, Saarland Informatics Campus
Geverifieerd e-mailadres voor mpi-inf.mpg.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A global reference for human genetic variation
1000 Genomes Project Consortium
Nature 526 (7571), 68-74, 2015
5434*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
3062009
SPASS: Combining superposition, sorts and splitting
C Weidenbach
Handbook of automated reasoning 2, 1965-2013, 1999
2641999
Computing Small Clause Normal Forms.
A Nonnengart, C Weidenbach
Handbook of automated reasoning 1 (335-367), 3, 2001
2542001
Towards an automatic analysis of security protocols in first-order logic
C Weidenbach
International Conference on Automated Deduction, 314-328, 1999
2331999
Spass Version 2.0
C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić
International Conference on Automated Deduction, 275-279, 2002
2002002
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
191*1999
Spass & flotter version 0.42
C Weidenbach, B Gaede, G Rock
International Conference on Automated Deduction, 141-145, 1996
1751996
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
991999
Combining superposition, sorts and splitting, Handbook of automated reasoning
C Weidenbach
Elsevier Science Publishers BV, Amsterdam, The Netherlands, 2001
792001
SPASS-Version 0.49
C Weidenbach
Journal of Automated Reasoning 18 (2), 247-252, 1997
791997
On generating small clause normal forms
A Nonnengart, G Rock, C Weidenbach
International Conference on Automated Deduction, 397-411, 1998
761998
Superposition modulo linear arithmetic SUP (LA)
E Althaus, E Kruglov, C Weidenbach
International Symposium on Frontiers of Combining Systems, 84-99, 2009
652009
Saturation-based decision procedures for extensions of the guarded fragment
Y Kazakov
532005
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
International Conference on Rewriting Techniques and Applications, 76-90, 1998
481998
Soft typing for ordered resolution
H Ganzinger, C Meyer, C Weidenbach
International Conference on Automated Deduction, 321-335, 1997
451997
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
412012
First-order tableaux with sorts
C Weidenbach
Logic Journal of the IGPL 3 (6), 887-906, 1995
411995
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-4), 333-365, 2018
382018
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
362011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20