An O(pn + 1.151p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover. - Ulrike Stege; Iris van Rooij; Alexander Hertel; Philipp Hertel (ISAAC, 2002)

The Resolution Width Problem is EXPTIME-Complete. - Alexander Hertel; Alasdair Urquhart (Electron. Colloquium Comput. Complex., 2006)

Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. - Alexander Hertel; Alasdair Urquhart (CSL, 2007)

Formalizing Dangerous SAT Encodings. - Alexander Hertel; Philipp Hertel; Alasdair Urquhart (SAT, 2007)

A Sound and Complete Proof Theory for Propositional Logical Contingencies. - Alexander Hertel; Philipp Hertel; Charles Morgan (Notre Dame J. Formal Log., 2007)

Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete. - Alexander Hertel; Alasdair Urquhart (Electron. Colloquium Comput. Complex., 2009)

Algorithms and Complexity Results for Input and Unit Resolution. - Alexander Hertel; Alasdair Urquhart (J. Satisf. Boolean Model. Comput., 2009)

Applications of Games to Propositional Proof Complexity. - Alexander Hertel (2009)

Periaortic adipose radiomics texture features associated with increased coronary calcium score - first results on a photon-counting-CT. - Peter Mundt; Hishan Tharmaseelan; Alexander Hertel; Lukas T. Rotkopf; Dominik Nörenberg; Philipp Riffel; Stefan O. Schönberg; Matthias F. Froelich; Isabelle Ayx (BMC Medical Imaging, 2023)

Abstract: Multistage Registration of CT and Biopsy CT Images of Lung Tumors. - 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 (Bildverarbeitung für die Medizin, 2024)