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).

2013

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).

2012

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: http://dx.doi.org/10.1016/j.micpro.2012.02.002.

 

Invitation to the course Productivity tools for High Performance Computing (24-25/10/2018)
When: Wednesday 24 October 2018, 9.30am – Thursday 25 October 2018, 4.30pm Where: campus VŠB-TUO […]
Invitation to the 1,5 day workshop ANTAREX (22-23/10/2018)
Invitation to the 1,5 day workshop ANTAREX: Monitoring, Compilation and Autotuning Approach for Energy-Efficient HPC […]
1st Open Call for Entrepreneurial Technology Transfer Experiments within the project TETRAMAX
The overall goal of an Entrepreneurial Technology Transfer Experiment (TTX) is to mobilize, challenge and […]
Invitation to Researchers’ Night 2018 (5 October 2018)
Visit us on Friday 5 October and enjoy 5 hours of fun with us. We […]
Invitation to a workshop; HPC for small and medium enterprises, 24 September 2018
We would like to invite you to the workshop ‘HPC for small and medium enterprises’, […]
All news