Tim Hoffmann

According to our database, Tim Hoffmann authored at least 21 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Proof Complexity of Propositional Model Counting.

Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann

J. Satisf. Boolean Model. Comput., 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, 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

CoRR, 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

The Relative Strength of #SAT Proof Systems.

Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree.

Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

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

2022

Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces.

Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung

ACM Trans. Graph., 2022

A Discrete Extrinsic and Intrinsic Dirac Operator.

Tim Hoffmann, Zi Ye

Exp. Math., 2022

2021

A Curvature and Density-based Generative Representation of Shapes.

Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann

Comput. Graph. Forum, 2021

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

Proceedings of the Medical Imaging 2021: Computer-Aided Diagnosis, 2021

2019

Modeling curved folding with freeform deformations.

Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung

ACM Trans. Graph., 2019

2018

The shape space of discrete orthogonal geodesic nets.

Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung

ACM Trans. Graph., 2018

Discrete Geodesic Nets for Modeling Developable Surfaces.

Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung

ACM Trans. Graph., 2018

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

2016

A 2× Lax Representation, Associated Family, and Bäcklund Transformation for Circular K-Nets.

Tim Hoffmann, Andrew O. Sageman-Furnas

Discret. Comput. Geom., 2016

2015

Haltung und Übertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlüsselungsframeworks.

Marc Walterbusch, Tim Hoffmann, Frank Teuteberg

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2010

On Local Deformations of Planar Quad-Meshes.

Tim Hoffmann

Proceedings of the Mathematical Software, 2010

2009

jReality: a java library for real-time interactive 3D graphics and audio.

Steffen Weißmann, Charles Gunn, Peter Brinkmann, Tim Hoffmann, Ulrich Pinkall

Proceedings of the 17th International Conference on Multimedia 2009, 2009

2006

jReality, jtem, and Oorange - A Way to Do Math with Computers.

Tim Hoffmann, Markus Schmies

Proceedings of the Mathematical Software, 2006

2001

Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals.

Alexander I. Bobenko, Tim Hoffmann

Exp. Math., 2001

1997

Discrete Rotational CMC Surfaces and the Elliptic Billiard.

Tim Hoffmann

Proceedings of the Mathematical Visualization, Algorithms, Applications and Numerics, 1997