Symbolic Analysis Based on Graph Transformations. - Zdenek Kolka; Martin Vlk; Dalibor Biolek; Viera Biolková (ICECS, 2007)

Web Tools for Geospatial Data Management. - Petr Horak; Karel Charvát; Martin Vlk (ISD, 2008)

Monitoring and Environmental Information Sharing Regarding Climate Change. - Karel Charvát; Premysl Vohnout; Stepán Kafka; Jachym Cepicky; Jan Jezek; Martin Vlk; Petr Horak (EnviroInfo (2), 2009)

Hybrid Methodology for Verification of SW Safety Mechanisms. - Sarvesh Patankar; Sainath Karlapalem; Sakshi Biyani; Wen Chen 016; Roman Chovanec; Martin Vlk; Martin Kaspar (VTS, 2021)