David Safranek

Citat de

	Toate	Din 2019
Referințe bibliografice	1215	673
h-index	19	14
i10-index	40	25

160

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 5 12 7 8 9 23 29 24 21 37 60 66 87 65 72 150 108 92 111 154 58

Acces public

Afișați-le pe toate

9 articole

2 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Luboš BrimMasaryk university, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Milan CeskaBrno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
Jan ČervenýGlobal Change Research Institute CASAdresă de e-mail confirmată pe czechglobe.cz
Ivana CernaMasaryk University, Brno, Czech RepublicAdresă de e-mail confirmată pe fi.muni.cz
Vojtech RehakMasaryk university, Faculty of InformaticsAdresă de e-mail confirmată pe fi.muni.cz
Adam StreckDZNE, BerlinAdresă de e-mail confirmată pe fu-berlin.de
Tomáš KratochvílaHoneywell InternationalAdresă de e-mail confirmată pe honeywell.com
Petr DluhošAtaccama Prague, Masaryk University Brno, Czech RepublicAdresă de e-mail confirmată pe mail.muni.cz
Ralf SteuerHumboldt-Universität zu BerlinAdresă de e-mail confirmată pe hu-berlin.de
Loïc PaulevéCNRS/LaBRI, Bordeaux, FranceAdresă de e-mail confirmată pe ens-cachan.org
Tomas VojnarFIT, Brno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayAdresă de e-mail confirmată pe inria.fr
Hannes KlarnerAG Biomathematics, Freie Universität BerlinAdresă de e-mail confirmată pe fu-berlin.de
Aleš SmrčkaAssistant professor of Computer Science, Brno University of TechnologyAdresă de e-mail confirmată pe fit.vutbr.cz
Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASAdresă de e-mail confirmată pe tib.cas.cn
Dusan LazarProfessor at Palacky University Olomouc, Czech RepublicAdresă de e-mail confirmată pe upol.cz
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityAdresă de e-mail confirmată pe maastrichtuniversity.nl
Viktor PušResearcher at CESNETAdresă de e-mail confirmată pe cesnet.cz
Jiří ŠimšaGoogleAdresă de e-mail confirmată pe google.com

Urmăriți

David Safranek

assistant professor, Masaryk university, Faculty of informatics

Adresă de e-mail confirmată pe safranek.cz

system verification systems biology parameter synthesis


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	76	2011
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	63	2022
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	58	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
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	39	2012
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	36	2020
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	35	2015
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	34	2008
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
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	30	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	23	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
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	21	2016
Robustness analysis of stochastic biochemical systems M Česka, D Šafránek, S Dražan, L Brim PloS one 9 (4), e94553, 2014	21	2014
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
Robustness analysis for value-freezing signal temporal logic L Brim, T Vejpustek, D Šafránek, J Fabriková arXiv preprint arXiv:1309.0867, 2013	20	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	20	2009
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems L Brim, M Demko, S Pastva, D Šafránek International Workshop on Hybrid Systems Biology, 58-74, 2015	19	2015

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori