Homepage
Christoph Weidenbach
Max-Planck-Institut für Informatik
Research Leader
Research Coordination
Building 46.1, Room 115A
Stuhlsatzenhausweg 85
66123 Saarbrücken
Germany
Email:
Get my email address via email
Phone: +49 681 9325 900
Fax: +49 681 9325 999
- Automated Deduction
- Decision Procedures
- Theorem Proving
- Combination of Theories
- Combination of Systems
- Hirth, S., Karl, C. and Weidenbach, C., 2007,
Automatic Analysis of LAN Infrastructures,
Research Report, Max Planck Institute for Informatics, Saarbrücken, MPI-I-2007-RG1-001
- Lev-Ami, T., Weidenbach, C., Reps, T. and Sagiv, M. 2007,
Labelled Clauses
in 21st International Conference on Automated Deduction, CADE-21. Note: Accepted for Publication
- Weidenbach, C., Schmidt, R., Hillenbrand, T., Rusev, R. and Topic, D., 2007,
SPASS Version 3.0
in 21st International Conference on Automated Deduction, CADE-21. Note: Accepted for Publication
- Hillenbrand, T. and Weidenbach, C., 2007,
Superposition for Finite Domains,
Research Report, Max Planck Institute for Informatics, Saarbrücken, MPI-I-2007-RG1-002.
- Hillenbrand, T., Topic, D. and Weidenbach, C., 2006,
Sudokus as Logical Puzzles,
in Disproving'06: Non-Theorems, Non-Validity, Non-Provability.
- Nonnengart, A. and Weidenbach, C., 2001,
Computing Small Clause Normal Forms
in A. Robinson and A. Voronkov, editors, Handbook of
Automated Reasoning, Elsevier, Chapter 6, pp. 335-367.
- Weidenbach, C., 2001,
Combining Superposition, Sorts and Splitting
in A. Robinson and A. Voronkov, editors, Handbook of
Automated Reasoning, Elsevier, Chapter 27, pp. 1965-2012.
- Ganzinger, H., Meyer, C. and Weidenbach C., 1997,
Soft Typing for Ordered Resolution in
W. McCune, editor, 14th International Conference on Automated Deduction, CADE-14,
Vol. 1249 of LNAI,
Springer, pp. 321-335.
- Jacquemard F., Meyer C. and Weidenbach C., 1998
Unification in Extensions of Shallow Equational Theories in
T. Nipkow, editor, Rewriting Techniques and Applications,
9th International Conference, RTA-98,
Vol. 1379 of LNCS,
Springer, pp. 76-90.
- Weidenbach, C., 1999, Towards an Automatic Analysis of Security Protocols in
H. Ganzinger, editor, 16th International Conference on Automated Deduction, CADE-16,
Vol. 1632 of LNAI,
Springer, pp. 378-382.
All Publications of Christoph Weidenbach
List of courses / current teaching activities
List of courses / past teaching activities
- 1996-1999 Five championships by SPASS
in the CADE system competitions.
- 2005- Research Leader of the independant research group Automation of Logic at the Max-Planck-Institute for Informatics
- 2005- Research Coordinator at the Max-Planck-Institute for Informatics
- 1999-2005 IT Manager GM Powertrain Europe
- 1991-1999 Researcher at the Max-Planck-Institute for Informatics
- 1989-1991 Researcher at the University Kaiserslautern