Diploma Thesis: ``Simulation von Signalverzögerungen
und Zeitbedingungen funktionaler Elemente auf MuSiCII"
(Simulation of signal delays and timing
constraints of functional elements on MuSICII) (Christoph A. Herrmann),
Department of Informatics and Mathematics, University of Passau, March 1993.
``Generating Message-passing Programs from Abstract Specifications by Partial Evaluation'' (Christoph A. Herrmann), Parallel Processing Letters, 15(3), 2005, 305-320.
``Using Metaprogramming to Parallelize Functional Specifications'' (Christoph A. Herrmann and Christian Lengauer), Parallel Processing Letters, 12(2), 2002, 193-210.
``HDC: A Higher-Order Language for Divide-and-Conquer'' (Christoph A. Herrmann and Christian Lengauer),
Parallel Processing Letters, 10(2-3), 2000, 239-250.
``Parallelization of Divide-and-Conquer by Translation to Nested Loops'' (Christoph A. Herrmann and Christian Lengauer), J. Functional Programming, 9(3), 1999, 279-310.
``On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions'' (Christoph A. Herrmann and Christian Lengauer), Parallel Processing Letters, 6(4), 1996, 525-537.
Reviewed Conference and Workshop Papers
``Towards a high-productivity and high-performance marshaling library for compound data'' (Albert Cohen and Christoph A. Herrmann),
Proc. 2nd MetaOCaml Workshop, 2005, Tallinn, Estonia.
``Functional Metaprogramming in the Construction of Parallel Programs'' (Christoph A. Herrmann), Proc. 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Technical report of the University of Münster, Germany.
``Using Metaprogramming to Parallelize Functional Specifications'' (Christoph A. Herrmann and Christian Lengauer), Proc. 3rd International Workshop on Constructive Methods for Parallel Programming (CMPP 2002), Technical reports of Department IV - Electronics and Informatics, No. 2002/07, Technical University Berlin.
``A Transformational Approach which Combines Size Inference and Program Optimization'' (Christoph A. Herrmann and Christian Lengauer),
Semantics, Application and Implementation of Program Generation (SAIG'01), Lecture Notes in Computer Science 2196,
Springer-Verlag, 2001, 199-218.
``Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining''
(Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer and Christian Schaller), Euro-Par: Parallel Processing, Lecture Notes in Computer Science 1685, Springer-Verlag, 1999, 930-934.
``Transformation of Divide & Conquer to Nested Parallel Loops'' (Christoph A. Herrmann and Christian Lengauer),
Programming Languages: Implementations, Logics, and Programs (PLILP'97), Lecture Notes in Computer Science 1292,
Springer-Verlag, 1997,
95-109.
``Notes on the Space-Time Mapping of Divide-and-Conquer Recursions'' (Christoph A. Herrmann and Christian Lengauer), Proc. GI/ITG FG PARS '95, PARS Mitteilungen Nr.14, Gesellschaft für Informatik e.V., 1995, 132-139.
``Compiled-Code-Based Simulation with Timing Verification'' (Winfried Hahn, Andreas Hagerer and Christoph A. Herrmann), Proc. EURO-DAC, 1994, 362-367.
``Precise Delay Models for Compiler-Driven Logic Simulation on an Update Dataflow
Simulation Engine'' (Christoph A. Herrmann and Andreas Hagerer),
Proc. European Simulation Multiconference, Society for Computer
Simulation International, 1994, 1022-1027.
``The HDC Compiler Project'' (Christoph A. Herrmann and Christian Lengauer),
Proc. Compilers for Parallel Computers (CPC 2000), LIP, ENS Lyon, 2000, 239-254.
``Size Inference of Nested Lists in Functional Programs'' (Christoph A. Herrmann and Christian Lengauer),
Implementation of Functional Languages (IFL'98), University College London, 1998, 347-364.