Matthias Baaz

Matthias Baaz publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Matthias Baaz sits on this spectrum.

Matthias Baaz D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Matthias Baaz sits on this spectrum.

Best Publications

• On Skolemization And Proof Complexity

  Unknown

  127
  Citations

• Infinite-valued G?del Logics with 0-1-Projections and Relativizations

  Unknown

  114
  Citations

• Cut-elimination and Redundancy-elimination by Resolution

  Unknown

  111
  Citations

• Hypersequent Calculi for Gödel Logics — a Survey

  Unknown

  106
  Citations

• Complexity of t-tautologies

  Matthias Baaz;Petr Hájek;Franco Montagna;Helmut Veith

  82
  Citations

• Elimination of cuts in first-order finite-valued logics

  Unknown

  80
  Citations

• Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic

  Unknown

  79
  Citations

• Interpolation in Fuzzy Logic

  Matthias Baaz;Helmut Veith

  78
  Citations

• Resolution-based Theorem Proving for Many-valued Logics

  Unknown

  77
  Citations

• Automated deduction for many-valued logics

  Unknown

  75
  Citations

• Systematic construction of natural deduction systems for many-valued logics

  Unknown

  75
  Citations

• Labeled calculi and finite-valued logics

  Unknown

  75
  Citations

• Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

  Unknown

  72
  Citations

• Infinite-valued Gödel Logics with 0-1-Projections and Relativizations

  Unknown

  71
  Citations

• Analytic Calculi for Projective Logics

  Unknown

  68
  Citations

• CERES: An analysis of Fürstenberg's proof of the infinity of primes

  Unknown

  65
  Citations

• First-order Gödel logics

  Unknown

  64
  Citations

• Normal Form Transformations

  Unknown

  62
  Citations

• Cut normal forms and proof complexity

  Unknown

  62
  Citations

• Non-elementary Speedups between Different Versions of Tableaux

  Unknown

  54
  Citations