| 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 | 14 | 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 | 11 | 2016 |
| 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 | 6 | 2018 |
| Executable biochemical space for specification and analysis of biochemical systems M Troják, D Šafránek, L Bri, J Šalagovič, J Červený Electronic Notes in Theoretical Computer Science 350, 91-116, 2020 | 5 | 2020 |
| eBCSgen: A Software Tool for Biochemical Space Language M Troják, D Šafránek, L Mertová, L Brim International Conference on Computational Methods in Systems Biology, 356-361, 2020 | 2 | 2020 |
| Parameter synthesis and robustness analysis of rule-based models M Troják, D Šafránek, L Mertová, L Brim NASA Formal Methods Symposium, 41-59, 2020 | 2 | 2020 |
| Barbaric Robustness Monitoring Revisited for STL* in Parasim D Šafránek, M Troják, V Brůža, T Vejpustek, J Papoušek, M Demko, ... International Conference on Computational Methods in Systems Biology, 356-359, 2019 | 2 | 2019 |
| Formal Biochemical Space for Specification and Analysis of Biochemical Processes M Troják Master’s thesis, Masaryk University, Faculty of Informatics, Brno, 2018. URL …, 0 | 1 | |
| Comprehensive Modelling Platform M Troják, D Šafránek, J Červený, M Havlík, L Mertová, M Hajnal, J Hrabec, ... | | 2019 |
| Formal Analysis of Rule-Based Models in Systems Biology M Troják Masaryk University, 2019 | | 2019 |
| BCSgen: Biochemical Space language software tool M Troják, D Šafránek, J Šalagovič | | 2017 |
| Biochemical Space: A framework for formal description and annotation of complex biological processes M Troják, D Šafránek, J Šalagovic, F Romanovská, M Hajnal | | 2017 |
| E-cyanobacterium. org: A Web-based Platform for Systems Biology of Cyanobacteria M Klement, D Šafránek, J Červený, T Děd, M Troják, L Brim, S Mueller | | 2015 |
| Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes M Troják, T Děd, D Šafránek, M Klement, J Červený, L Brim | | 2015 |
| Formálny popis fosforylačných stavov a súvisiacich reakcií M Troják | | |
David Safranekassistant professor, Masaryk university, Faculty of informaticsEmail verificata su safranek.cz
