Publications by authors named "Jiri Hostas"