On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. - Christoph Armin Herrmann; Christian Lengauer (Parallel Process. Lett., 1996)

Transformation of Divide & Conquer to Nested Parallel Loops. - Christoph A. Herrmann; Christian Lengauer (PLILP, 1997)

The Static Parallelization of Loops and Recursions. - Christian Lengauer; Sergei Gorlatch; Christoph A. Herrmann (J. Supercomput., 1997)

Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. - Christoph A. Herrmann; Jan Laitenberger; Christian Lengauer; Christian Schaller (Euro-Par, 1999)

Parallelization of Divide-and-Conquer by Translation to Nested Loops. - Christoph A. Herrmann; Christian Lengauer (J. Funct. Program., 1999)

HDC: A Higher-Order Language for Divide-and-Conquer. - Christoph A. Herrmann; Christian Lengauer (Parallel Process. Lett., 2000)

A Transformational Approach which Combines Size Inference and Program Optimization. - Christoph A. Herrmann; Christian Lengauer (SAIG, 2001)

The skeleton based parallelization of divide and conquer recursions. - Christoph Armin Herrmann (Logos-Verlag, 2001)

Using Metaprogramming to Parallelize Functional Specifications. - Christoph A. Herrmann; Christian Lengauer (Parallel Process. Lett., 2002)

Transforming Rapid Prototypes to Efficient Parallel Programs. - Christoph A. Herrmann; Christian Lengauer (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Generating Message-passing Programs from Abstract Specifications by Partial Evaluation. - Christoph A. Herrmann (Parallel Process. Lett., 2005)

In search of a program generator to implement generic transformations for high-performance computing. - Albert Cohen 001; Sébastien Donadio; María Jesús Garzarán; Christoph Armin Herrmann; Oleg Kiselyov; David A. Padua (Sci. Comput. Program., 2006)

Combining partial evaluation and staged interpretation in the implementation of domain-specific languages. - Christoph Armin Herrmann; Tobias Langhammer (Sci. Comput. Program., 2006)

Automatic Amortised Worst-Case Execution Time Analysis. - Christoph A. Herrmann; Armelle Bonenfant; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl; Robert F. Pointon (WCET, 2007)

Lightweight Invariants with Full Dependent Types. - Edwin C. Brady; Christoph A. Herrmann; Kevin Hammond (Trends in Functional Programming, 2008)

Counter Automata for Parameterised Timing Analysis of Box-Based Systems. - Christoph A. Herrmann; Kevin Hammond (FOPARA, 2011)