Christian Galke René Kothe Heinrich Theodor Vierhaus 36-44 2006 conf/arcs/2006w ARCS Workshops db/conf/arcs/arcsw2006.html#GalkeKV06