| Towards an automatic analysis of security protocols in first-order logic C Weidenbach International Conference on Automated Deduction, 314-328, 1999 | 351* | 1999 |
| 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 | 218* | 2002 |
| D. Topic C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... System abstract: Spass version 1 (0), 378-382, 0 | 11 | |
| System Description: Spass Version 1.0.0 H Ganzinger, C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, ... Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | | 1999 |
| of Proceedings: Proceedings of the 16th International Conference on Automated Deduction (CADE-16) C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... Springer, 1999 | | 1999 |
| Parkwächter U Brahm, W Pitz C't Magazin für Computer Technik, 252-253, 1990 | | 1990 |
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusEmail được xác minh tại mpi-inf.mpg.de