default search action
Tim Hoffmann
Person information
- affiliation: Technical University Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann:
Proof Complexity of Propositional Model Counting. J. Satisf. Boolean Model. Comput. 15(1): 27-59 (2024) - [c10]Tina Vartziotis
, Ippolyti Dellatolas
Learn to Code Sustainably: An Empirical Study on Green Code Generation. LLM4CODE@ICSE 2024: 30-37 - [c9]Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann:
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. MFCS 2024: 27:1-27:15 - [c8]Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche:
The Relative Strength of #SAT Proof Systems. SAT 2024: 5:1-5:19 - [i6]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 abs/2403.03344 (2024) - [i5]Adrian Mirza, Nawaf Alampara, Sreekanth Kunchapu, Benedict Emoekabu, Aswanth Krishnan, Mara Wilhelmi, Macjonathan Okereke, Juliane Eberhardt, Amir Mohammad Elahi
Are large language models superhuman chemists? CoRR abs/2404.01475 (2024) - [i4]Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann:
Proof Complexity of Propositional Model Counting. Electron. Colloquium Comput. Complex. TR24 (2024) - 2023
- [c7]Olaf Beyersdorff, Tim Hoffmann
Proof Complexity of Propositional Model Counting. SAT 2023: 2:1-2:18 - 2022
- [j9]Tim Hoffmann, Zi Ye
A Discrete Extrinsic and Intrinsic Dirac Operator. Exp. Math. 31(3): 920-935 (2022) - [j8]Floor Verhoeven
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces. ACM Trans. Graph. 41(3): 29:1-29:18 (2022) - 2021
- [j7]Zi Ye
A Curvature and Density-based Generative Representation of Shapes. Comput. Graph. Forum 40(1): 38-53 (2021) - [c6]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. Computer-Aided Diagnosis 2021 - [i3]Floor Verhoeven, Amir Vaxman, Tim Hoffmann, Olga Sorkine-Hornung:
Dev2PQ: Planar Quadrilateral Strip Remeshing of Developable Surfaces. CoRR abs/2103.00239 (2021) - 2020
- [i2]Zi Ye, Nobuyuki Umetani, Takeo Igarashi, Tim Hoffmann:
A curvature and density-based generative representation of shapes. CoRR abs/2009.02494 (2020)
2010 – 2019
- 2019
- [j6]Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung:
Modeling curved folding with freeform deformations. ACM Trans. Graph. 38(6): 170:1-170:12 (2019) - 2018
- [j5]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): 93-106 (2018) - [j4]Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung:
Discrete Geodesic Nets for Modeling Developable Surfaces. ACM Trans. Graph. 37(2): 16 (2018) - [j3]Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung:
The shape space of discrete orthogonal geodesic nets. ACM Trans. Graph. 37(6): 228 (2018) - 2017
- [i1]Michael Rabinovich, Tim Hoffmann, Olga Sorkine-Hornung:
Discrete Geodesic Nets for Modeling Developable Surfaces. CoRR abs/1707.08360 (2017) - 2016
- [j2]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): 472-501 (2016) - 2015
- [c5]Marc Walterbusch, Tim Hoffmann, Frank Teuteberg:
Haltung und Übertragung von Patientendaten im Cloud Computing: Anforderungserhebung und prototypische Implementierung eines Verschlüsselungsframeworks. GI-Jahrestagung 2015: 1011-1026 - 2010
- [c4]Tim Hoffmann:
On Local Deformations of Planar Quad-Meshes. ICMS 2010: 167-169
2000 – 2009
- 2009
- [c3]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: 927-928 - 2006
- [c2]Tim Hoffmann, Markus Schmies:
jReality, jtem, and Oorange - A Way to Do Math with Computers. ICMS 2006: 74-85 - 2001
- [j1]Alexander I. Bobenko, Tim Hoffmann:
Conformally Symmetric Circle Packings: A Generalization of Doyle's Spirals. Exp. Math. 10(1): 141-150 (2001)
1990 – 1999
- 1997
- [c1]Tim Hoffmann:
Discrete Rotational CMC Surfaces and the Elliptic Billiard. VisMath 1997: 117-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: