| |
| 2008 | ||
|---|---|---|
| 4 | EE | Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke: A Framework for Proving Correctness of Adjoint Message-Passing Programs. PVM/MPI 2008: 316-321 |
| 2007 | ||
| 3 | EE | Uwe Naumann, Jan Riehme: On Syntax-Directed Adjoint Fortran Code. Comput. Sci. Inf. Syst. 4(2): 47-64 (2007) |
| 2005 | ||
| 2 | EE | Uwe Naumann, Jan Riehme: A differentiation-enabled fortran 95 compiler. ACM Trans. Math. Softw. 31(4): 458-474 (2005) |
| 2003 | ||
| 1 | Malcolm Cohen, Uwe Naumann, Jan Riehme: Towards Differentiation-Enabled FORTRAN 95 Compiler Technology. SAC 2003: 143-147 | |
| 1 | Malcolm Cohen | [1] |
| 2 | Laurent Hascoët | [4] |
| 3 | Chris Hill | [4] |
| 4 | Paul D. Hovland | [4] |
| 5 | Uwe Naumann | [1] [2] [3] [4] |
| 6 | Jean Utke | [4] |