| Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics S Obruča, P Dvořák, P Sedláček, M Koller, K Sedlář, I Pernicová, ... Biotechnology Advances 58, 107906, 2022 | 99 | 2022 |
| On parameter synthesis by parallel model checking J Barnat, L Brim, A Krejci, A Streck, D Safranek, M Vejnar, T Vejpustek IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (3), 693-705, 2011 | 83 | 2011 |
| Exploring parameter space of stochastic biochemical systems using quantitative model checking L Brim, M Češka, S Dražan, D Šafránek International Conference on Computer Aided Verification, 107-123, 2013 | 64 | 2013 |
| STL⁎: Extending signal temporal logic with signal-value freezing operator L Brim, P Dluhoš, D Šafránek, T Vejpustek Information and computation 236, 52-67, 2014 | 63 | 2014 |
| Model checking of biological systems L Brim, M Češka, D Šafránek International School on Formal Methods for the Design of Computer …, 2013 | 54 | 2013 |
| AEON: attractor bifurcation analysis of parametrised Boolean networks N Beneš, L Brim, J Kadlecaj, S Pastva, D Šafránek Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 49 | 2020 |
| Parameter identification and model ranking of thomas networks H Klarner, A Streck, D Šafránek, J Kolčák, H Siebert International Conference on Computational Methods in Systems Biology, 207-226, 2012 | 46 | 2012 |
| 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 | 39 | 2015 |
| High-performance analysis of biological systems dynamics with the DiVinE model checker J Barnat, L Brim, D Šafránek Briefings in Bioinformatics 11 (3), 301-312, 2010 | 34 | 2010 |
| Parallel model checking large-scale genetic regulatory networks with DiVinE J Barnat, L Brim, I Cerná, S Drazan, D Safránek Electronic Notes in Theoretical Computer Science 194 (3), 35-50, 2008 | 33 | 2008 |
| Biodivine: A framework for parallel analysis of biological models J Barnat, L Brim, I Černá, S Dražan, J Fabriková, J Láník, D Šafránek, ... arXiv preprint arXiv:0910.0928, 2009 | 31 | 2009 |
| 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 | 27 | 2016 |
| E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes D Šafránek, J Červený, M Klement, J Pospíšilová, L Brim, D Lazár, ... BioSystems 103 (2), 115-124, 2011 | 26 | 2011 |
| Abstraction of biochemical reaction systems on polytopes PJ Collins, L Habets, JH van Schuppen, I Černá, J Fabriková, D Šafránek IFAC Proceedings Volumes 44 (1), 14869-14875, 2011 | 25 | 2011 |
| Boolean network sketches: a unifying framework for logical model inference N Beneš, L Brim, O Huvar, S Pastva, D Šafránek Bioinformatics 39 (4), btad158, 2023 | 24 | 2023 |
| AEON. py: Python library for attractor analysis in asynchronous Boolean networks N Beneš, L Brim, O Huvar, S Pastva, D Šafránek, E Šmijáková Bioinformatics 38 (21), 4978-4980, 2022 | 23 | 2022 |
| 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 | 23 | 2016 |
| Robustness analysis of stochastic biochemical systems M Česka, D Šafránek, S Dražan, L Brim PloS one 9 (4), e94553, 2014 | 22 | 2014 |
| Parameter space abstraction and unfolding semantics of discrete regulatory networks J Kolčák, D Šafránek, S Haar, L Paulevé Theoretical Computer Science 765, 120-144, 2019 | 21 | 2019 |
| Formal analysis of qualitative long-term behaviour in parametrised boolean networks N Beneš, L Brim, S Pastva, J Poláček, D Šafránek Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 21 | 2019 |
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
