Podklady pro hodnocení kateder na základě článků v impaktovaných časopisech ohodnocených podle pozice časopisu v oborovém žebříčku dle JCR a konferenčních příspěvků ohodnocených dle interních pravidel. Jde o výsledky vykázané za FI nebo s deklarovaným podílem FI (konkrétní výše podílu není nijak zohledněna).
Hodnoty výsledků dělím rovným dílem mezi domácí autory s vazbou k jedné z kateder. Základem pro rozřazení autorů ke katedrám je seznam zaměstnanců kateder. Doktorandi jsou řazeni na katedru svého školitele, ze zbylých domácích autorů jsou ti, kteří mají spoluautory pouze z jedné katedry, zařazeni na tuto katedru, z ostatních jsou ti s významnějším přínosem zařazeni ručně (např. magisterští studenti dle vedoucího DP), podíl těch s marginálním přínosem je rozdělen mezi jejich spoluautory.
Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
doc. RNDr. David Šafránek, Ph.D. (IS), katedra: KSUZD, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2015–2019 (celkem 0.462)Hodnota se počítá jako (Nmax - N + 1) / N, kde Nmax je počet časopisů v kategorii a N pořadí časopisu dle IF. Při zařazení časopisu do více kategorií nebo shodě IF se bere průměr. Najetím myší na hodnotu se zobrazí pořadí v oborových žebříčcích daného ročníku JCR (pro 2019 JCR2018; JCR2019 ještě nevyšlo), odkaz vede na stránku časopisu v JCR (oborové žebříčky tam jsou pod odkazem Rank), funguje ale jen z IP adres MU a je potřeba kliknout alespoň dvakrát, první přístup pouze inicializuje session.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.752 | 0.376 | 2019 | Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway (DOI) | Demko, Šafránek | Chrást, Dvořák, Damborský |
| 0.171 | 0.086 | 2019 | Parameter space abstraction and unfolding semantics of discrete regulatory networks (DOI) | Kolčák, Šafránek | Haar, Paulevé |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CAV | 2017 | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Computer Aided Verification. CAV 2017 | |
| A TACAS | 2019 | Digital Bifurcation Analysis of TCP Dynamics (DOI) | Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019 | |
| A ATVA | 2016 | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Automated Technology for Verification and Analysis. ATVA 2016 | |
| A FM | 2016 | A Model Checking Approach to Discrete Bifurcation Analysis (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Formal Methods. FM 2016 | |
| B HS | 2019 | Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI) | Beneš, Brim, Dražanová, Pastva, Šafránek | ACM | Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control | |
| B ICFEM | 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI) | Beneš, Brim, Pastva, Šafránek | Poláček | Springer | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
| B IFM | 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI) | Beneš, Brim, Pastva, Šafránek | Geletka | Springer International Publishing | Integrated Formal Methods |
| B ICSTCC | 2018 | Fully Automated Attractor Analysis of Cyanobacteria Models (DOI) | Beneš, Brim, Pastva, Šafránek, Troják | Červený, Šalagovič | IEEE | 22nd International Conference on System Theory, Control and Computing |
| B CMSB | 2017 | Detecting Attractors in Biological Models with Uncertain Parameters (DOI) | Brim, Barnat, Šafránek, Beneš, Demko, Pastva, Hajnal | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2017 | |
| B CMSB | 2016 | High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI) | Demko, Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2016. | |
| B CMSB | 2016 | E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (DOI) | Troják, Šafránek | Hrabec, Šalagovič, Romanovská, Červený | Springer | Computational Methods in Systems Biology. CMSB 2016. |
| B CMSB | 2015 | Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI) | Brim, Češka, Demko, Pastva, Šafránek | Springer International Publishing | Computational Methods in Systems Biology | |
| C CMSB | 2019 | Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI) | Šafránek, Troják, Brůža, Demko, Pastva, Brim | Vejpustek, Papoušek, Pejznoch | Springer | Computational Methods in Systems Biology (CMSB 2019) |
| C HSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Nouvian, Petrov | Springer International Publishing | Hybrid Systems Biology (HSB 2019) |
| C CMSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Morgane, Petrov | Springer Nature | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |
| C CMSB | 2017 | Discrete Bifurcation Analysis with Pithya | Beneš, Brim, Demko, Hajnal, Pastva, Šafránek | Springer | 15th International Conference on Computational Methods in Systems Biology (CMSB) | |
| C HSB | 2016 | Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI) | Hajnal, Šafránek, Demko, Pastva, Brim | Krejčí | Springer International Publishing | Hybrid Systems Biology. HSB 2016 |
| C SASB | 2016 | Formal Biochemical Space with Semantics in Kappa and BNGL (DOI) | Šafránek, Troják, Klement, Brim | Děd, Šalagovič | Elsevier | The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015 |
| C SASB | 2015 | Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI) | Brim, Nižnan, Šafránek | Elsevier | 5th International Workshop on Static Analysis and Systems Biology (SASB 2014) | |
| C HSB | 2015 | High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI) | Brim, Demko, Pastva, Šafránek | Springer International Publishing | Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers |