Items where Author is "Utke, Jean"

Item Type No Grouping

A framework for proving correctness of adjoint message-passing programs. (2008) Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme and Jean Utke

Preface: Special issue dedicated to Andreas Griewank on the occasion of his 60th birthday Preface. (2012) B. Christianson, Uwe Naumann, Jean Utke and Andrea Walther