Working papers at the Dep. of Information Technology and Mathematical Methods (2004-2012)