Non-contact ECG signal processing. - Lukas Smolarik; Adriana Libosvarova; Dusan Mudroncik; Peter Schreiber 003 (IEEE Conf. of Intelligent Systems, 2012)

Metric proposal for system testing models verification for safety critical systems. - Lukás Spendla; Pavol Tanuska; Lukas Smolarik (SISY, 2013)