Discrete Rotational CMC Surfaces and the Elliptic Billiard. - Tim Hoffmann (VisMath, 1997)

Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals. - Alexander I. Bobenko; Tim Hoffmann (Exp. Math., 2001)

jReality, jtem, and Oorange - A Way to Do Math with Computers. - Tim Hoffmann; Markus Schmies (ICMS, 2006)

jReality: a java library for real-time interactive 3D graphics and audio. - Steffen Weißmann; Charles Gunn; Peter Brinkmann; Tim Hoffmann; Ulrich Pinkall (ACM Multimedia, 2009)

On Local Deformations of Planar Quad-Meshes. - Tim Hoffmann (ICMS, 2010)

Haltung und Übertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlüsselungsframeworks. - Marc Walterbusch; Tim Hoffmann; Frank Teuteberg (GI-Jahrestagung, 2015)

A 2× Lax Representation, Associated Family, and Bäcklund Transformation for Circular K-Nets. - Tim Hoffmann; Andrew O. Sageman-Furnas (Discret. Comput. Geom., 2016)

A unified discrete framework for intrinsic and extrinsic Dirac operators for geometry processing. - Zi Ye; Olga Diamanti; Chengcheng Tang; Leonidas J. Guibas; Tim Hoffmann (Comput. Graph. Forum, 2018)

Discrete Geodesic Nets for Modeling Developable Surfaces. - Michael Rabinovich; Tim Hoffmann; Olga Sorkine-Hornung (ACM Trans. Graph., 2018)

The shape space of discrete orthogonal geodesic nets. - Michael Rabinovich; Tim Hoffmann; Olga Sorkine-Hornung (ACM Trans. Graph., 2018)

Modeling curved folding with freeform deformations. - Michael Rabinovich; Tim Hoffmann; Olga Sorkine-Hornung (ACM Trans. Graph., 2019)

Automatic segmentation of the structures in the nasal cavity and the ethmoidal sinus for the quantification of nasal septal deviations. - Cristina Oyarzun Laura; Katrin Hartwig; Alexander Distergoft; Tim Hoffmann; Kathrin Scheckenbach; Melanie Brüsseler; Stefan Wesarg (Computer-Aided Diagnosis, 2021)

A Curvature and Density-based Generative Representation of Shapes. - Zi Ye; Nobuyuki Umetani; Takeo Igarashi; Tim Hoffmann (Comput. Graph. Forum, 2021)

A Discrete Extrinsic and Intrinsic Dirac Operator. - Tim Hoffmann; Zi Ye (Exp. Math., 2022)

Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces. - Floor Verhoeven; Amir Vaxman; Tim Hoffmann; Olga Sorkine-Hornung (ACM Trans. Graph., 2022)

Learn to Code Sustainably: An Empirical Study on Green Code Generation. - Tina Vartziotis; Ippolyti Dellatolas; George Dasoulas; Maximilian Schmidt; Florian Schneider; Tim Hoffmann; Sotirios Kotsopoulos; Michael Keckeisen (LLM4CODE@ICSE, 2024)

Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. - Olaf Beyersdorff; Tim Hoffmann; Kaspar Kasche; Luc Nicolas Spachmann (MFCS, 2024)

The Relative Strength of #SAT Proof Systems. - Olaf Beyersdorff; Johannes Klaus Fichte; Markus Hecher; Tim Hoffmann; Kaspar Kasche (SAT, 2024)

Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation. - Tina Vartziotis; Ippolyti Dellatolas; George Dasoulas; Maximilian Schmidt; Florian Schneider; Tim Hoffmann; Sotirios Kotsopoulos; Michael Keckeisen (CoRR, 2024)

Are large language models superhuman chemists? - 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; et al. (CoRR, 2024)

Proof Complexity of Propositional Model Counting. - Olaf Beyersdorff; Tim Hoffmann; Luc Nicolas Spachmann (J. Satisf. Boolean Model. Comput., 2024)

Carbon Footprint Evaluation of Code Generation through LLM as a Service. - Tina Vartziotis; Maximilian Schmidt; George Dasoulas; Ippolyti Dellatolas; Stefano Attademo; Viet Dung Le; Anke Wiechmann; Tim Hoffmann; Michael Keckeisen; Sotirios Kotsopoulos (CoRR, 2025)