David Safranek

Citado por

	Total	Desde 2019
Citas	1243	704
Índice h	19	14
Índice i10	40	26

160

120

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

Acceso público

Ver todo

10 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Luboš BrimMasaryk university, Faculty of InformaticsDirección de correo verificada de fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsDirección de correo verificada de fi.muni.cz
Milan CeskaBrno University of TechnologyDirección de correo verificada de fit.vutbr.cz
Jan ČervenýGlobal Change Research Institute CASDirección de correo verificada de czechglobe.cz
Ivana CernaMasaryk University, Brno, Czech RepublicDirección de correo verificada de fi.muni.cz
Vojtech RehakMasaryk university, Faculty of InformaticsDirección de correo verificada de fi.muni.cz
Adam StreckDZNE, BerlinDirección de correo verificada de fu-berlin.de
Tomáš KratochvílaHoneywell InternationalDirección de correo verificada de honeywell.com
Petr DluhošAtaccama Prague, Masaryk University Brno, Czech RepublicDirección de correo verificada de mail.muni.cz
Ralf SteuerHumboldt-Universität zu BerlinDirección de correo verificada de hu-berlin.de
Loïc PaulevéCNRS/LaBRI, Bordeaux, FranceDirección de correo verificada de ens-cachan.org
Tomas VojnarFIT, Brno University of TechnologyDirección de correo verificada de fit.vutbr.cz
Stefan HaarINRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-SaclayDirección de correo verificada de inria.fr
Hannes KlarnerAG Biomathematics, Freie Universität BerlinDirección de correo verificada de fu-berlin.de
Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASDirección de correo verificada de tib.cas.cn
Aleš SmrčkaAssistant professor of Computer Science, Brno University of TechnologyDirección de correo verificada de fit.vut.cz
Dusan LazarProfessor at Palacky University Olomouc, Czech RepublicDirección de correo verificada de upol.cz
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityDirección de correo verificada de maastrichtuniversity.nl
Viktor PušResearcher at CESNETDirección de correo verificada de cesnet.cz
Jiří ŠimšaGoogleDirección de correo verificada de google.com

Seguir

David Safranek

assistant professor, Masaryk university, Faculty of informatics

Dirección de correo verificada de safranek.cz

system verification systems biology parameter synthesis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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
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	72	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	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	41	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	39	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	23	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
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
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
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	19	2019

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores