Publications of Nir Piterman