EXTENDING LEAN CELLULAR AUTOMATA FRAMEWORK – BOUNDARY CONDITIONS AND PROPERTIES OF CANONICAL FORMS

by Frantisek SILVASI, Martin TOMASEK
Published 2020-05-01

LEAN FORMALIZATION OF INSERTION SORT STABILITY AND CORRECTNESS

by František SILVÁŠI, Martin TOMÁŠEK
Published 2018-02-01

Security Measures in Automated Assessment System for Programming Courses

by Jana Šťastná, Ján Juhár, Miroslav Biňas, Martin Tomášek
Published 2015-12-01

The Sub-Regional Functional Organization of Neocortical Irritative Epileptic Networks in Pediatric Epilepsy

by Radek Janca, Pavel Krsek, Petr Jezdik, Roman Cmejla, Martin Tomasek, Vladimir Komarek, Petr Marusic, Premysl Jiruska
Published 2018-03-01

Corrigendum: The Sub-Regional Functional Organization of Neocortical Irritative Epileptic Networks in Pediatric Epilepsy

by Radek Janca, Pavel Krsek, Petr Jezdik, Roman Cmejla, Martin Tomasek, Vladimir Komarek, Petr Marusic, Premysl Jiruska
Published 2019-06-01

Mapping the Scene and Object Processing Networks by Intracranial EEG

by Kamil Vlcek, Iveta Fajnerova, Iveta Fajnerova, Tereza Nekovarova, Tereza Nekovarova, Lukas Hejtmanek, Radek Janca, Petr Jezdik, Adam Kalina, Martin Tomasek, Pavel Krsek, Jiri Hammer, Petr Marusic
Published 2020-10-01