Martin Kohlík
According to our database1,
Martin Kohlík
authored at least 18 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024
2023
Evaluation of the Medium-sized Neural Network using Approximative Computations on Zynq FPGA.
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023
2022
Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022
2020
Microprocess. Microsystems, 2020
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020
2019
Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains.
Proceedings of the 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2019
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019
2017
Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
2016
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016
2014
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014
2013
Proceedings of the 14th Latin American Test Workshop, 2013
Proceedings of the ARCS 2013, 2013
2012
Miscellaneous Types of Partial Duplication Modifications for Availability Improvements.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012
2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2010
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010