Johannes Schmitt

17 papers A* 3B 3Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation.
CoRR
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial
2025 A* conf
Parameterised Holant Problems.
ICALP
Panagiotis Aivasiliotis, Andreas Göbel, Marc Roth, Johannes Schmitt
2024 J jnl
Counting Small Induced Subgraphs Satisfying Monotone Properties.
SIAM J. Comput.
Marc Roth, Johannes Schmitt, Philip Wellnitz
2024 J jnl
Parameterised Holant Problems.
CoRR
Panagiotis Aivasiliotis, Andreas Göbel, Marc Roth, Johannes Schmitt
2023 J jnl
Parameterized Counting and Cayley Graph Expanders.
SIAM J. Discret. Math.
Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina, Philip Wellnitz
2022 J jnl
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-Hardness.
Algorithmica
Julian Dörfler, Marc Roth, Johannes Schmitt, Philip Wellnitz
2021 A* conf
Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders.
ICALP
Marc Roth, Johannes Schmitt, Philip Wellnitz
2021 B conf
Parameterized (Modular) Counting and Cayley Graph Expanders.
MFCS
Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina
2021 J jnl
Parameterized (Modular) Counting and Cayley Graph Expanders.
CoRR
Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina
2020 J jnl
Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness.
Algorithmica
Marc Roth, Johannes Schmitt
2020 A* conf
Counting Small Induced Subgraphs Satisfying Monotone Properties.
FOCS
Marc Roth, Johannes Schmitt, Philip Wellnitz
2020 J jnl
Counting Small Induced Subgraphs Satisfying Monotone Properties.
CoRR
Marc Roth, Johannes Schmitt, Philip Wellnitz
2020 J jnl
Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders.
CoRR
Marc Roth, Johannes Schmitt, Philip Wellnitz
2019 B conf
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness.
MFCS
Julian Dörfler, Marc Roth, Johannes Schmitt, Philip Wellnitz
2019 J jnl
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness.
CoRR
Julian Dörfler, Marc Roth, Johannes Schmitt, Philip Wellnitz
2018 B conf
Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness.
IPEC
Marc Roth, Johannes Schmitt
2018 J jnl
Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness.
CoRR
Marc Roth, Johannes Schmitt