Department of Computer and System Sciences Antonio Ruberti Technical Reports