Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Text availability

Article attribute

Article type

Publication date

Search Results

22 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Systems Biology in ELIXIR: modelling in the spotlight.
Martins Dos Santos V, Anton M, Szomolay B, Ostaszewski M, Arts I, Benfeitas R, Dominguez Del Angel V, Ferk P, Fey D, Goble C, Golebiewski M, Gruden K, Heil KF, Hermjakob H, Kahlem P, Klapa MI, Koehorst J, Kolodkin A, Kutmon M, Leskošek B, Moretti S, Müller W, Pagni M, Rezen T, Rocha M, Rozman D, Šafránek D, Sheriff RSM, Suarez Diez M, Van Steen K, Westerhoff HV, Wittig U, Wolstencroft K, Zupanic A, Evelo CT, Hancock JM. Martins Dos Santos V, et al. Among authors: safranek d. F1000Res. 2022 Nov 7;11:ELIXIR-1265. doi: 10.12688/f1000research.126734.1. eCollection 2022. F1000Res. 2022. PMID: 36742342 Free PMC article.
On parameter synthesis by parallel model checking.
Barnat J, Brim L, Krejcí A, Streck A, Safránek D, Vejnár M, Vejpustek T. Barnat J, et al. Among authors: safranek d. IEEE/ACM Trans Comput Biol Bioinform. 2012 May-Jun;9(3):693-705. doi: 10.1109/TCBB.2011.110. IEEE/ACM Trans Comput Biol Bioinform. 2012. PMID: 21788679
Robustness analysis of stochastic biochemical systems.
Ceska M, Safránek D, Dražan S, Brim L. Ceska M, et al. Among authors: safranek d. PLoS One. 2014 Apr 21;9(4):e94553. doi: 10.1371/journal.pone.0094553. eCollection 2014. PLoS One. 2014. PMID: 24751941 Free PMC article.
Exploring attractor bifurcations in Boolean networks.
Beneš N, Brim L, Kadlecaj J, Pastva S, Šafránek D. Beneš N, et al. Among authors: safranek d. BMC Bioinformatics. 2022 May 11;23(1):173. doi: 10.1186/s12859-022-04708-9. BMC Bioinformatics. 2022. PMID: 35546394 Free PMC article.
22 results