Parameter Synthesis by Parallel Coloured CTL Model Checking. - Lubos Brim; Milan Ceska 002; Martin Demko; Samuel Pastva; David Safránek (CMSB, 2015)

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. - Lubos Brim; Martin Demko; Samuel Pastva; David Safránek (HSB, 2015)

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. - Nikola Benes; Lubos Brim; Martin Demko; Samuel Pastva; David Safránek (ATVA, 2016)

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. - Martin Demko; Nikola Benes; Lubos Brim; Samuel Pastva; David Safránek (CMSB, 2016)

A Model Checking Approach to Discrete Bifurcation Analysis. - Nikola Benes; Lubos Brim; Martin Demko; Samuel Pastva; David Safránek (FM, 2016)

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. - Matej Hajnal; David Safránek; Martin Demko; Samuel Pastva; Pavel Krejcí; Lubos Brim (HSB, 2016)

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. - Nikola Benes; Lubos Brim; Martin Demko; Samuel Pastva; David Safránek (CAV (1), 2017)

Detecting Attractors in Biological Models with Uncertain Parameters. - Jiri Barnat; Nikola Benes; Lubos Brim; Martin Demko; Matej Hajnal; Samuel Pastva; David Safránek (CMSB, 2017)

ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data. - Vojtech Bystrý; Tomas Reigl; Adam Krejci; Martin Demko; Barbora Hanakova; Andrea Grioni; Henrik Knecht; Max Schlitt; Peter Dreger; Leopold Sellner; Dietrich Herrmann; Marine Pingeon; et al. (Bioinform., 2017)

GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. - Karol Pal; Vojtech Bystrý; Tomas Reigl; Martin Demko; Adam Krejci; Tasoula Touloumenidou; Evangelia Stalika; Boris Tichy; Paolo Ghia; Kostas Stamatopoulos; Sarka Pospisilova; Jitka Malcikova; et al. (Bioinform., 2017)

Barbaric Robustness Monitoring Revisited for STL* in Parasim. - David Safránek; Matej Troják; Vojtech Bruza; Tomás Vejpustek; Jan Papousek; Martin Demko; Samuel Pastva; Ales Pejznoch; Lubos Brim (CMSB, 2019)

WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis. - Martin Lycka; Vratislav Peska; Martin Demko; Ioannis Spyroglou; Agata Kilar; Jirí Fajkus; Miloslava Fojtová (BMC Bioinform., 2021)