David Safranek

Cited by

	All	Since 2019
Citations	1268	729
h-index	20	15
i10-index	40	26

160

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 5 12 7 8 9 23 29 24 22 37 61 66 84 65 70 151 106 90 112 153 117

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Jan ČervenýGlobal Change Research Institute CASVerified email at czechglobe.cz
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Adam StreckDZNE, BerlinVerified email at fu-berlin.de
Tomáš KratochvílaHoneywell InternationalVerified email at honeywell.com
Petr DluhošAtaccama Prague, Masaryk University Brno, Czech RepublicVerified email at mail.muni.cz
Ralf SteuerPeter Debye Institute for Soft Matter Physics, Universität LeipzigVerified email at uni-leipzig.de
Loïc PaulevéCNRS/LaBRI, Bordeaux, FranceVerified email at ens-cachan.org
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyVerified email at fi.muni.cz
Stefan HaarINRIA and Université Paris-SaclayVerified email at inria.fr
Hannes KlarnerAG Biomathematics, Freie Universität BerlinVerified email at fu-berlin.de
Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASVerified email at tib.cas.cn
Aleš SmrčkaAssistant professor of Computer Science, Brno University of TechnologyVerified email at fit.vut.cz
Dusan LazarProfessor at Palacky University Olomouc, Czech RepublicVerified email at upol.cz
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityVerified email at maastrichtuniversity.nl
Viktor PušResearcher at CESNETVerified email at cesnet.cz
Jiří ŠimšaGoogleVerified email at google.com

David Safranek

assistant professor, Masaryk university, Faculty of informatics

Verified email at safranek.cz

system verification systems biology parameter synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	80	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	79	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	62	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	59	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	53	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	44	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	40	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	37	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	33	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
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
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	24	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	22	2016
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	22	2011
Robustness analysis of stochastic biochemical systems M Česka, D Šafránek, S Dražan, L Brim PloS one 9 (4), e94553, 2014	21	2014
Robustness analysis for value-freezing signal temporal logic L Brim, T Vejpustek, D Šafránek, J Fabriková arXiv preprint arXiv:1309.0867, 2013	21	2013
On algorithmic analysis of transcriptional regulation by LTL model checking J Barnat, L Brim, I Cerna, S Drazan, J Fabrikova, D Safranek Theoretical Computer Science 410 (33-34), 3128-3148, 2009	21	2009
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	20	2019
Biochemical space: a framework for systemic annotation of biological models M Klement, T Děd, D Šafránek, J Červený, S Mueller, R Steuer Electronic Notes in Theoretical Computer Science 306, 31-44, 2014	20	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors