Christoph A. Herrmann

Available identifiers

zbMath Open herrmann.christoph-aMaRDI QIDQ1375711

List of research outcomes

Publication	Date of Publication	Type
Counter automata for parameterised timing analysis of box-based systems	2012-11-02	Paper
In search of a program generator to implement generic transformations for high-performance computing	2006-10-05	Paper
Combining partial evaluation and staged interpretation in the implementation of domain-specific languages	2006-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4460215	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4445775	2004-02-02	Paper
Parallelization of divide-and-conquer by translation to nested loops	2000-01-17	Paper
The static parallelization of loops and recursions	1998-01-12	Paper

Research outcomes over time

This page was built for person: Christoph A. Herrmann