Christoph A. Herrmann

12 papers Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2011 — conf
Counter Automata for Parameterised Timing Analysis of Box-Based Systems.
FOPARA
Christoph A. Herrmann, Kevin Hammond
2008 — conf
Lightweight Invariants with Full Dependent Types.
Trends in Functional Programming
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
2007 — conf
Automatic Amortised Worst-Case Execution Time Analysis.
WCET
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
2005 J jnl
Generating Message-passing Programs from Abstract Specifications by Partial Evaluation.
Parallel Process. Lett.
Christoph A. Herrmann
2003 — ch.
Transforming Rapid Prototypes to Efficient Parallel Programs.
Patterns and Skeletons for Parallel and Distributed Computing
Christoph A. Herrmann, Christian Lengauer
2002 J jnl
Using Metaprogramming to Parallelize Functional Specifications.
Parallel Process. Lett.
Christoph A. Herrmann, Christian Lengauer
2001 — conf
A Transformational Approach which Combines Size Inference and Program Optimization.
SAIG
Christoph A. Herrmann, Christian Lengauer
2000 J jnl
HDC: A Higher-Order Language for Divide-and-Conquer.
Parallel Process. Lett.
Christoph A. Herrmann, Christian Lengauer
1999 J jnl
Parallelization of Divide-and-Conquer by Translation to Nested Loops.
J. Funct. Program.
Christoph A. Herrmann, Christian Lengauer
1999 — conf
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.
Euro-Par
Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller
1997 J jnl
The Static Parallelization of Loops and Recursions.
J. Supercomput.
Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann
1997 — conf
Transformation of Divide & Conquer to Nested Parallel Loops.
PLILP
Christoph A. Herrmann, Christian Lengauer