Uwe Brahm

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 11 18 27 34 31 41 41 53 50 32 32 23 21 27 22 23 15 9 8 7 11 6 8 4

Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusBestätigte E-Mail-Adresse bei mpi-inf.mpg.de
Christian TheobaltProfessor, Max Planck Institute for Informatics, Saarland Informatics Campus, Saarland UniversityBestätigte E-Mail-Adresse bei mpi-inf.mpg.de

Uwe Brahm

Max Planck Insitute for Informatics

Bestätigte E-Mail-Adresse bei mpi-klsb.mpg.de - Startseite


Titel Nach Zitationen sortieren Nach Jahr sortieren Nach Titel sortieren	Zitiert von Zitiert von	Jahr
Towards an automatic analysis of security protocols in first-order logic H Ganzinger, C Weidenbach Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999	349*	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	213	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

Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.

Artikel 1–6

Zitate pro Jahr