Tim Hoffmann

31 papers A* 3A 2B 1Journal 18Unranked 7
YearRankTypeTitle / Venue / Authors
2026 A* conf
Proof Systems That Tightly Characterise Model Counting Algorithms.
AAAI
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
2026 A* conf
Proof Systems for Tensor-based Model Counting.
AAAI
Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt
2025 J jnl
Carbon Footprint Evaluation of Code Generation through LLM as a Service.
CoRR
Tina Vartziotis, Maximilian Schmidt, George Dasoulas, Ippolyti Dellatolas, Stefano Attademo, Viet Dung Le, Anke Wiechmann, Tim Hoffmann, Michael Keckeisen, Sotirios Kotsopoulos
2025 J jnl
Proof Systems That Tightly Characterise Model Counting Algorithms.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
2025 — conf
Telling robots to do what we want them to.
ICCMA
Tim Hoffmann, Matthias Melzer, Jan Dünnweber
2024 J jnl
Are large language models superhuman chemists?
CoRR
Adrian Mirza, Nawaf Alampara, Sreekanth Kunchapu, Benedict Emoekabu, Aswanth Krishnan, Mara Wilhelmi, Macjonathan Okereke, Juliane Eberhardt, Amir Mohammad Elahi, Maximilian Greiner, Caroline T. Holick, Tanya Gupta, Mehrdad Asgari, Christina Glaubitz, Lea C. Klepsch, Yannik Köster, Jakob Meyer, Santiago Miret, Tim Hoffmann, Fabian Alexander Kreth, Michael Ringleb, Nicole Roesner, Ulrich S. Schubert, Leanne M. Stafast, A. D. Dinga Wonanke, Michael Pieler, Philippe Schwaller, Kevin Maik Jablonka
2024 — conf
Learn to Code Sustainably: An Empirical Study on Green Code Generation.
LLM4CODE@ICSE
Tina Vartziotis, Ippolyti Dellatolas, George Dasoulas, Maximilian Schmidt, Florian Schneider, Tim Hoffmann, Sotirios Kotsopoulos, Michael Keckeisen
2024 J jnl
Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation.
CoRR
Tina Vartziotis, Ippolyti Dellatolas, George Dasoulas, Maximilian Schmidt, Florian Schneider, Tim Hoffmann, Sotirios Kotsopoulos, Michael Keckeisen
2024 B conf
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree.
MFCS
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann
2024 J jnl
Proof Complexity of Propositional Model Counting.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
2024 J jnl
Proof Complexity of Propositional Model Counting.
J. Satisf. Boolean Model. Comput.
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
2024 A conf
The Relative Strength of #SAT Proof Systems.
SAT
Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche
2023 A conf
Proof Complexity of Propositional Model Counting.
SAT
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
2022 J jnl
A Discrete Extrinsic and Intrinsic Dirac Operator.
Exp. Math.
Tim Hoffmann, Zi Ye
2022 J jnl
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces.
ACM Trans. Graph.
Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung
2021 J jnl
A Curvature and Density-based Generative Representation of Shapes.
Comput. Graph. Forum
Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann
2021 — conf
Automatic segmentation of the structures in the nasal cavity and the ethmoidal sinus for the quantification of nasal septal deviations.
Computer-Aided Diagnosis
Cristina Oyarzun Laura, Katrin Hartwig, Alexander Distergoft, Tim Hoffmann, Kathrin Scheckenbach, Melanie Brüsseler, Stefan Wesarg
2021 J jnl
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces.
CoRR
Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung
2020 J jnl
A curvature and density-based generative representation of shapes.
CoRR
Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann
2019 J jnl
Modeling curved folding with freeform deformations.
ACM Trans. Graph.
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
2018 J jnl
A unified discrete framework for intrinsic and extrinsic Dirac operators for geometry processing.
Comput. Graph. Forum
Zi Ye, Olga Diamanti, Chengcheng Tang, Leonidas J. Guibas, Tim Hoffmann
2018 J jnl
Discrete Geodesic Nets for Modeling Developable Surfaces.
ACM Trans. Graph.
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
2018 J jnl
The shape space of discrete orthogonal geodesic nets.
ACM Trans. Graph.
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
2017 J jnl
Discrete Geodesic Nets for Modeling Developable Surfaces.
CoRR
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
2016 J jnl
A 2× Lax Representation, Associated Family, and Bäcklund Transformation for Circular K-Nets.
Discret. Comput. Geom.
Tim Hoffmann, Andrew O. Sageman-Furnas
2015 — conf
Haltung und Übertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlüsselungsframeworks.
GI-Jahrestagung
Marc Walterbusch, Tim Hoffmann, Frank Teuteberg
2010 — conf
On Local Deformations of Planar Quad-Meshes.
ICMS
Tim Hoffmann
2009 A* conf
jReality: a java library for real-time interactive 3D graphics and audio.
ACM Multimedia
Steffen Weißmann, Charles Gunn, Peter Brinkmann, Tim Hoffmann, Ulrich Pinkall
2006 — conf
jReality, jtem, and Oorange - A Way to Do Math with Computers.
ICMS
Tim Hoffmann, Markus Schmies
2001 J jnl
Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals.
Exp. Math.
Alexander I. Bobenko, Tim Hoffmann
1997 — conf
Discrete Rotational CMC Surfaces and the Elliptic Billiard.
VisMath
Tim Hoffmann