Tim Hoffmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Proof Systems for Tensor-based Model Counting. | Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt |
| 2026 | AAAI | Proof Systems That Tightly Characterise Model Counting Algorithms. | Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche |
| 2024 | MFCS | Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. | Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann |
| 2024 | SAT | The Relative Strength of #SAT Proof Systems. | Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche |
| 2023 | SAT | Proof Complexity of Propositional Model Counting. | Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann |
| 2015 | GI | Haltung und bertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlsselungsframeworks. | Marc Walterbusch, Tim Hoffmann, Frank Teuteberg |