An exploration in the space of mathematical knowledge (2006) Kohlhase A, Kohlhase M Conference contribution, Original article Parallelising Matrix Operations on clusters for an Optimal-Control based Quantum Compiler (2006) Gradl T, Spoerl A, Huckle T, Glaser SJ, Schulte-Herbrueggen T Conference contribution Changing Labels in the Double-Pushout Approach Can Be Treated Categorically (2005) Schneider HJ Book chapter / Article in edited volumes Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software (2005) Oster N Conference contribution, Original article Automatic FIR Filter Generation for FPGAs (2005) Dutta H, Hannig F, Teich J Conference contribution Learning based non-rigid multi-modal image registration using Kullback-Leibler divergence (2005) Gütter C, Xu C, Sauer F, Hornegger J Authored book, Volume of book series Thirty Years of Server-Technology - From Transaction Processing to Web Services (2005) Meyer-Wegener K Book chapter / Article in edited volumes Information Management in Distributed Healthcare Networks (2005) Lenz R Book chapter / Article in edited volumes Fast expression templates. Object-oriented high performance computing (2005) Härdtlein J, Linke A, Pflaum C Conference contribution, Conference Contribution A quantitative comparison of the subgraph miners MoFa, gSpan, FFSM, and Gaston (2005) Wörlein M, Meinl T, Fischer I, Philippsen M Conference contribution, Original article