Publications by authors named "JiRI HAva"