comp.doc.techreports
- AIB 2007-18: Call Tree Reversal is NP-Complete, Peter Schneider-Kamp
- AIB 2007-19: Adjoints for Time-Dependent Optimal Control, Peter Schneider-Kamp
- AIB 2008-04: Sensitivity Analysis in Sisyphe with the AD-Enabled NAGWare Fortran Compiler, Peter Schneider-Kamp
- AIB 2008-05: An Automata Theoretic Approach to the Theory of Rational Tree Relations, Peter Schneider-Kamp
- AIB 2008-03: Maximal Termination, Peter Schneider-Kamp
