Christoph Armin Herrmann
Affiliations:- University of Passau, Germany
According to our database1,
Christoph Armin Herrmann
authored at least 16 papers
between 1996 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
1996
1998
2000
2002
2004
2006
2008
2010
0
1
2
3
1
2
1
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2011
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011
2008
Lightweight Invariants with Full Dependent Types.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008
2007
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007
2006
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages.
Sci. Comput. Program., 2006
In search of a program generator to implement generic transformations for high-performance computing.
Sci. Comput. Program., 2006
2005
Generating Message-passing Programs from Abstract Specifications by Partial Evaluation.
Parallel Process. Lett., 2005
2003
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003
2002
Parallel Process. Lett., 2002
2001
PhD thesis, 2001
Proceedings of the Semantics, 2001
2000
1999
J. Funct. Program., 1999
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1997
Proceedings of the Programming Languages: Implementations, 1997
1996
Parallel Process. Lett., 1996