| ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data V Bystry, T Reigl, A Krejci, M Demko, B Hanakova, A Grioni, H Knecht, ... Bioinformatics 33 (3), 435-437, 2017 | 102 | 2017 |
| Parameter synthesis by parallel coloured CTL model checking L Brim, M Češka, M Demko, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 251-263, 2015 | 35 | 2015 |
| WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis M Lyčka, V Peska, M Demko, I Spyroglou, A Kilar, J Fajkus, M Fojtová BMC bioinformatics 22, 1-14, 2021 | 27 | 2021 |
| A model checking approach to discrete bifurcation analysis N Beneš, L Brim, M Demko, S Pastva, D Šafránek FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 23 | 2016 |
| Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek Automated Technology for Verification and Analysis: 14th International …, 2016 | 21 | 2016 |
| High-performance discrete bifurcation analysis for piecewise-affine dynamical systems L Brim, M Demko, S Pastva, D Šafránek International Workshop on Hybrid Systems Biology, 58-74, 2015 | 19 | 2015 |
| Detecting attractors in biological models with uncertain parameters J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek Computational Methods in Systems Biology: 15th International Conference …, 2017 | 18 | 2017 |
| Pithya: a parallel tool for parameter synthesis of piecewise multi-affine dynamical systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 17 | 2017 |
| Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway M Demko, L Chrást, P Dvořák, J Damborský, D Šafránek Microorganisms 7 (11), 553, 2019 | 13 | 2019 |
| High-performance symbolic parameter synthesis of biological models: a case study M Demko, N Beneš, L Brim, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 82-97, 2016 | 11 | 2016 |
| Hormone-regulated expansins: Expression, localization, and cell wall biomechanics in Arabidopsis root growth M Samalova, A Melnikava, K Elsayad, A Peaucelle, E Gahurova, ... Plant Physiology 194 (1), 209-228, 2024 | 9 | 2024 |
| EuroClonality-NGS. ARResT/Interrogate: an interactive immunoprofiler for IG V Bystry, T Reigl, A Krejci, M Demko, B Hanakova, A Grioni, H Knecht, ... TR NGS data. Bioinformatics 33 (3), 435-437, 2017 | 8 | 2017 |
| TeloBase: a community-curated database of telomere sequences across the tree of life M Lyčka, M Bubeník, M Závodník, V Peska, P Fajkus, M Demko, J Fajkus, ... Nucleic Acids Research 52 (D1), D311-D321, 2024 | 6 | 2024 |
| GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data K Pal, V Bystry, T Reigl, M Demko, A Krejci, T Touloumenidou, E Stalika, ... Bioinformatics 33 (23), 3802-3804, 2017 | 6 | 2017 |
| Transcriptome analysis of thermomorphogenesis in ovules and during early seed development in Brassica napus V Jedličková, V Hejret, M Demko, P Jedlička, M Štefková, HS Robert BMC genomics 24 (1), 236, 2023 | 5 | 2023 |
| Toward modelling and analysis of transient and sustained behaviour of signalling pathways M Hajnal, D Šafránek, M Demko, S Pastva, P Krejčí, L Brim Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble …, 2016 | 5 | 2016 |
| Barbaric robustness monitoring revisited for stl* in parasim D Šafránek, M Troják, V Brůža, T Vejpustek, J Papoušek, M Demko, ... Computational Methods in Systems Biology: 17th International Conference …, 2019 | 3 | 2019 |
| Discrete bifurcation analysis with Pithya N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek CMSB 2017 10545, 319-320, 2017 | 3 | 2017 |
| HITS-CLIP analysis of human ALKBH8 reveals interactions with fully processed substrate tRNAs and with specific noncoding RNAs I Cavallin, M Bartosovic, T Skalicky, P Rengaraj, M Demko, ... RNA 28 (12), 1568-1581, 2022 | 2 | 2022 |
| Reproduction-associated pathways in females of gibel carp (Carassius gibelio) shed light on the molecular mechanisms of the coexistence of asexual and sexual reproduction F Jacques, T Tichopád, M Demko, V Bystrý, KC Křížová, M Seifertová, ... | | 2024 |
