Publications by authors named "Marek Dostal"