Tim Hoffmann

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 19

Top Topics

Top Venues

ACM Trans. Graph.

Comput. Graph. Forum

Publications

Tina Vartziotis, Ippolyti Dellatolas, George Dasoulas, Maximilian Schmidt, Florian Schneider, Tim Hoffmann, Sotirios Kotsopoulos, Michael Keckeisen
Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation. CoRR (2024)
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
Proof Complexity of Propositional Model Counting. Electron. Colloquium Comput. Complex. (2024)
Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche
The Relative Strength of #SAT Proof Systems. SAT (2024)
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, Dinga Wonanke, Michael Pieler, Philippe Schwaller, Kevin Maik Jablonka
Are large language models superhuman chemists? CoRR (2024)
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. MFCS (2024)
Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann
Proof Complexity of Propositional Model Counting. SAT (2023)
Tim Hoffmann, Zi Ye
A Discrete Extrinsic and Intrinsic Dirac Operator. Exp. Math. 31 (3) (2022)
Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces. ACM Trans. Graph. 41 (3) (2022)
Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces. CoRR (2021)
Cristina Oyarzun Laura, Katrin Hartwig, Alexander Distergoft, Tim Hoffmann, Kathrin Scheckenbach, Melanie Brüsseler, Stefan Wesarg
Automatic segmentation of the structures in the nasal cavity and the ethmoidal sinus for the quantification of nasal septal deviations. Medical Imaging: Computer-Aided Diagnosis (2021)
Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann
A Curvature and Density-based Generative Representation of Shapes. Comput. Graph. Forum 40 (1) (2021)
Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann
A curvature and density-based generative representation of shapes. CoRR (2020)
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
Modeling curved folding with freeform deformations. ACM Trans. Graph. 38 (6) (2019)
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
The shape space of discrete orthogonal geodesic nets. ACM Trans. Graph. 37 (6) (2018)
Zi Ye, Olga Diamanti, Chengcheng Tang, Leonidas J. Guibas, Tim Hoffmann
A unified discrete framework for intrinsic and extrinsic Dirac operators for geometry processing. Comput. Graph. Forum 37 (5) (2018)
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
Discrete Geodesic Nets for Modeling Developable Surfaces. ACM Trans. Graph. 37 (2) (2018)
Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung
Discrete Geodesic Nets for Modeling Developable Surfaces. CoRR (2017)
Tim Hoffmann, Andrew O. Sageman-Furnas
A 2× Lax Representation, Associated Family, and Bäcklund Transformation for Circular K-Nets. Discret. Comput. Geom. 56 (2) (2016)
Marc Walterbusch, Tim Hoffmann, Frank Teuteberg
Haltung und Übertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlüsselungsframeworks. GI-Jahrestagung (2015)
Tim Hoffmann
On Local Deformations of Planar Quad-Meshes. ICMS (2010)
Steffen Weißmann, Charles Gunn, Peter Brinkmann, Tim Hoffmann, Ulrich Pinkall
jReality: a java library for real-time interactive 3D graphics and audio. ACM Multimedia (2009)
Tim Hoffmann, Markus Schmies
jReality, jtem, and Oorange - A Way to Do Math with Computers. ICMS (2006)
Alexander I. Bobenko, Tim Hoffmann
Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals. Exp. Math. 10 (1) (2001)
Tim Hoffmann
Discrete Rotational CMC Surfaces and the Elliptic Billiard. VisMath (1997)