Folgen
David Safranek
David Safranek
assistant professor, Masaryk university, Faculty of informatics
Bestätigte E-Mail-Adresse bei safranek.cz
Titel
Zitiert von
Zitiert von
Jahr
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
902022
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
792011
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
632013
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
612014
Model checking of biological systems
L Brim, M Češka, D Šafránek
International School on Formal Methods for the Design of Computer …, 2013
532013
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
462020
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
402012
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
372015
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
332010
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
332008
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
312009
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
262011
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
242016
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
232011
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
222023
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
222016
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
212022
Robustness analysis of stochastic biochemical systems
M Česka, D Šafránek, S Dražan, L Brim
PloS one 9 (4), e94553, 2014
212014
Robustness analysis for value-freezing signal temporal logic
L Brim, T Vejpustek, D Šafránek, J Fabriková
arXiv preprint arXiv:1309.0867, 2013
212013
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
212009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20