Credit cards on a keyboard

2014 – in press

De SILVA., G.; RYŠAVÝ, O.; MATOŠEK, P.; ŠVÉDA, M. On Formal Reachability Analysis in Networks with Dynamic Behavior. In Telecommunication Systems. Volume 57, Issue 4. 2014 (in press).


STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z.; MIČULKA, L. Fault Tolerant System Design and SEU Injection Based Testing. In Microprocessors and Microsystems. 2013 (in press).


HABERMEHL, P.; HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forest Automata for Verification of Heap Manipulation. In Formal Methods in System Design, Issue 41. Berlin, DE, 2012, p. 83-106. ISSN 0925-9856.

DRAHANSKÝ, M.; DOLEŽEL, M.; URBÁNEK, J.; BŘEZINOVÁ, E.; KIM, T., H. Influence of Skin Diseases on Fingerprint Recognition. In Journal of Biomedicine and Biotechnology, Issue 4. New York, US, 2012, pp. 1-14. ISSN 1110-7243.

SALVADOR, R.; VIDAL, A.; MORENO, F.; RIESGO, T.; SEKANINA, L. Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling. In Microprocessors and Microsystems. Volume 36, Issue 5. Amsterdam, NL, 2012, pp. 427-438.Doi:


PRACE Summer of HPC 2019 has launched
Late-stage undergraduate and masters students are invited to apply for the PRACE Summer of HPC […]
Invitation to lectures on Image Processing and Machine Learning by invited foreign specialists
We cordially invite you to lectures by invited foreign specialists Christian Dietz (KNIME) and Florian […]
We have achieved ISO 27001 certification
In December 2018, IT4Innovations National Supercomputing Center was awarded ISO 27001 certification (ISO/IEC 27001:2013, ČSN […]
New publication: IT4Innovations Digital Innovation Hub
New publication: IT4Innovations Digital Innovation Hub
Invitation to the course Developing efficient HPC applications for the latest CPU architectures with C++ and Fortran (14-15/01/2019)
When: Monday 14 January 2019, 9.30am – Tuesday 15 January 2019, 3.30pm Where: campus VŠB-TUO […]
All news