Alexander Hertel

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 2

Top Topics

Lung Parenchyma

Rigid Registration

Top Venues

Bildverarbeitung für die Medizin

BMC Medical Imaging

Publications

Anika Strittmatter, Alexander Hertel, Steffen Diehl, Matthias F. Froelich, Stefan O. Schönberg, Sonja Loges, Tobias Boch, Daniel Nowak, Alexander Streuer, Lothar R. Schad, Frank G. Zöllner
Abstract: Multistage Registration of CT and Biopsy CT Images of Lung Tumors. Bildverarbeitung für die Medizin (2024)
Peter Mundt, Hishan Tharmaseelan, Alexander Hertel, Lukas T. Rotkopf, Dominik Nörenberg, Philipp Riffel, Stefan O. Schönberg, Matthias F. Froelich, Isabelle Ayx
Periaortic adipose radiomics texture features associated with increased coronary calcium score - first results on a photon-counting-CT. BMC Medical Imaging 23 (1) (2023)
Alexander Hertel, Alasdair Urquhart
Algorithms and Complexity Results for Input and Unit Resolution. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)
Alexander Hertel, Alasdair Urquhart
Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete. Electron. Colloquium Comput. Complex. 16 (2009)
Alexander Hertel, Philipp Hertel, Charles Morgan
A Sound and Complete Proof Theory for Propositional Logical Contingencies. Notre Dame J. Formal Log. 48 (4) (2007)
Alexander Hertel, Philipp Hertel, Alasdair Urquhart
Formalizing Dangerous SAT Encodings. SAT (2007)
Alexander Hertel, Alasdair Urquhart
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. CSL (2007)
Alexander Hertel, Alasdair Urquhart
The Resolution Width Problem is EXPTIME-Complete. Electron. Colloquium Comput. Complex. 13 (133) (2006)
Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel
)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover. ISAAC (2002)