Alexander Hertel

According to our database, Alexander Hertel authored at least 10 papers between 2002 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the Bildverarbeitung für die Medizin 2024, 2024

2023

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, December, 2023

2009

Applications of Games to Propositional Proof Complexity.

Alexander Hertel

PhD thesis, 2009

Algorithms and Complexity Results for Input and Unit Resolution.

Alexander Hertel, Alasdair Urquhart

J. Satisf. Boolean Model. Comput., 2009

Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete.

Alexander Hertel, Alasdair Urquhart

Electron. Colloquium Comput. Complex., 2009

2007

A Sound and Complete Proof Theory for Propositional Logical Contingencies.

Alexander Hertel, Philipp Hertel, Charles Morgan

Notre Dame J. Formal Log., 2007

Formalizing Dangerous SAT Encodings.

Alexander Hertel, Philipp Hertel, Alasdair Urquhart

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Game Characterizations and the PSPACE-Completeness of Tree Resolution Space.

Alexander Hertel, Alasdair Urquhart

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

The Resolution Width Problem is EXPTIME-Complete.

Alexander Hertel, Alasdair Urquhart

Electron. Colloquium Comput. Complex., 2006

2002

An O(pn + 1.151^p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover.

Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel

Proceedings of the Algorithms and Computation, 13th International Symposium, 2002