| E-cyanobacterium. org: A Web-based Platform for Systems Biology of Cyanobacteria M Troják, D Šafránek, J Hrabec, J Šalagovič, F Romanovská, J Červený International Conference on Computational Methods in Systems Biology, 316-322, 2016 | 17 | 2016 |
| Formal biochemical space with semantics in kappa and BNGL T Děd, D Šafránek, M Troják, M Klement, J Šalagovič, L Brim Electronic Notes in Theoretical Computer Science 326, 27-49, 2016 | 16 | 2016 |
| Executable Biochemical Space for Specification and Analysis of Biochemical Systems M Troják, D Šafránek, L Mertová, L Brim PLoS ONE 15 (9), 2020 | 15 | 2020 |
| Fully automated attractor analysis of cyanobacteria models N Beneš, L Brim, S Pastva, D Šafránek, M Troják, J Červený, J Šalagovič 2018 22nd International Conference on System Theory, Control and Computing …, 2018 | 7 | 2018 |
| eBCSgen: a software tool for biochemical space language M Troják, D Šafránek, L Mertová, L Brim Computational Methods in Systems Biology: 18th International Conference …, 2020 | 5 | 2020 |
| Parameter synthesis and robustness analysis of rule-based models M Troják, D Šafránek, L Mertová, L Brim NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 5 | 2020 |
| Rule-based modelling of biological systems using regulated rewriting M Troják, D Šafránek, S Pastva, L Brim Biosystems 225, 104843, 2023 | 3 | 2023 |
| 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 |
| eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems M Troják, D Šafránek, B Brozmann, L Brim International Conference on Computational Methods in Systems Biology, 302-309, 2022 | 2 | 2022 |
| MSMetaEnhancer: A Python package for mass spectra metadata annotation M Troják, H Hecht, M Čech, EJ Price Journal of Open Source Software 7 (79), 4494, 2022 | 1 | 2022 |
| Hands-on: Hands-on: Mass spectrometry: GC-MS data processing (with XCMS, RAMClustR, RIAssigner, and matchms) M Troják, H Hecht, M Skoryk Galaxy Training Network, 2023 | | 2023 |
| Package ‘RAMClustR’ CD Broeckling, F Afsar, S Neumann, A Ben-Hur, J Prenni, H Hecht, ... | | 2023 |
| MSMetaEnhancer: A Python package for mass spectra M Troják, H Hecht, M Čech, E James | | |
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
