Christoph Weidenbach
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Bestätigte E-Mail-Adresse bei mpi-inf.mpg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3322009
SPASS: Combining superposition, sorts and splitting
C Weidenbach
Handbook of automated reasoning 2, 1965-2013, 1999
2801999
Computing small clause normal forms
A Nonnengart, C Weidenbach, I Stadtwald
2662001
Towards an automatic analysis of security protocols in first-order logic
C Weidenbach
International Conference on Automated Deduction, 314-328, 1999
2341999
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
1761996
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
1021999
SPASS-Version 0.49
C Weidenbach
Journal of Automated Reasoning 18 (2), 247-252, 1997
801997
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
682009
Saturation-based decision procedures for extensions of the guarded fragment
Y Kazakov
612005
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
502011
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
502011
Soft typing for ordered resolution
H Ganzinger, C Meyer, C Weidenbach
International Conference on Automated Deduction, 321-335, 1997
471997
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
462018
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
462012
Unification in extensions of shallow equational theories
F Jacquemard, C Meyer, C Weidenbach
International Conference on Rewriting Techniques and Applications, 76-90, 1998
441998
First-order tableaux with sorts
C Weidenbach
Logic Journal of the IGPL 3 (6), 887-906, 1995
431995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20