Martin Vlk

According to our database, Martin Vlk authored at least 4 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Hybrid Methodology for Verification of SW Safety Mechanisms.

Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar

Proceedings of the 39th IEEE VLSI Test Symposium, 2021

2009

Monitoring and Environmental Information Sharing Regarding Climate Change.

Karel Charvát, Premysl Vohnout, Stepán Kafka, Jachym Cepicky, Jan Jezek, Martin Vlk, Petr Horak

Proceedings of the Environmental Informatics and Industrial Environmental Protection, 2009

2008

Web Tools for Geospatial Data Management.

Petr Horak, Karel Charvát, Martin Vlk

Proceedings of the Information Systems Development, 2008

2007

Symbolic Analysis Based on Graph Transformations.

Zdenek Kolka, Martin Vlk, Dalibor Biolek, Viera Biolková

Proceedings of the 14th IEEE International Conference on Electronics, 2007